aboutsummaryrefslogtreecommitdiff
path: root/source/program.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Removed the (unnecessary) lux/meta/macro module.Eduardo Julian2015-09-061-1/+0
|
* - Expanded the standard library.Eduardo Julian2015-09-061-2/+3
| | | | - Fixed some minor bugs. - Added the updated code for the parser (forgot to add it to a previous commit).
* - Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian2015-09-021-12/+18
|
* - Added a macro to write recursive types.Eduardo Julian2015-09-011-15/+14
| | | | - Corrected some code that still involved the old names for the list macros. - Corrected some code in the pattern-matcher analyser to it fails properly when encountering invalid pattern-syntax.
* Changed the license from EPL to MPL.Eduardo Julian2015-08-281-7/+4
|
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-041-2/+3
| | | - Created the lux/meta/ast module.
* Implemented text-interpolation through a macro ("<>") in lux/data/textEduardo Julian2015-08-031-3/+4
|
* - Added a module for hashing.Eduardo Julian2015-08-021-0/+1
| | | | | | | | - Refactored the standard library a bit. - Implemented the "loop" macro. - Added the expected type of expressions as a field in the compiler state. - Added syntactic sugar for using tuples with variants, in order to minimize the usage of brackets to delimit the contents of data-structures. - Fixed a bug wherein "macro-expand" was behaving like "macro-expand-all", and added a separate implementation for "macro-expand-all". - Fixed a few bugs.
* - Did some refactoring of the standard library.Eduardo Julian2015-07-311-14/+17
| | | | | | | | - Introduced 2 new modules: lux/data/tuple & lux/codata/function - Now doing safe reading of files. - Took the "let", "lambda" & "def" macros to their ultimate form. - Added some macros for doing better JVM interop. - Fixed a bug when compiling comparisons for doubles. - Changed the order in which arguments are compiled for all arithmetic operations, as the order is reversed (from the conventional order) in the JVM bytecode.
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-291-5/+5
| | | | - Fixed several bugs with host (JVM) interop. - Now packaging everything in a .jar file ("program.jar").
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-1/+1
| | | | | - Completed lux/host/jvm - Modified (slightly) the syntax used in several host (JVM) special forms. - The "defsyntax" macro now binds all of the arguments it receives inside a variable named "tokens".
* - Fixed a pattern-matching error where generalizations of types ↵Eduardo Julian2015-07-261-1/+1
| | | | | | (universal-quantification / AllT) was not being taken into account properly when destructuring. - Fixed a compiler error wherein the types of definitions didn't generate (correctly) the structures necessary for storage inside the class _meta(data) field. - Improved both the "open" and "import" macros with extra features.
* - The output directory is now being used as the cache.Eduardo Julian2015-07-251-0/+48
| | | - "input" has been renamed as "source" and "output" has been renamed as "target".
* - The directory for source-code is now named "input".Eduardo Julian2015-06-201-15/+0
| | | - Implemented module-caching to avoid the waiting too much during program compilation.
* - _jvm_program now relies on the (IO (,)) type.Eduardo Julian2015-05-271-4/+1
| | | - The command-line params argument in jvm_program is now transformed from a String array into (List Text).
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-221-4/+4
| | | | | | | - Temporarily reverted back to forward apply-analysis. - Fixed an error in lux.base/show-ast. - Reader now only returns a tuple instead of a full-blown #Meta variant. - Reader now doesn't cut the strings that it reads. Instead, the "cursor" just moves around, indicating where to read. - Inlined some calculations that previously relied on try-all%.
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-141-1/+1
|
* - Switched to the new prefix convention for both lux's special forms and the ↵Eduardo Julian2015-05-101-5/+5
| | | | | host's. - Made a few optimizations to speed-up the now slowed-down compiler.
* - Now analysing function-application backwards.Eduardo Julian2015-05-101-3/+3
|
* - Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2015-05-041-0/+6
| | | | | | | | | - Implemented "using". - Implemented jvm-program. - Corrected some primitive (un)wrapping errors in lux.compiler.host. - jvm-program is now scoped to enable local variables. - The types of definitions are now stored within the module dictionary. - Added a "main" method that just compiles program.lux.
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-041-0/+12
- Fixed a few bugs both in lux.lux & the compiler. - Added exports to the language.