Commit 58550e81 authored by John van Groningen's avatar John van Groningen
Browse files

make result of function build_inequalities strict to reduce

memory allocation by the compiler
parent 86e9e4da
......@@ -467,6 +467,7 @@ where
-> build_attribute_environment appears_in_lifted_part (inc attr_group_index) max_attr_nr coercions attr_env attr_vars inequalities error
build_inequalities :: {#Int} Bool AttributeVar !CoercionTree {!CoercionTree} *{!TypeAttribute} [AttrInequality] -> (!Bool,!*{!TypeAttribute},![AttrInequality])
build_inequalities appears_in_lifted_part off_appears_in_lifted_part off_var (CT_Node dem_attr left right)
coercions attr_env inequalities
# (ok1, attr_env, inequalities)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment