aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - More detailed testing resporting.Eduardo Julian2017-06-191-72/+61
|
* - In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian2017-06-1963-2896/+2896
|
* - Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian2017-06-191-6/+6
|
* - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]).Eduardo Julian2017-06-196-446/+382
| | | - Lexers now rely only on Text, instead of also relying on Char.
* - Codecs no longer take into account underscore "_" separators for digits..Eduardo Julian2017-06-191-5/+0
|
* - Split "lux/macro/syntax/common" into 2 other sub-modules ("reader" and ↵Eduardo Julian2017-06-197-203/+225
| | | | "writer").
* - Fixed a bug when generating the aliases of modules involving relative ↵Eduardo Julian2017-06-191-3/+3
| | | | addressing ("." and "..").
* - Implemented functional object-oriented programming.Eduardo Julian2017-06-173-0/+227
|
* - Small refactorings and name-changes.Eduardo Julian2017-06-1711-134/+155
|
* - Changed the way lux/data/product;both works.Eduardo Julian2017-06-171-4/+5
|
* - Added Hash<Bool> and as-is macro..Eduardo Julian2017-06-143-5/+16
|
* - Heavy refactoring.Eduardo Julian2017-06-1413-308/+662
|
* - Renamed the "compilation" phase as the "generation" phase.Eduardo Julian2017-06-1225-273/+861
| | | | - Implemented compilation of primitives. - Implemented compilation of structures.
* - Added loop synthesis.Eduardo Julian2017-06-098-144/+404
| | | - Some refactoring.
* - Now optimizing functions.Eduardo Julian2017-06-065-105/+293
|
* - Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian2017-05-3118-151/+569
| | | | | structures, procedures and function application. - Some refactoring.
* - Documented the analysis phase.Eduardo Julian2017-05-3010-509/+644
| | | | - Some refactoring. - Removed singleton variants.
* - Re-implemented "every?" and "any?" for better performance.Eduardo Julian2017-05-301-2/+14
|
* - Some refactoring.Eduardo Julian2017-05-304-58/+52
|
* - Fixes for pattern-matching (case) analysis.Eduardo Julian2017-05-2920-467/+1642
| | | | | | - Small refactorings. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.
* - Small refactorings.Eduardo Julian2017-05-292-6/+6
|
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-2413-128/+128
|
* - Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian2017-05-238-89/+148
|
* - Simplified the analytic model of tuples into products, and variants into sums.Eduardo Julian2017-05-206-86/+110
|
* WIPEduardo Julian2017-05-205-166/+276
| | | | - Added analysis and type-inference for records and tagged variants. - Extracted inference code to a separate module for better reuse.
* - Some refactoring.Eduardo Julian2017-05-208-28/+45
|
* - WIP: Added pattern-matching (case) analysis.Eduardo Julian2017-05-1910-92/+626
|
* - Some refactoring in lux/control/exception.Eduardo Julian2017-05-191-10/+10
|
* - (Slightly) changed the way Ident hashes get calculated.Eduardo Julian2017-05-191-1/+1
|
* - Renamed "Error" to "Result".Eduardo Julian2017-05-1752-904/+913
|
* WIPEduardo Julian2017-05-1520-684/+1128
| | | | | | - Simplified the Analysis type, by removing all meta-data. - Added analysis of function calls. - Added analysis of common Lux procedures. - Lots of refactoring.
* - Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian2017-05-151-4/+5
|
* - Renamed %ast to %code.Eduardo Julian2017-05-152-3/+3
|
* - WIP: Function analysis.Eduardo Julian2017-05-142-1/+181
|
* - Fixed bugs with octal and hexadecimal encodings for reals.Eduardo Julian2017-05-112-25/+33
|
* - Fixed some tests for lux/math/logic/fuzzy.Eduardo Julian2017-05-093-23/+28
| | | | - Removed a forgotten #seed in a test for lux/math/simple. - Added Hash<Deg>.
* - Made a small refactoring to walk around a current optimization error that ↵Eduardo Julian2017-05-091-9/+8
| | | | | confounds variables and makes you access the wrong value at run-time. - TODO: Fix said error.
* - Small fixes and refactorings.Eduardo Julian2017-05-094-26/+28
|
* - Added tests for some kinds of analysis.Eduardo Julian2017-05-0919-160/+598
| | | - WIP: Porting more code.
* - Added custom equalities for a variety of collections.Eduardo Julian2017-05-072-18/+55
|
* - Added underscore separators ( _ ) for digits in the parser for the new ↵Eduardo Julian2017-05-071-10/+31
| | | | compiler.
* - Added "while" and "do-while" loops for stateful computations.Eduardo Julian2017-05-072-28/+103
| | | - Improved tests for lux/control/state.
* - Renamed "AST" to "Code".Eduardo Julian2017-05-0752-800/+804
|
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-0718-303/+328
|
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-0732-1267/+1267
|
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-077-706/+96
| | | - No longer relying in LuxRT-supported implementations.
* - Fixed a bug when compiling array-get, by just having it assume Object[] ↵Eduardo Julian2017-05-051-2/+1
| | | | for all arrays.
* - Implemented Deg encoding.Eduardo Julian2017-05-051-9/+170
|
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-046-36/+21
|
* - zip and zip-with are now parameterized with Nats.Eduardo Julian2017-05-041-25/+27
|