diff options
| author | Eduardo Julian | 2015-04-02 20:22:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-04-02 20:22:00 -0400 |
| commit | f2ecb4c7338ef050b880e34be82d2d2b2110e257 (patch) | |
| tree | 397d998cc3d561403c5bf5442136a04525a2fbc0 /source/test2.lux | |
| parent | 9e095a1a8708a114a4105b4c5a583f6a2830ffc9 (diff) | |
- Identifiers with just a semi-colon in front now have "lux" as their module, instead of the local module. (e.g. ;map, #;Cons, ;All)
- The type-checker now takes into account 2 types: an exo-type (imposed by outside forces) and an endo-type (generated through inference)
- Fixed a few bugs in the analyser and the type-system.
- &type/solve* is now the actual type-checker and &type/solve invokes solve* with an empty fixpoint environment.
- The exo-type of Statements is Nothing.
- variants, tuples and def' are being analyzed properly now.
Diffstat (limited to 'source/test2.lux')
0 files changed, 0 insertions, 0 deletions