diff options
| author | johnvg | 2001-07-13 10:31:14 +0000 |
|---|---|---|
| committer | johnvg | 2001-07-13 10:31:14 +0000 |
| commit | 41abcc4ecfe0accfe2d7fa97101c6ada98fb142b (patch) | |
| tree | bbd1f1177bbd07e964d1613ec5547f1c5351b924 /frontend/refmark.icl | |
| parent | uniqueness attributes in backend (diff) | |
{} is not allowed in patterns, because array 'denotations' in patterns
are not implemented
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@543 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
0 files changed, 0 insertions, 0 deletions