From 78e43d0be6fac5b8513e9dc4081a10391632feaa Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 26 Feb 2017 18:42:18 -0400
Subject: - Increased the fixpoints limit to 64.

---
 luxc/src/lux/type.clj | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'luxc')

diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj
index 854472c94..a0729f040 100644
--- a/luxc/src/lux/type.clj
+++ b/luxc/src/lux/type.clj
@@ -766,14 +766,14 @@
         
         [(&/$AppT F A) _]
         (let [fp-pair (&/T [expected actual])
-              _ (when (> (&/|length fixpoints) 40)
-                  (println 'FIXPOINTS (->> (&/|keys fixpoints)
-                                           (&/|map (fn [pair]
-                                                     (|let [[e a] pair]
-                                                       (str (show-type e) ":+:"
-                                                            (show-type a)))))
-                                           (&/|interpose "\n\n")
-                                           (&/fold str "")))
+              _ (when (> (&/|length fixpoints) 64)
+                  (&/|log! (println-str 'FIXPOINTS (->> (&/|keys fixpoints)
+                                                        (&/|map (fn [pair]
+                                                                  (|let [[e a] pair]
+                                                                    (str (show-type e) ":+:"
+                                                                         (show-type a)))))
+                                                        (&/|interpose "\n\n")
+                                                        (&/fold str ""))))
                   (assert false (prn-str 'check* '[(&/$AppT F A) _] (&/|length fixpoints) (show-type expected) (show-type actual))))]
           (|case (fp-get fp-pair fixpoints)
             (&/$Some ?)
-- 
cgit v1.2.3