aboutsummaryrefslogtreecommitdiff
path: root/luxc
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--luxc/src/lux/type.clj4
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]