diff options
| author | diederik | 2002-11-25 08:41:10 +0000 |
|---|---|---|
| committer | diederik | 2002-11-25 08:41:10 +0000 |
| commit | bb59c6201d41350f1cc0106519a3d4f2d4a7225e (patch) | |
| tree | d3ae3b9ac8d96464b3eeb973ad06933cc2cbc0a5 /main | |
| parent | give the strictness analyser more memory for large modules, (diff) | |
fusion patches for case folds, case types, and dictionary types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1289 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions