diff options
author | Eduardo Julian | 2017-04-08 19:48:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-04-08 19:48:57 -0400 |
commit | 65c4c83fcab2648bf48d3a816fc5d94d3e52bb1a (patch) | |
tree | ef7d6bed18a2af7c94ed1ff8113623ff1e6fb9f7 /stdlib/source/lux.lux | |
parent | 0c0ae6e4334677595bda5e7e67a0687532aff7d7 (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.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))))) _ |