diff options
Diffstat (limited to 'luxc/src')
| -rw-r--r-- | luxc/src/lux/type.clj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj index 66a072a10..6fe47dbf9 100644 --- a/luxc/src/lux/type.clj +++ b/luxc/src/lux/type.clj @@ -21,7 +21,7 @@ _ false)) -(def max-env-size 128) +(def max-stack-size 256) (def empty-env &/$Nil) @@ -753,7 +753,7 @@ [(&/$Apply A F) _] (let [fp-pair (&/T [expected actual]) - _ (when (> (&/|length fixpoints) max-env-size) + _ (when (> (&/|length fixpoints) max-stack-size) (&/|log! (println-str 'FIXPOINTS (->> (&/|keys fixpoints) (&/|map (fn [pair] (|let [[e a] pair] |