diff options
| author | johnvg | 2011-08-10 11:32:12 +0000 |
|---|---|---|
| committer | johnvg | 2011-08-10 11:32:12 +0000 |
| commit | c11b73b8dc11e7460990c61472ca91d8cc6b4f82 (patch) | |
| tree | a8ff6c290fae05c0abf3ddc885505819a0dc5dec /frontend/syntax.dcl | |
| parent | fix small bug in merging Deps or Lubs (diff) | |
prevent compiler crash if an uppercase generic identifier is used in a pattern
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1958 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
0 files changed, 0 insertions, 0 deletions