aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/synthesis/function.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-11Re-located code related to Lux's compilation across the different phases.Eduardo Julian1-214/+0
2019-07-31Ported JVM reference generation to the new JVM bytecode machinery.Eduardo Julian1-1/+2
2019-06-20Improved the convention for using text formatters.Eduardo Julian1-2/+2
2019-04-06Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian1-1/+2
2019-03-15Changed the convention for the structure opening separator from "/" to ";", t...Eduardo Julian1-21/+21
2019-03-14Now allowing the alias of a module to refer to the alias of an ancestor.Eduardo Julian1-17/+17
2019-03-03Some refactoring around synthesis.Eduardo Julian1-50/+51
2019-03-03Some refactoring around analysis.Eduardo Julian1-2/+2
2019-02-24Got new-luxc to compile/build again.Eduardo Julian1-16/+16
2019-02-12Re-named "lux/platform" to "lux/tool".Eduardo Julian1-0/+0
2019-02-11Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian1-18/+18
2019-02-04Changed the naming style for structures.Eduardo Julian1-15/+15
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-16Various fixes.Eduardo Julian1-2/+2
2018-08-15Fixes for function synthesis.Eduardo Julian1-93/+184
2018-08-09- Fixes for eval.Eduardo Julian1-28/+12
2018-08-02Replace the error-prone "n/range" calls with "indices".Eduardo Julian1-1/+3
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-5/+5
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-5/+5
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian1-10/+10
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian1-2/+2
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-10/+10
2018-07-16- Fixed synthesis code.Eduardo Julian1-5/+5
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-2/+2
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-2/+2
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian1-15/+16
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-9/+12
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-2/+2
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-8/+8
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-2/+2
2018-07-10- Re-organized dictionary & set modules a bit.Eduardo Julian1-1/+1
2018-07-10- Re-named "Dict" type to "Dictionary".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-2/+2
2018-06-14- Refactored generic compiler infrastructure.Eduardo Julian1-10/+9
2018-06-14- Refactored references.Eduardo Julian1-6/+7
2018-06-14- Migrated synthesis to stdlib.Eduardo Julian1-11/+92
2018-05-26- WIP: Migrated synthesis to stdlib.Eduardo Julian1-0/+49