aboutsummaryrefslogtreecommitdiff
path: root/luxc/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian2017-05-233-20/+0
|
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-1/+1
|
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-0714-466/+466
|
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-075-662/+1
| | | - 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.
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-042-7/+3
|
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-037-83/+83
|
* - Removed the "module-states" data (which shouldn't be there to begin with).Eduardo Julian2017-05-031-2/+0
|
* - Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian2017-05-013-8/+16
| | | | | Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined.
* - Renamed fields of scopes.Eduardo Julian2017-04-304-15/+15
|
* - Separated the analysis of definitions from the analysis of variables.Eduardo Julian2017-04-307-23/+12
|
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-302-28/+49
|
* - Fixed a bug when parsing constructor arguments.Eduardo Julian2017-04-301-0/+1
|
* - Improved the precision of (Deg)ree division.Eduardo Julian2017-04-172-12/+65
|
* - Removed CHECKCASTs related to make_none and make_some.Eduardo Julian2017-04-122-19/+12
|
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-107-25/+25
|
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-109-61/+60
|
* - Made some improvements to error messages in the compiler.Eduardo Julian2017-04-0526-128/+144
|
* - Implemented Int encoding/decoding in the standard library.Eduardo Julian2017-04-034-76/+0
| | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
* - Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2017-03-305-187/+1
|
* - Added ["deg" "reciprocal"] procedure.Eduardo Julian2017-03-283-8/+18
|
* - Removed the ["jvm" "try"] procedure.Eduardo Julian2017-03-286-154/+47
| | | | - No longer checking for catched exceptions (this is now the programmer's sole responsibility). - Now handling a new corner-case when patten-matching against sums.
* - Expanded the lux/control/interval module.Eduardo Julian2017-03-273-0/+6
| | | - Implemented Enum<Real>.
* - Added code for the special case of dividing by a 32-bit divisor.Eduardo Julian2017-03-241-10/+65
|
* - Fixed some bugs in the common procedures.Eduardo Julian2017-03-241-3/+3
|
* - LuxRT functions/constants now live in the top-level namespace, instead of ↵Eduardo Julian2017-03-224-382/+321
| | | | inside a LuxRT object.
* - Now packaging the complete JS code.Eduardo Julian2017-03-212-5/+23
|
* - Can now select between JVM and JS compilation, based on command-line ↵Eduardo Julian2017-03-212-12/+13
| | | | parameters.
* - Fixed a bug when compiling the ["io" "exit"] procedure on the JVM.Eduardo Julian2017-03-211-1/+2
|
* - Fixed a bug when hashing the module files when loading the cache.Eduardo Julian2017-03-211-2/+2
|
* - Implemented Nat division, using a partial implementation of big integers.Eduardo Julian2017-03-211-4/+220
|
* - Implemented custom JS host procedures.Eduardo Julian2017-03-156-6/+202
|
* - Implemented missing degree functions.Eduardo Julian2017-03-131-409/+100
|
* - The compiler can now load specialized modules, depending on the ↵Eduardo Julian2017-03-124-85/+97
| | | | host-platform being targetted.
* - Implemented natural decoding.Eduardo Julian2017-03-122-177/+44
| | | - Implemented the _lux_program statement.
* - Partially implemented natural division and remainder.Eduardo Julian2017-03-111-165/+62
| | | | | - Fixed a bug in the sum_get RT function. - Implemented decoding for integers. - Fixed some bugs in LuxRT functions.
* - Turned the wrapper for chars into a type, for detection when transforming ↵Eduardo Julian2017-03-111-10/+15
| | | | | values from JS to Lux. - Now replacing dashes for underscores in module names during compilation.
* - Now resetting the mappings of the type-vars to avoid having undead ↵Eduardo Julian2017-03-112-4/+18
| | | | type-vars interfering with compilation.
* - Added temporary implementations for Nat division and remainder.Eduardo Julian2017-03-051-1/+40
| | | - Fixed a bug in the RT function for counting bits.
* - Fixed a bug in which the value of a loop wasn't being returned.Eduardo Julian2017-03-021-4/+2
|
* - Fixed some bugs when compiling pattern-matching.Eduardo Julian2017-02-281-7/+9
|
* - console.log is now defined when starting compilation, and not when LuxRT ↵Eduardo Julian2017-02-272-3/+3
| | | | is compiled, to avoid issues when compiling a partially-cached program.
* - Fixed a bug when compiling pattern-matching comparisons for several types.Eduardo Julian2017-02-271-4/+7
|
* - Implemented degree encoding.Eduardo Julian2017-02-271-245/+54
|
* - Fixed some bugs when compiling common procedures in JS.Eduardo Julian2017-02-271-2/+2
|
* - Now accepting JS objects as valid values (necessary for objects encoding ↵Eduardo Julian2017-02-271-1/+3
| | | | atoms).
* - Added try-catch procedure to JS backend.Eduardo Julian2017-02-262-2/+20
|
* - Added a new try-catch procedure.Eduardo Julian2017-02-263-2/+48
|
* - Implemented new IO procedures for JS.Eduardo Julian2017-02-261-1/+12
|
* - Increased the fixpoints limit to 64.Eduardo Julian2017-02-261-8/+8
|