diff options
| -rw-r--r-- | stdlib/source/lux.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 98325ae30..0b92fb023 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2616,7 +2616,8 @@ [Int (List Self)])")]) (_lux_case tokens (#Cons [_ (#SymbolS "" name)] (#Cons body #Nil)) - (let' [body' (replace-syntax (list [name (` (#AppT (~ (make-bound +0)) (~ (make-bound +1))))]) body)] + (let' [body' (replace-syntax (list [name (` (#AppT (~ (make-bound +0)) (~ (make-bound +1))))]) + (update-bounds body))] (return (list (` (#AppT (#UnivQ #Nil (~ body')) Void))))) _ |