diff options
Diffstat (limited to 'new-luxc/source/luxc/lang.lux')
-rw-r--r-- | new-luxc/source/luxc/lang.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang.lux b/new-luxc/source/luxc/lang.lux index b4ed9638a..bba58f421 100644 --- a/new-luxc/source/luxc/lang.lux +++ b/new-luxc/source/luxc/lang.lux @@ -76,7 +76,7 @@ output)))) (def: #export (infer actualT) - (-> Type (Meta Unit)) + (-> Type (Meta Top)) (do macro.Monad<Meta> [expectedT macro.expected-type] (with-type-env |