From 4c36eaf769bc74e708d1f63e67ff612176963731 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 15 Jul 2017 20:45:10 -0400
Subject: - Can now generate Eq instances for #rec-style recursive types. -
 Minor refactorings.

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

(limited to 'stdlib/source/lux.lux')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 76db92f2f..30f38897b 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -3721,9 +3721,9 @@
                          (if (empty? args)
                            (let [g!param (symbol$ ["" ""])
                                  prime-name (symbol$ ["" name])
-                                 type+ (replace-syntax (list [name (` ((~ prime-name) (~ g!param)))]) type)]
+                                 type+ (replace-syntax (list [name (` ((~ prime-name) #;Void))]) type)]
                              (#Some (` ((All (~ prime-name) [(~ g!param)] (~ type+))
-                                        Void))))
+                                        #;Void))))
                            #None)
                          (case args
                            #Nil
-- 
cgit v1.2.3