diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/type/check.lux b/stdlib/source/lux/type/check.lux index a7214a002..6538af56b 100644 --- a/stdlib/source/lux/type/check.lux +++ b/stdlib/source/lux/type/check.lux @@ -218,7 +218,7 @@ [=left (clean t-id left) =right (clean t-id right)] (wrap (<tag> =left =right)))) - ([#;LambdaT] + ([#;FunctionT] [#;AppT] [#;ProdT] [#;SumT]) @@ -488,7 +488,7 @@ ([#;VoidT #;SumT] [#;UnitT #;ProdT]) - [(#;LambdaT eI eO) (#;LambdaT aI aO)] + [(#;FunctionT eI eO) (#;FunctionT aI aO)] (do Monad<Check> [_ (check aI eI)] (check eO aO)) |