aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/platform/compiler/phase/synthesis/case.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2019-02-12Re-named "lux/platform" to "lux/tool".Eduardo Julian1-170/+0
2019-02-11Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian1-16/+17
2019-02-04Changed the naming style for structures.Eduardo Julian1-7/+7
2018-10-29Extracted "phase" from under "lux/platform/compiler/default".Eduardo Julian1-0/+0
2018-10-29Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian1-0/+0
2018-08-15Fixes for function synthesis.Eduardo Julian1-12/+3
2018-08-15Fixes for pattern-matching/case synthesis & translation.Eduardo Julian1-35/+32
2018-07-30Updating new-luxc to latest Lux changes [Part 2].Eduardo Julian1-1/+1
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian1-3/+3
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian1-5/+5
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-7/+8
2018-07-16- Fixed synthesis code.Eduardo Julian1-10/+10
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-4/+4
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-7/+7
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian1-28/+29
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-10/+12
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-5/+5
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-5/+5
2018-07-10- Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian1-0/+0
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-1/+1
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-5/+5
2018-07-04- Re-named "degree" to "revolution".Eduardo Julian1-1/+1
2018-07-03- Re-named ":!" to ":coerce".Eduardo Julian1-1/+1
2018-06-17- Heavy refactoring to integrate extensions better with the rest of the compi...Eduardo Julian1-0/+0
2018-06-17- Migrated Scheme back-end to stdlib.Eduardo Julian1-42/+49
2018-06-14- Refactored generic compiler infrastructure.Eduardo Julian1-26/+25
2018-06-14- Refactored references.Eduardo Julian1-1/+2
2018-06-14- Migrated synthesis to stdlib.Eduardo Julian1-0/+170