diff options
| author | Eduardo Julian | 2017-02-26 18:42:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-02-26 18:42:18 -0400 |
| commit | 78e43d0be6fac5b8513e9dc4081a10391632feaa (patch) | |
| tree | e16480f1719ad39018dc1d8bde1a7668a5f2ffa7 | |
| parent | d8bba8c477525a0e70eab4f289e043cfe352bd62 (diff) | |
- Increased the fixpoints limit to 64.
| -rw-r--r-- | luxc/src/lux/type.clj | 16 |
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 ?) |