diff options
author | Eduardo Julian | 2018-07-13 20:03:50 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-13 20:03:50 -0400 |
commit | e8f99539a71febaca6013d72d30f6afc33059b4e (patch) | |
tree | fded0b1f18dd6b1ace0f33ab47542d6250b19bc0 /luxc | |
parent | 81480739f4c5caa468b295eb047e5844d39701ca (diff) |
- Fixes for compiler build [part 0].
Diffstat (limited to 'luxc')
-rw-r--r-- | luxc/src/lux/type.clj | 4 |
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] |