diff options
| author | johnvg | 2010-05-07 09:59:21 +0000 |
|---|---|---|
| committer | johnvg | 2010-05-07 09:59:21 +0000 |
| commit | 45d0e3acaab0ccf073c7dcc4d367857d1b3453f2 (patch) | |
| tree | 5ce344d3138a3ea2036cf367e5a5536de74534d3 /frontend/containers.dcl | |
| parent | fix comparing TA with TAS (diff) | |
report an error if a generic instance is derived for a type with an
existential or universal quantifier
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1784 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/containers.dcl')
0 files changed, 0 insertions, 0 deletions