diff options
| author | johnvg | 2003-06-19 11:02:32 +0000 |
|---|---|---|
| committer | johnvg | 2003-06-19 11:02:32 +0000 |
| commit | d1b46be354d694322e6de0abe4826c78cf2a1d94 (patch) | |
| tree | e31ebd1d02fc9807b05f1a2435f8a57b77aef158 /frontend/typeproperties.dcl | |
| parent | bug fix: do not move a case inside an explicit case (diff) | |
enable boxed records
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1352 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/typeproperties.dcl')
0 files changed, 0 insertions, 0 deletions