aboutsummaryrefslogtreecommitdiff
path: root/luxc
diff options
context:
space:
mode:
authorEduardo Julian2018-07-13 20:03:50 -0400
committerEduardo Julian2018-07-13 20:03:50 -0400
commite8f99539a71febaca6013d72d30f6afc33059b4e (patch)
treefded0b1f18dd6b1ace0f33ab47542d6250b19bc0 /luxc
parent81480739f4c5caa468b295eb047e5844d39701ca (diff)
- Fixes for compiler build [part 0].
Diffstat (limited to 'luxc')
-rw-r--r--luxc/src/lux/type.clj4
1 files changed, 3 insertions, 1 deletions
diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj
index d0fcf4691..6cc33688e 100644
--- a/luxc/src/lux/type.clj
+++ b/luxc/src/lux/type.clj
@@ -21,6 +21,8 @@
_
false))
+(def max-env-size 128)
+
(def empty-env &/$Nil)
(def I64 (&/$Named (&/T ["lux" "I64"])
@@ -751,7 +753,7 @@
[(&/$Apply A F) _]
(let [fp-pair (&/T [expected actual])
- _ (when (> (&/|length fixpoints) 64)
+ _ (when (> (&/|length fixpoints) max-env-size)
(&/|log! (println-str 'FIXPOINTS (->> (&/|keys fixpoints)
(&/|map (fn [pair]
(|let [[e a] pair]