aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux.lux3
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)))))
_