diff options
author | johnvg | 2009-06-05 14:29:22 +0000 |
---|---|---|
committer | johnvg | 2009-06-05 14:29:22 +0000 |
commit | 119bf80686fe64631bd35d12346f469495392500 (patch) | |
tree | 16d0a9ccab3263b9b9a3428c9d4d1532c4cd3533 /backend | |
parent | remove some comments (diff) |
fix for existential/universal type variables of kind > *
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1739 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions