Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - 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 | |
| | ||||||
* | - Added a new try-catch procedure. | Eduardo Julian | 2017-02-26 | 3 | -2/+48 | |
| | ||||||
* | - Implemented new IO procedures for JS. | Eduardo Julian | 2017-02-26 | 1 | -1/+12 | |
| | ||||||
* | - Increased the fixpoints limit to 64. | Eduardo Julian | 2017-02-26 | 1 | -8/+8 | |
| |