Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - 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. | ||||
* | - Fixed a bug in the way the low and high 32 bits in a long were extracted ↵ | Eduardo Julian | 2017-02-22 | 1 | -2/+2 |
| | | | | and cast to ints. | ||||
* | - Implemented a variety of new procedures for text, chars, math and arrays. | Eduardo Julian | 2017-02-22 | 4 | -74/+458 |
| | |||||
* | - No longer (uselessly) loading classes right after they get saved. | Eduardo Julian | 2017-02-22 | 1 | -2/+2 |
| |