aboutsummaryrefslogtreecommitdiff
path: root/src/lux/analyser/case.clj (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Returned to old format of type-environments where odds are arguments & even...Eduardo Julian2015-09-291-1/+1
* - Cleaned-up the comments from the codebase.Eduardo Julian2015-09-291-46/+19
* - :: no longer demands prefixes for the struct membersEduardo Julian2015-09-151-1/+1
* - Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian2015-09-151-1/+1
* - Added exhaustiveness testing for exception-handling code.Eduardo Julian2015-09-121-4/+4
* - Implemented the with-open macro.Eduardo Julian2015-09-111-18/+18
* - Implemented inference for constructing records.Eduardo Julian2015-09-101-2/+2
* - Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian2015-09-071-23/+3
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-061-22/+38
* - Added a macro to write recursive types.Eduardo Julian2015-09-011-0/+3
* - Added call/cc to lux/codata/lazy.Eduardo Julian2015-08-301-1/+1
* - Added some compiler optimizations.Eduardo Julian2015-08-291-4/+4
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-20/+24
* Changed the license from EPL to MPL.Eduardo Julian2015-08-281-7/+4
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-281-174/+206
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-231-7/+4
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-231-5/+23
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-231-201/+154
* Introduced named types (#NamedT Ident Type).Eduardo Julian2015-08-161-2/+5
* Unified tuples & records.Eduardo Julian2015-08-161-24/+3
* - Changing tags so they're actually indices (part 4). Eduardo Julian2015-08-121-14/+35
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-121-61/+21
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-101-63/+74
* Refactored tags for pattern-matching and vars.Eduardo Julian2015-08-081-60/+85
* More factoring of tags.Eduardo Julian2015-08-061-58/+58
* Started factoring out the tags used in variants within the compiler.Eduardo Julian2015-08-061-15/+15
* - Refacted the compiler by shifting to a pattern-matching syntax more akin to...Eduardo Julian2015-08-061-79/+78
* - Local vars can now longer have prefixed symbols.Eduardo Julian2015-08-051-2/+5
* - Added a module for hashing.Eduardo Julian2015-08-021-7/+10
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-2/+2
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-261-21/+99
* Added copyright notice on all files that missed it.Eduardo Julian2015-07-191-0/+8
* - Some bug fixes.Eduardo Julian2015-07-191-33/+37
* - Added a ' (quote) macro that works like ` (backquote), without unquote or u...Eduardo Julian2015-07-141-1/+1
* - Added the beginnings of the standard library.Eduardo Julian2015-07-121-1/+10
* - Cleaned-up a few things in lux.luxEduardo Julian2015-05-241-5/+5
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-101-14/+14
* - Made some small optimizations in the compiler.Eduardo Julian2015-05-061-19/+18
* - Removed all the unnecesary comments.Eduardo Julian2015-05-061-97/+91
* - Optimized the compiler by eliminating reflection.Eduardo Julian2015-05-031-1/+1
* - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian2015-05-021-2/+3
* - Implemented pattern-matching for records.Eduardo Julian2015-04-301-23/+38
* - Added a dummy implementation of "export'".Eduardo Julian2015-04-231-2/+3
* - Removed analyse-2, as it was redundant.Eduardo Julian2015-04-231-2/+2
* - Fixed several bugs in lux.luxEduardo Julian2015-04-191-104/+106
* - |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian2015-04-161-196/+152
* - Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian2015-04-161-105/+131
* - Fixed a few type-related bugs.Eduardo Julian2015-04-151-16/+16
* - Function names & parameters now take prefixes into account.Eduardo Julian2015-04-091-20/+99
* - Renamed exec to |do.Eduardo Julian2015-04-081-24/+213
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-17 22:15:58 +0000