Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 18 | -254/+18 |
| | |||||
* | - Added #compiler-name back to Compiler-Info. | Eduardo Julian | 2017-06-23 | 3 | -7/+10 |
| | |||||
* | - Renamed "App" to "Apply" and swapped the order of the arguments to it. | Eduardo Julian | 2017-06-21 | 9 | -120/+121 |
| | | | - Also did argument swapping for lux/type;application. | ||||
* | - Implemented Real<->Bits conversion (and used it to implement Hash<Real>). | Eduardo Julian | 2017-05-23 | 3 | -20/+0 |
| | |||||
* | - Renamed "AST" to "Code". | Eduardo Julian | 2017-05-07 | 1 | -1/+1 |
| | |||||
* | - Removed "T" suffix from Type's tags. | Eduardo Julian | 2017-05-07 | 14 | -466/+466 |
| | |||||
* | - Fully implemented Deg encoding/decoding in pure Lux. | Eduardo Julian | 2017-05-07 | 5 | -662/+1 |
| | | | - No longer relying in LuxRT-supported implementations. | ||||
* | - Fixed a bug when compiling array-get, by just having it assume Object[] ↵ | Eduardo Julian | 2017-05-05 | 1 | -2/+1 |
| | | | | for all arrays. | ||||
* | - Removed the "Debug" compiler mode. | Eduardo Julian | 2017-05-04 | 2 | -7/+3 |
| | |||||
* | - Removed the "S" suffix from AST tags. | Eduardo Julian | 2017-05-03 | 7 | -83/+83 |
| | |||||
* | - Removed the "module-states" data (which shouldn't be there to begin with). | Eduardo Julian | 2017-05-03 | 1 | -2/+0 |
| | |||||
* | - Changed the way Scope works, to make it independent from the notion of ↵ | Eduardo Julian | 2017-05-01 | 3 | -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 Julian | 2017-04-30 | 4 | -15/+15 |
| | |||||
* | - Separated the analysis of definitions from the analysis of variables. | Eduardo Julian | 2017-04-30 | 7 | -23/+12 |
| | |||||
* | - Updated the compiler's type-checking context to match it with lux/type/check. | Eduardo Julian | 2017-04-30 | 2 | -28/+49 |
| | |||||
* | - Fixed a bug when parsing constructor arguments. | Eduardo Julian | 2017-04-30 | 1 | -0/+1 |
| | |||||
* | - Improved the precision of (Deg)ree division. | Eduardo Julian | 2017-04-17 | 2 | -12/+65 |
| | |||||
* | - Removed CHECKCASTs related to make_none and make_some. | Eduardo Julian | 2017-04-12 | 2 | -19/+12 |
| | |||||
* | - Renamed "LambdaT" to "FunctionT". | Eduardo Julian | 2017-04-10 | 7 | -25/+25 |
| | |||||
* | - Renamed _lux_lambda to _lux_function. | Eduardo Julian | 2017-04-10 | 9 | -61/+60 |
| | |||||
* | - Made some improvements to error messages in the compiler. | Eduardo Julian | 2017-04-05 | 26 | -128/+144 |
| | |||||
* | - Implemented Int encoding/decoding in the standard library. | Eduardo Julian | 2017-04-03 | 4 | -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 Julian | 2017-03-30 | 5 | -187/+1 |
| | |||||
* | - Added ["deg" "reciprocal"] procedure. | Eduardo Julian | 2017-03-28 | 3 | -8/+18 |
| | |||||
* | - Removed the ["jvm" "try"] procedure. | Eduardo Julian | 2017-03-28 | 6 | -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 Julian | 2017-03-27 | 3 | -0/+6 |
| | | | - Implemented Enum<Real>. | ||||
* | - Added code for the special case of dividing by a 32-bit divisor. | Eduardo Julian | 2017-03-24 | 1 | -10/+65 |
| | |||||
* | - Fixed some bugs in the common procedures. | Eduardo Julian | 2017-03-24 | 1 | -3/+3 |
| | |||||
* | - LuxRT functions/constants now live in the top-level namespace, instead of ↵ | Eduardo Julian | 2017-03-22 | 4 | -382/+321 |
| | | | | inside a LuxRT object. | ||||
* | - Now packaging the complete JS code. | Eduardo Julian | 2017-03-21 | 2 | -5/+23 |
| | |||||
* | - Can now select between JVM and JS compilation, based on command-line ↵ | Eduardo Julian | 2017-03-21 | 2 | -12/+13 |
| | | | | parameters. | ||||
* | - Fixed a bug when compiling the ["io" "exit"] procedure on the JVM. | Eduardo Julian | 2017-03-21 | 1 | -1/+2 |
| | |||||
* | - Fixed a bug when hashing the module files when loading the cache. | Eduardo Julian | 2017-03-21 | 1 | -2/+2 |
| | |||||
* | - Implemented Nat division, using a partial implementation of big integers. | Eduardo Julian | 2017-03-21 | 1 | -4/+220 |
| | |||||
* | - Implemented custom JS host procedures. | Eduardo Julian | 2017-03-15 | 6 | -6/+202 |
| | |||||
* | - Implemented missing degree functions. | Eduardo Julian | 2017-03-13 | 1 | -409/+100 |
| | |||||
* | - The compiler can now load specialized modules, depending on the ↵ | Eduardo Julian | 2017-03-12 | 4 | -85/+97 |
| | | | | host-platform being targetted. | ||||
* | - Implemented natural decoding. | Eduardo Julian | 2017-03-12 | 2 | -177/+44 |
| | | | - Implemented the _lux_program statement. | ||||
* | - Partially implemented natural division and remainder. | Eduardo Julian | 2017-03-11 | 1 | -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 Julian | 2017-03-11 | 1 | -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 Julian | 2017-03-11 | 2 | -4/+18 |
| | | | | type-vars interfering with compilation. | ||||
* | - Added temporary implementations for Nat division and remainder. | Eduardo Julian | 2017-03-05 | 1 | -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 Julian | 2017-03-02 | 1 | -4/+2 |
| | |||||
* | - Fixed some bugs when compiling pattern-matching. | Eduardo Julian | 2017-02-28 | 1 | -7/+9 |
| | |||||
* | - console.log is now defined when starting compilation, and not when LuxRT ↵ | Eduardo Julian | 2017-02-27 | 2 | -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 Julian | 2017-02-27 | 1 | -4/+7 |
| | |||||
* | - Implemented degree encoding. | Eduardo Julian | 2017-02-27 | 1 | -245/+54 |
| | |||||
* | - Fixed some bugs when compiling common procedures in JS. | Eduardo Julian | 2017-02-27 | 1 | -2/+2 |
| | |||||
* | - Now accepting JS objects as valid values (necessary for objects encoding ↵ | Eduardo Julian | 2017-02-27 | 1 | -1/+3 |
| | | | | atoms). | ||||
* | - Added try-catch procedure to JS backend. | Eduardo Julian | 2017-02-26 | 2 | -2/+20 |
| |