aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/type.clj (unfollow)
Commit message (Expand)AuthorFilesLines
2015-04-26Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian1-4/+11
2015-04-26- Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian1-0/+92
2015-04-25- No more Any (Top) and Nothing (Bottom) types.Eduardo Julian1-28/+6
2015-04-25- More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian1-29/+56
2015-04-23- Migrated all the record data-structures to the new tuple-like format.Eduardo Julian1-12/+12
2015-04-19- Fixed several bugs in lux.luxEduardo Julian1-13/+13
2015-04-17- Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian1-16/+31
2015-04-16- |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian1-59/+86
2015-04-16- Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian1-181/+232
2015-04-15- Fixed a few type-related bugs.Eduardo Julian1-209/+148
2015-04-09- Function names & parameters now take prefixes into account.Eduardo Julian1-0/+4
2015-04-08- Renamed exec to |do.Eduardo Julian1-73/+99
2015-04-02- Identifiers with just a semi-colon in front now have "lux" as their module,...Eduardo Julian1-38/+49
2015-03-30- Beginning to add type-system + type-inferencer.Eduardo Julian1-206/+392
2015-03-21- Added module-name aliasing.Eduardo Julian1-87/+87
2015-03-21[2nd Super Refactoring That Breaks The System: Part 7]Eduardo Julian1-54/+56
2015-03-20[2nd Super Refactoring That Breaks The System: Part 6]Eduardo Julian1-4/+12
2015-03-19[2nd Super Refactoring That Breaks The System: Part 5]Eduardo Julian1-56/+72
2015-03-18[2nd Super Refactoring That Breaks The System: Part 4]Eduardo Julian1-57/+53
2015-03-17[2nd Super Refactoring That Breaks The System: Part 2]Eduardo Julian1-72/+122
2015-03-15[2nd Super Refactoring That Breaks The System: Part 1]Eduardo Julian1-271/+208
2015-02-18[Refactor]Eduardo Julian1-16/+16
2015-02-18Corrections to the super-refactoring: part 4Eduardo Julian1-18/+23
2015-02-17Corrections to the super-refactoring: part 2Eduardo Julian1-0/+2
2015-02-15Corrections to the super-refactoring: part 1Eduardo Julian1-13/+13
2015-02-15Super refactoring that breaks the system: Part 4Eduardo Julian1-7/+42
2015-02-10Super refactoring that breaks the system: Part 2Eduardo Julian1-3/+3
2015-02-10Super refactoring that breaks the system: Part 1Eduardo Julian1-94/+236
2015-01-26[Working on]Eduardo Julian1-5/+4
2015-01-11- Added substraction, multiplication and division for ints.Eduardo Julian1-9/+14
2015-01-03The language officially has a name: Lux (stylized as "lux").Eduardo Julian1-4/+4
2014-12-20* Java interop is almost finished.Eduardo Julian1-1/+63
2014-12-15Added lambdas! (not yet real closures, but coming soon...)Eduardo Julian1-0/+3
2014-12-11+ Added an analysis phase.Eduardo Julian1-1/+80
2014-12-02Added some super-basic type-system.Eduardo Julian1-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 03:15:12 +0000