diff options
author | johnvg | 2012-08-08 10:36:24 +0000 |
---|---|---|
committer | johnvg | 2012-08-08 10:36:24 +0000 |
commit | b585307ec4ec73b9586e22a3e13caf8ff6a3380b (patch) | |
tree | 9381983f82c047d0c6a25bb4296987521dea7738 /main/CleanCompiler2.icl | |
parent | use an unboxed tail strict list for cc_linear_bits to reduce memory usage (diff) |
make field aci_linearity_of_patterns of record ActiveCaseInfo strict
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2138 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/CleanCompiler2.icl')
0 files changed, 0 insertions, 0 deletions