aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2016-10-24- Variant tag indices are now nats, instead of ints.Eduardo Julian2-2/+2
2016-10-21- Added an extra rule to the type-checker to avoid some stack-overflow errors.Eduardo Julian1-0/+4
2016-10-20- Added code for handling some corner cases in the type-checker.Eduardo Julian1-7/+22
2016-10-19- Improved the way iter works (WRT the register offset).Eduardo Julian3-60/+169
- Fixed some bugs of how the loop-transform was working.
2016-10-15- The compiler didn't know how to compile frac PM. Added the code.Eduardo Julian1-28/+27
- Did some minor refactoring of PM compilation.
2016-10-15- Shifted the burden of not having null values inside variants from the ↵Eduardo Julian1-9/+20
language to library code.
2016-10-14- Slightly cheaper compilation of numeric literals.Eduardo Julian2-11/+9
2016-10-13- Now compiling loop expressions (but having trouble with the variable ↵Eduardo Julian5-36/+198
indices inside the loop bodies).
2016-10-13- Now detecting the conditions for inlining a loop.Eduardo Julian1-28/+110
2016-10-13- Improved loop/iter optimization.Eduardo Julian1-22/+33
2016-10-13- Now simplifying the PM paths to get rid of some of the pointless testing ↵Eduardo Julian1-2/+21
that results from ignoring some local bindings.
2016-10-13- No more allocation of unused registers.Eduardo Julian2-10/+257
2016-10-11- Optimized the compiler code by dealing with the reflection warnings.Eduardo Julian4-35/+36
2016-10-11- Better error handling with paraller compilation.Eduardo Julian4-25/+24
- When issuing re-compilation from the compiler-cache, it's also done in parallel.
2016-10-11- Better log printing.Eduardo Julian4-25/+24
2016-10-11- Refactored the code.Eduardo Julian4-146/+43
2016-10-11- Finished a working implementation of parallel compilation, that doesn't ↵Eduardo Julian8-69/+240
rely on core.async.
2016-10-09- Now merging compiler-states pre-and-post module compilation.Eduardo Julian4-16/+95
- Added a temporary fix for the survival/accumulation of zombie type-vars.
2016-10-09- Replace _lux_imports with _lux_module by adding module annotations.Eduardo Julian11-131/+196
2016-10-03- Slight refactoring.Eduardo Julian3-28/+27
2016-10-03- Simplified type annotations.Eduardo Julian5-28/+15
2016-10-03- Fixed a bug wherein compiler code was relying on analyzer tags, instead of ↵Eduardo Julian4-14/+15
optimizer tags.
2016-10-03- Renamed "loop" to "iter".Eduardo Julian5-52/+54
- Updated compiler version. - Improved project.clj file.
2016-10-02- Now adding cursor information when analysing function/macro calls, to ↵Eduardo Julian2-8/+8
avoid missing cursors during macro-expansions and some function calls.
2016-10-01- Finished adding Frac(tions) [including lexing/parsing].Eduardo Julian11-225/+334
2016-09-30- Added (almost) all the operations for implementing fractions in the compiler.Eduardo Julian5-113/+624
- Still missing lexing for fractions...
2016-09-29- Fixed a bug that was rejecting class names with underscores and other ↵Eduardo Julian1-1/+1
strange characters.
2016-09-24- Now optimizing the pattern for if/cond expressions.Eduardo Julian3-0/+31
2016-09-24- Now generating better error messages when trying to use a static/virtual ↵Eduardo Julian1-25/+28
that belongs to a class's parent, instead of the class itself.
2016-09-24- Documented the optimizer module.Eduardo Julian1-9/+155
2016-09-24- Fixed a bug that allowed modules to refer to definitions of other ↵Eduardo Julian3-24/+37
already-compiled modules without these being imported.
2016-09-24- Now optimizing the record accesses that are characteristic of get@ and ::.Eduardo Julian3-0/+64
2016-09-23- Lexer now allows , and _ as separators for numbers.Eduardo Julian2-3/+13
2016-09-23- Added conversions between byte/short and long.Eduardo Julian2-25/+61
- Also added conversions between Char and Nat.
2016-09-23- Now using Nat as the type of both VarT and ExT.Eduardo Julian1-2/+2
2016-09-23- Now showing warnings when trying to use deprecated constructors and methods.Eduardo Julian1-5/+9
2016-09-22- java.lang.Error and its subclasses don't get checked anymore.Eduardo Julian1-1/+2
2016-08-16- Improved support for Nat.Eduardo Julian6-24/+76
2016-08-14- Added support for natural numbers (unsigned integers).Eduardo Julian14-24/+363
2016-08-08- Added a new compilation mode: REPL.Eduardo Julian6-58/+118
- Fixed the REPL.
2016-08-01- Fixed a bug in the analysis of tuples, when the tuple-type is shorter than ↵Eduardo Julian4-161/+161
the tuple-syntax.
2016-07-30- Now storing the name of each scope as a list/stack of name-fragments, to ↵Eduardo Julian4-21/+11
eliminate the need to keep an explicit cache for it.
2016-07-30- Scope-names are no longer being reversed when generated, but only when ↵Eduardo Julian6-54/+26
compiling functions and captured vars. - Now caching scope-names (pre-joining) to ensure all checks needed during pre-scoping are identity checks.
2016-07-30- Now streamlining simple "let" expressions when doing pattern-matching.Eduardo Julian4-7/+30
2016-07-29- Fixed a bug in the way type-adjustment happens during pattern-matching, in ↵Eduardo Julian4-71/+210
which the handing of universal quantification and type-vars was done improperly and caused the wrong type-vars to show up in the wrong places. - Fixed a bug in the type-checking of function application, in which, if the result of an apply was a universally-quantified value, the type wasn't actually universally-quantified, even though the BoundTs had been added to it. - Fixed a bug in the way the "loop" optimized-AST was compiled, which sometimes caused miscalculation, due to premature rebinding of variables. - Now also cleaning ExQ.
2016-07-26- A module's hash is also stored in the Compiler state and in the cached ↵Eduardo Julian5-99/+114
classes, to check for inconsistencies in the dependencies when loading cached modules.
2016-07-24- Improved error messages in analyser by adding cursor.Eduardo Julian1-40/+23
2016-07-24- Added the [bit count] procedure.Eduardo Julian2-1/+22
2016-07-23- Fixed a bug in which the signatures for multi-parameter generic classes ↵Eduardo Julian2-6/+6
where getting spaces between the parameter signatures, which is invalid. - Type-errors now include cursor information.
2016-07-23- Added object/reference/pointer testing.Eduardo Julian2-0/+36