diff options
Diffstat (limited to '')
-rw-r--r-- | src/lux/type.clj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lux/type.clj b/src/lux/type.clj index 774d6b4d8..ad76fbadc 100644 --- a/src/lux/type.clj +++ b/src/lux/type.clj @@ -629,6 +629,7 @@ (&/$NamedT ?name ?type) (apply-type ?type param) + ;; TODO: This one must go... (&/$ExT id) (return (&/$AppT type-fn param)) @@ -767,6 +768,9 @@ (|do [expected* (apply-type F A)] (check* class-loader (fp-put fp-pair true fixpoints) invariant?? expected* actual)))) + [_ (&/$AppT (&/$ExT aid) A)] + (check-error "" expected actual) + [_ (&/$AppT F A)] (|do [actual* (apply-type F A)] (check* class-loader fixpoints invariant?? expected actual*)) |