aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/type.clj (unfollow)
Commit message (Expand)AuthorFilesLines
2016-07-01- Small fixes to reader & type-system.Eduardo Julian1-10/+4
2016-05-21- Now it's possible to pattern-match against variants using numeric indices.Eduardo Julian1-14/+0
2016-05-03- Renamed #DataT to #HostT.Eduardo Julian1-13/+13
2016-04-26- Made some fixes to type-inference for pattern-matching.Eduardo Julian1-0/+42
2016-04-19- Added inference for pattern-matching on tuples, records and variants.Eduardo Julian1-2/+32
2016-03-09- Fixed a bug wherein type-variables were not getting properly cleaned and th...Eduardo Julian1-8/+46
2016-02-22- Added the means to convert characters into other things.Eduardo Julian1-0/+4
2016-02-15- Improved the instantiation of generic types when using unparameterized clas...Eduardo Julian1-7/+11
2016-02-14- Updated the compiler version to 0.3.3.Eduardo Julian1-2/+2
2016-02-07- Fixed a bug when getting a value out of a variant (it was acting improperly...Eduardo Julian1-174/+152
2016-02-06- Added support for defining static methods in JVM classes.Eduardo Julian1-1/+5
2016-02-04- Fixed some bugs regarding the handling of sums & products.Eduardo Julian1-2/+16
2016-01-22- Updated the IO type in lux.type to reflect the new version of the IO type a...Eduardo Julian1-2/+2
2016-01-17- I overdid the switch from null to lux.base/unit-tag, so I reversed the chan...Eduardo Julian1-15/+15
2016-01-17- Fixed a bug introduced when I made the change for the "unit" value to be a ...Eduardo Julian1-15/+15
2016-01-17- Now using the new utility methods in LuxUtils for working with variants/sums.Eduardo Julian1-2/+2
2016-01-05- Optimized the new "product" implementation to improve performance & memory ...Eduardo Julian1-40/+40
2016-01-02- Switched from TupleT to ProdT (type-wise).Eduardo Julian1-60/+76
2016-01-02- Switched from VariantT to SumT.Eduardo Julian1-107/+126
2016-01-02- Added the VoidT and UnitT types.Eduardo Julian1-7/+30
2016-01-02- Implemented the feature of adding arbitrary meta-data to definitions.Eduardo Julian1-4/+32
2015-12-31- Added support for wildcards in generic types.Eduardo Julian1-0/+2
2015-12-30- Improved type-error reporting.Eduardo Julian1-10/+26
2015-12-02- Made a variety of refactorings and minor changes.Eduardo Julian1-2/+3
2015-11-29- Improved error messaging when building variants & tuples.Eduardo Julian1-188/+190
2015-11-28- Added better support for existential quantification.Eduardo Julian1-0/+12
2015-09-29- Returned to old format of type-environments where odds are arguments & even...Eduardo Julian1-12/+12
2015-09-29- Cleaned-up the comments from the codebase.Eduardo Julian1-64/+1
2015-09-28- Added a rule that Void is a subtype of every other type.Eduardo Julian1-29/+27
2015-09-27- Added generics support for object field access (getting & setting).Eduardo Julian1-25/+34
2015-09-27- Added support for type-checking generic classes.Eduardo Julian1-29/+9
2015-09-26- Finished some missing bits of class definition analysis.Eduardo Julian1-22/+28
2015-09-16- Did a trick to make sure "this" always had the type of the class being defi...Eduardo Julian1-2/+0
2015-09-15- The Macro type now flows from lux.lux into the compiler, to achieve a perfe...Eduardo Julian1-202/+5
2015-09-15- Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian1-25/+25
2015-09-14- Added the possibility to define anonymous classes.Eduardo Julian1-2/+4
2015-09-12- Added exhaustiveness testing for exception-handling code.Eduardo Julian1-19/+26
2015-09-12- Primitive data-types can now be parameterized by other types.Eduardo Julian1-89/+75
2015-09-09- Added type inference for functions.Eduardo Julian1-2/+14
2015-09-08- A few minor fixes in the standard library.Eduardo Julian1-29/+35
2015-09-07- Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian1-1/+13
2015-09-06- Added the (untested) inference of tuple destructuring.Eduardo Julian1-2/+11
2015-09-06- Added type-inference when constructing tuples.Eduardo Julian1-1/+11
2015-09-06- Expanded the standard library.Eduardo Julian1-3/+3
2015-09-01- Fixed the implementation of the Rec macro, which forgot to do application o...Eduardo Julian1-0/+2
2015-08-29- Added some compiler optimizations.Eduardo Julian1-4/+6
2015-08-28- Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian1-233/+212
2015-08-28The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian1-31/+18
2015-08-28Changed the license from EPL to MPL.Eduardo Julian1-7/+4
2015-08-28Due to several performance issues and my inability to optimize them away due ...Eduardo Julian1-333/+312
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 03:11:11 +0000