aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Moved default compiler process to stdlib (with caching temporarily disabled).Eduardo Julian2018-08-031-278/+0
|
* - Some fixes due to recent changes in stdlib.Eduardo Julian2018-07-221-4/+4
| | | - Removed some (now) useless modules.
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-211-1/+1
|
* - Re-named "import" to "import:".Eduardo Julian2018-07-031-1/+1
|
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-031-3/+3
|
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-3/+3
| | | - Removed some modules that should have been deleted before.
* - Migrated reference analysis to stdlib.Eduardo Julian2018-05-161-2/+1
|
* - Adjusted new-luxc to latest changes.Eduardo Julian2018-05-101-2/+2
|
* - Re-named "Compiler" type to "Lux".Eduardo Julian2018-05-101-4/+4
|
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-061-3/+3
|
* - Adapted new-luxc's code to latest stdlib changes.Eduardo Julian2018-04-061-7/+12
|
* - Fixed some failing new-luxc tests.Eduardo Julian2018-02-061-40/+24
| | | | - Re-designed the way casting is done for JVM interop. - Now always adding extensions when initializing compiler.
* - Got JS backend to build with the rest of the new-luxc code.Eduardo Julian2018-01-281-50/+95
|
* - Re-factored initialization functions to their own module.Eduardo Julian2018-01-081-33/+3
|
* - Moved all translation code under the JVM path (in preparation for porting ↵Eduardo Julian2018-01-081-8/+7
| | | | the JS back-end).
* - Now using synthesis extensions during synthesis.Eduardo Julian2018-01-081-3/+5
|
* - Added CLI machinery to compiler.Eduardo Julian2017-12-131-7/+8
| | | - Added extensions to the REPL.
* - WIP: Caching.Eduardo Julian2017-12-051-21/+29
|
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-051-91/+73
| | | | - No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
* - Improved statement-level macro-expansion.Eduardo Julian2017-12-031-31/+34
|
* - Adjusted new-luxc to new macro-templating syntax.Eduardo Julian2017-12-021-1/+1
|
* - Adapted main codebase to the latest syntatic changes.Eduardo Julian2017-11-291-134/+134
|
* - Added REPL.Eduardo Julian2017-11-231-3/+3
|
* - Fixed some bugs.Eduardo Julian2017-11-221-1/+2
| | | | - Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
* - Fixed some bugs.Eduardo Julian2017-11-211-35/+57
| | | - Some small refactoring.
* - Added parallel compilation.Eduardo Julian2017-11-201-59/+101
| | | | | - Added aliasing. - Several bug fixes. - Some minor refactoring.
* - Moved "luxc/lang/host/macro" to "luxc/lang/macro".Eduardo Julian2017-11-151-3/+3
|
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-151-25/+25
|
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-2/+2
|
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-151-6/+6
| | | - Minor refactoring.
* - Moved type-cleaning to lux/meta/type/check.Eduardo Julian2017-11-151-38/+1
|
* - Heavy refactoring.Eduardo Julian2017-11-151-23/+19
|
* - Modified the syntax for module definitions.Eduardo Julian2017-11-141-12/+30
| | | - Fixed some bugs.
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-141-4/+4
| | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
* - Yet more refactoring.Eduardo Julian2017-11-141-0/+40
|
* - Refactoring.Eduardo Julian2017-11-131-1/+2
| | | | - Now giving type checking/inference a higher priority. - Better error messages.
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-17/+18
| | | - Fixed some bugs.
* - Fixed some bugs.Eduardo Julian2017-11-061-18/+19
|
* - Minor refactorings.Eduardo Julian2017-11-011-22/+38
| | | | - Fixed some bugs. - Enabled macro-expansion for statements.
* - Re-organized code-generation, and re-named it "translation".Eduardo Julian2017-11-011-0/+179