aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2017-04-08 19:48:57 -0400
committerEduardo Julian2017-04-08 19:48:57 -0400
commit65c4c83fcab2648bf48d3a816fc5d94d3e52bb1a (patch)
treeef7d6bed18a2af7c94ed1ff8113623ff1e6fb9f7
parent0c0ae6e4334677595bda5e7e67a0687532aff7d7 (diff)
- Fixed a bug in the way the Rec macro worked (it didn't update the indices of its body type).
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)))))
_