diff options
author | Eduardo Julian | 2015-04-16 15:37:27 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-04-16 15:37:27 -0400 |
commit | 12aed842461ecc596c07227dcefce36d440e2c85 (patch) | |
tree | ee4275cf2ffd89192f91414134cd38982003fb4a /src/lux.clj | |
parent | f6dc520d04b517cd8e907d4738aae60b279c3877 (diff) |
- Type-vars can now be deleted and be scoped (through with-var).
- Fixed a few bugs with types and pattern-matching.
- Fixed a bug wherein primitive-analysis did now unify the primitive type with the exotype.
- Modified lambda-analysis so functions subject to universal quantification can manage better the universally-quantified variables.
Diffstat (limited to 'src/lux.clj')
-rw-r--r-- | src/lux.clj | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/lux.clj b/src/lux.clj index 7bee8df16..e035e92c8 100644 --- a/src/lux.clj +++ b/src/lux.clj @@ -11,8 +11,12 @@ ;; TODO: All optimizations ;; TODO: Anonymous classes ;; TODO: - + ;; Finish total-locals + + ;; TODO: Change &type/check to it returns a tuple with the new expected & actual types + ;; TODO: Stop passing-along the exo-types and instead pass-along endo-types where possible + ;; TODO: Optimize analyser to avoid redundant checks when dealing with type-checking (making sure check* is being handed a type) (time (&compiler/compile-all (&/|list "lux"))) (System/gc) |