aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - Small refactorings.Eduardo Julian2017-05-032-22/+14
| | | - Added the width of bit-patterns.
* - Moved lux/data/error/exception to lux/control/exception.Eduardo Julian2017-05-032-2/+2
|
* - Gave less cryptic names to bit-wise functions.Eduardo Julian2017-05-035-95/+111
| | | - Improved the tests for lux/data/bit.
* - Changes the types of a few compiler-state components.Eduardo Julian2017-05-031-9/+6
|
* - WIP: Implemented more functionality.Eduardo Julian2017-05-0314-421/+706
| | | - Lots of refactorings.
* - Made some changes in the way the parser works.Eduardo Julian2017-05-032-89/+86
|
* - WIP: Some initial implementations for some re-written infrastructure.Eduardo Julian2017-05-0117-70/+1109
|
* - Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian2017-05-015-34/+56
| | | | | 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 Julian2017-04-306-30/+30
|
* - Separated the analysis of definitions from the analysis of variables.Eduardo Julian2017-04-307-23/+12
|
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-307-200/+276
|
* - Small refactorings and fixes.Eduardo Julian2017-04-308-65/+98
| | | - Added <|. macro.
* - Added <|. to syntax highlights.Eduardo Julian2017-04-301-2/+2
| | | - Fixed an indentation bug for "with-" macros.
* - Fixed a bug when parsing constructor arguments.Eduardo Julian2017-04-301-0/+1
|
* - Improved the precision of (Deg)ree division.Eduardo Julian2017-04-172-12/+65
|
* - Some refactorings.Eduardo Julian2017-04-152-111/+317
| | | - Added documentation for luxc/parser.
* - Fixed a bug with multi-line comments.Eduardo Julian2017-04-152-59/+81
|
* - Fixed some bugs.Eduardo Julian2017-04-152-38/+106
| | | - Added tests for multi-line text and single-line comments.
* - Small refactorings.Eduardo Julian2017-04-152-2/+3
|
* - Fixed some bugs.Eduardo Julian2017-04-141-33/+60
| | | - Implemented multi-line text.
* - The lexer now takes cursors into account.Eduardo Julian2017-04-142-119/+230
|
* - Added a new way to sequentially combine text lexers.Eduardo Julian2017-04-141-0/+7
|
* - Added tests for parser.Eduardo Julian2017-04-143-1/+94
|
* - Initial parser implementation (still missing correct cursors and ↵Eduardo Julian2017-04-142-2/+207
| | | | multi-line text).
* - Development of the new re-written compiler has officially begun!Eduardo Julian2017-04-142-0/+96
|
* - Fixed the way "program:" CLI params are specified.Eduardo Julian2017-04-141-8/+21
| | | - Added before/after combinators to lux/cli.
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-1227-77/+69
|
* - The XML header is now parsed optionally.Eduardo Julian2017-04-121-1/+1
|
* - Removed CHECKCASTs related to make_none and make_some.Eduardo Julian2017-04-122-19/+12
|
* - Fused the lux/compiler and lux/macro modules.Eduardo Julian2017-04-1140-843/+842
|
* - Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian2017-04-1011-20/+20
|
* - Move the structures for the Free monad into lux/control/monad.Eduardo Julian2017-04-102-59/+59
|
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-1015-114/+114
|
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-1011-134/+133
|
* - Renamed "lambda" to "function".Eduardo Julian2017-04-1070-860/+867
|
* - Renamed lambda' and lambda'' to function' and function''.Eduardo Julian2017-04-101-613/+613
|
* - Some refactoring about continuations.Eduardo Julian2017-04-092-59/+52
|
* - Added delimited continuations, with static shifting.Eduardo Julian2017-04-092-49/+93
|
* - Improved the implementation of continuations.Eduardo Julian2017-04-083-68/+88
|
* - Improved the way the message is shown when the tests are done running.Eduardo Julian2017-04-081-3/+3
|
* - Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵Eduardo Julian2017-04-081-1/+2
| | | | of its body type).
* - Added XML support.Eduardo Julian2017-04-063-1/+332
|
* - Renamed lux/data/text;replace to replace-all.Eduardo Julian2017-04-066-73/+84
| | | - Did some refactorings for lexers.
* - Made some changes to (rose) trees and zippers.Eduardo Julian2017-04-062-28/+65
|
* - Added binary, octal and hexadecimal codecs for reals.Eduardo Julian2017-04-062-30/+277
| | | - Added octal codec for degs.
* - Added binary and hexadecimal syntax for degs.Eduardo Julian2017-04-052-7/+45
|
* - Added binary, octal and hexadecimal codecs for ints.Eduardo Julian2017-04-052-151/+120
| | | | - Generalized the bin, oct and hex macros so they also work with ints (in the future, they will also work with degs and reals). - Binary, octal and hexadecimal nats now have a + sign in front, like normal nats.
* - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian2017-04-0561-231/+180
| | | | | | | | | lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector.
* - Implemented a few comonads.Eduardo Julian2017-04-053-0/+99
|
* - Made some improvements to error messages in the compiler.Eduardo Julian2017-04-0526-128/+144
|