aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* - Forgot to update the tests for ordered collections.Eduardo Julian2017-06-241-4/+4
|
* - Re-designed actors so that their messages are now functions with access to ↵Eduardo Julian2017-06-248-322/+311
| | | | | | the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings.
* - Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".Eduardo Julian2017-06-231-6/+6
|
* - Added #compiler-name back to Compiler-Info.Eduardo Julian2017-06-234-17/+26
|
* - Added Fold structure for rose trees.Eduardo Julian2017-06-232-22/+41
|
* - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2017-06-234-170/+436
| | | - Created ordered dictionary implementation, and based the set implementation upon it.
* - Forgot to commit the change in lux-mode when renaming "test:" to "context:".Eduardo Julian2017-06-211-1/+1
|
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-2118-300/+284
| | | - Also did argument swapping for lux/type;application.
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-2133-1627/+1252
|
* - Added Task type, as a promise that can fail.Eduardo Julian2017-06-211-0/+51
|
* - 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 14:10:18 +0000