diff options
| author | Eduardo Julian | 2015-08-28 22:46:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-08-28 22:46:12 -0400 |
| commit | 8de225f98aaed212bf3b683208bff5c6ab85a835 (patch) | |
| tree | f9a3e197c7bf62cffa411f5a9e768cbca6a76d9b /src/lux/analyser/host.clj | |
| parent | a10d922283a9256f0f0015d9d00a0c549b1891cb (diff) | |
- Changed the name of AllT (for-all type) to UnivQ (universal quantification).
- UnivQ no longer stores the environment as key-val pairs with Text names, but instead stores it as type-lists with variables accessed via an index through a (updated) BoundT.
- UnivQ no longer stores the name of the type-fun, not the name of the type-arg.
Diffstat (limited to '')
| -rw-r--r-- | src/lux/analyser/host.clj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lux/analyser/host.clj b/src/lux/analyser/host.clj index 8ccfc5ace..098dc89df 100644 --- a/src/lux/analyser/host.clj +++ b/src/lux/analyser/host.clj @@ -313,7 +313,7 @@ (&&/analyse-1 analyse (&/V &/$DataT (as-otype ?method-output)) ?method-body)) (&/|reverse (if (:static? =method-modifiers) =method-inputs - (&/|cons (&/T ";this" ?super-class) + (&/Cons$ (&/T ";this" ?super-class) =method-inputs)))))] (return {:name ?method-name :modifiers =method-modifiers |