aboutsummaryrefslogtreecommitdiff
path: root/src/lux/type.clj (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Improved type-error reporting.Eduardo Julian2015-12-301-10/+26
* - Made a variety of refactorings and minor changes.Eduardo Julian2015-12-021-2/+3
* - Improved error messaging when building variants & tuples.Eduardo Julian2015-11-291-188/+190
* - Added better support for existential quantification.Eduardo Julian2015-11-281-0/+12
* - Returned to old format of type-environments where odds are arguments & even...Eduardo Julian2015-09-291-12/+12
* - Cleaned-up the comments from the codebase.Eduardo Julian2015-09-291-64/+1
* - Added a rule that Void is a subtype of every other type.Eduardo Julian2015-09-281-29/+27
* - Added generics support for object field access (getting & setting).Eduardo Julian2015-09-271-25/+34
* - Added support for type-checking generic classes.Eduardo Julian2015-09-271-29/+9
* - Finished some missing bits of class definition analysis.Eduardo Julian2015-09-261-22/+28
* - Did a trick to make sure "this" always had the type of the class being defi...Eduardo Julian2015-09-161-2/+0
* - The Macro type now flows from lux.lux into the compiler, to achieve a perfe...Eduardo Julian2015-09-151-202/+5
* - Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian2015-09-151-25/+25
* - Added the possibility to define anonymous classes.Eduardo Julian2015-09-141-2/+4
* - Added exhaustiveness testing for exception-handling code.Eduardo Julian2015-09-121-19/+26
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-121-89/+75
* - Added type inference for functions.Eduardo Julian2015-09-091-2/+14
* - A few minor fixes in the standard library.Eduardo Julian2015-09-081-29/+35
* - Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian2015-09-071-1/+13
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-061-2/+11
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-061-1/+11
* - Expanded the standard library.Eduardo Julian2015-09-061-3/+3
* - Fixed the implementation of the Rec macro, which forgot to do application o...Eduardo Julian2015-09-011-0/+2
* - Added some compiler optimizations.Eduardo Julian2015-08-291-4/+6
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-233/+212
* The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian2015-08-281-31/+18
* 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-333/+312
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-231-2/+2
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-231-1/+13
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-231-309/+318
* - Finished turning tags into indices.Eduardo Julian2015-08-171-19/+35
* Introduced named types (#NamedT Ident Type).Eduardo Julian2015-08-161-172/+217
* Unified tuples & records.Eduardo Julian2015-08-161-45/+12
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-121-22/+22
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-101-93/+119
* - Changing tags so they're actually indices (part 1).Eduardo Julian2015-08-101-176/+233
* More factoring of tags.Eduardo Julian2015-08-061-178/+178
* Started factoring out the tags used in variants within the compiler.Eduardo Julian2015-08-061-78/+78
* - Refacted the compiler by shifting to a pattern-matching syntax more akin to...Eduardo Julian2015-08-061-176/+167
* - The compiler now stores the cursor of the last analysed AST in order to avo...Eduardo Julian2015-08-051-0/+1
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-041-15/+15
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-031-2/+2
* - Added a module for hashing.Eduardo Julian2015-08-021-1/+3
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-291-89/+61
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-261-5/+15
* /cache and /output now using same format.Eduardo Julian2015-07-251-66/+0
* - Removed the "seen-sources" field from the compiler state.Eduardo Julian2015-07-241-1/+0
* Added copyright notice on all files that missed it.Eduardo Julian2015-07-191-0/+8
* - Added a ' (quote) macro that works like ` (backquote), without unquote or u...Eduardo Julian2015-07-141-11/+86
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 02:34:27 +0000