aboutsummaryrefslogtreecommitdiff
path: root/luxc/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - 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
|
* - Implemented math procedures for JS.Eduardo Julian2017-02-263-8/+68
| | | - Degree<->radian conversions are no longer math procedures.
* - Implemented bitwise operations in JS.Eduardo Julian2017-02-262-55/+107
|
* - Implemented "atom" and "process" procedures for JS.Eduardo Julian2017-02-261-13/+74
|
* - Exiting the program and getting the current time (in milliseconds) is now ↵Eduardo Julian2017-02-253-9/+41
| | | | done through procedures.
* - Re-designed (and implemented) the primitives for running processes/threads ↵Eduardo Julian2017-02-235-2/+182
| | | | as Lux procedures.
* - Re-designed atomic operations as common procedures.Eduardo Julian2017-02-234-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 Julian2017-02-221-2/+2
| | | | and cast to ints.
* - Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian2017-02-224-74/+458
|
* - No longer (uselessly) loading classes right after they get saved.Eduardo Julian2017-02-221-2/+2
|
* - Fixed a bug in the way characters where getting compiled to JS.Eduardo Julian2017-02-221-1/+1
|
* - The lexer can now recognize a escape-character for vertical tabs (\v).Eduardo Julian2017-02-221-0/+4
|
* - Now making sure custom analysis of per-platform procedures requires that ↵Eduardo Julian2017-02-222-2/+3
| | | | the compiler is running for the correct host platform.
* - Made some optimizations.Eduardo Julian2017-02-2110-217/+212
| | | | - Compiler can now distinguish between JVM and JS host state. - Now, complex (with subtyping) type-checking can be done only during JVM compilation.
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 15:19:24 +0000