diff options
| author | johnvg | 2012-08-07 12:37:41 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-07 12:37:41 +0000 |
| commit | 69b754ebc3f039274836cc05b9a92f28721409e4 (patch) | |
| tree | 2e21e45c625f1b12eed793fe95e957fe8167ebf8 /frontend/syntax.dcl | |
| parent | fix fusion of a function that is both the consumer and the producer. (diff) | |
use an unboxed tail strict list for cc_linear_bits to reduce memory usage
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2136 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 2b68014..86290e4 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -682,7 +682,7 @@ cIsALocalVar :== False :: ConsClasses = { cc_size ::!Int , cc_args ::![ConsClass] - , cc_linear_bits ::![Bool] + , cc_linear_bits ::![#Bool!] , cc_producer ::!ProdClass } |