Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - 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 | |
| | ||||||
* | - Implemented math procedures for JS. | Eduardo Julian | 2017-02-26 | 3 | -8/+68 | |
| | | | - Degree<->radian conversions are no longer math procedures. | |||||
* | - Implemented bitwise operations in JS. | Eduardo Julian | 2017-02-26 | 2 | -55/+107 | |
| | ||||||
* | - Implemented "atom" and "process" procedures for JS. | Eduardo Julian | 2017-02-26 | 1 | -13/+74 | |
| | ||||||
* | - Exiting the program and getting the current time (in milliseconds) is now ↵ | Eduardo Julian | 2017-02-25 | 3 | -9/+41 | |
| | | | | done through procedures. | |||||
* | - Re-designed (and implemented) the primitives for running processes/threads ↵ | Eduardo Julian | 2017-02-23 | 5 | -2/+182 | |
| | | | | as Lux procedures. | |||||
* | - Re-designed atomic operations as common procedures. | Eduardo Julian | 2017-02-23 | 4 | -61/+144 | |
| | | | | - Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes. |