diff options
| author | Eduardo Julian | 2015-09-01 16:48:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-01 16:48:54 -0400 |
| commit | e085c8c685b1e22827443a43d6f20b5ab6e72d6a (patch) | |
| tree | b2ed4c69614b868ca4a659985cef9b7a3f9770b1 /src | |
| parent | 2cfaf65019015ffe34fba5d5a723b94350cd4e84 (diff) | |
- Fixed the implementation of the Rec macro, which forgot to do application on Void to achieve "recursion".
- Introduced ExQ types into the type-system (still pending work on inference).
Diffstat (limited to 'src')
| -rw-r--r-- | src/lux/base.clj | 1 | ||||
| -rw-r--r-- | src/lux/type.clj | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/lux/base.clj b/src/lux/base.clj index b99437a2c..4db1d26bc 100644 --- a/src/lux/base.clj +++ b/src/lux/base.clj @@ -51,6 +51,7 @@ "VarT" "ExT" "UnivQ" + "ExQ" "AppT" "NamedT") diff --git a/src/lux/type.clj b/src/lux/type.clj index 36590ddd2..82eab3dd4 100644 --- a/src/lux/type.clj +++ b/src/lux/type.clj @@ -105,6 +105,8 @@ Int ;; UnivQ (Tuple$ (&/|list TypeList Type)) + ;; ExQ + (Tuple$ (&/|list TypeList Type)) ;; AppT TypePair ;; NamedT |