diff options
| author | sjakie | 2001-10-05 12:51:55 +0000 |
|---|---|---|
| committer | sjakie | 2001-10-05 12:51:55 +0000 |
| commit | 2193df68d22256fc01aa82bc902fbb683b681642 (patch) | |
| tree | 31d4504ec8ab1116c965a97c9c0346e4aa113796 /main | |
| parent | bind special idents (such as abort, undef from StdMisc) to the correct identi... (diff) | |
Added existential attribute variables to type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@829 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions