diff options
Diffstat (limited to 'stdlib/source/lux/type/auto.lux')
-rw-r--r-- | stdlib/source/lux/type/auto.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/auto.lux b/stdlib/source/lux/type/auto.lux index b0018525b..99e5e0431 100644 --- a/stdlib/source/lux/type/auto.lux +++ b/stdlib/source/lux/type/auto.lux @@ -55,7 +55,7 @@ (find-member-type idx sig-type') (#;Apply arg func) - (case (type;apply-type func arg) + (case (type;apply (list arg) func) #;None (tc;fail (format "Cannot apply type " (%type func) " to type " (%type arg))) @@ -157,7 +157,7 @@ (do Monad<Check> [[id var] tc;create-var] (apply-function-type (default (undefined) - (type;apply-type func var)) + (type;apply (list var) func)) arg)) (#;Function input output) @@ -175,7 +175,7 @@ (do Monad<Check> [[id var] tc;create-var [ids final-output] (concrete-type (default (undefined) - (type;apply-type type var)))] + (type;apply (list var) type)))] (wrap [(#;Cons id ids) final-output])) |