aboutsummaryrefslogtreecommitdiff
path: root/luxc
diff options
context:
space:
mode:
authorEduardo Julian2017-02-26 18:42:18 -0400
committerEduardo Julian2017-02-26 18:42:18 -0400
commit78e43d0be6fac5b8513e9dc4081a10391632feaa (patch)
treee16480f1719ad39018dc1d8bde1a7668a5f2ffa7 /luxc
parentd8bba8c477525a0e70eab4f289e043cfe352bd62 (diff)
- Increased the fixpoints limit to 64.
Diffstat (limited to 'luxc')
-rw-r--r--luxc/src/lux/type.clj16
1 files changed, 8 insertions, 8 deletions
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 ?)