From 65c4c83fcab2648bf48d3a816fc5d94d3e52bb1a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 8 Apr 2017 19:48:57 -0400
Subject: - Fixed a bug in the way the Rec macro worked (it didn't update the
 indices of its body type).

---
 stdlib/source/lux.lux | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'stdlib')

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)))))
     
     _
-- 
cgit v1.2.3