aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/type.clj (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-12/+8
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-211-92/+93
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-226/+226
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-301-25/+32
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-101-10/+10
* - Made some improvements to error messages in the compiler.Eduardo Julian2017-04-051-9/+9
* - Now resetting the mappings of the type-vars to avoid having undead type-var...Eduardo Julian2017-03-111-3/+11
* - Increased the fixpoints limit to 64.Eduardo Julian2017-02-261-8/+8
* - Re-designed (and implemented) the primitives for running processes/threads ...Eduardo Julian2017-02-231-0/+5
* - Re-designed atomic operations as common procedures.Eduardo Julian2017-02-231-10/+15
* - Made some optimizations.Eduardo Julian2017-02-211-40/+49
* - Now doing common array analysis/compilation.Eduardo Julian2017-02-111-0/+3
* - Reorganized the code related to _lux_proc a bit.Eduardo Julian2017-02-071-8/+8
* - Changed the license from MPL 2.0 to MIT.Eduardo Julian2017-01-261-5/+0
* - Improved Lux error messages by ensuring the cursor is always present.Eduardo Julian2017-01-251-15/+22
* - Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian2017-01-251-12/+12
* - Fixed a bug when adjusting types during pattern-matching analysis.Eduardo Julian2016-12-181-2/+4
* - Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian2016-12-011-0/+972