diff options
| author | johnvg | 2002-11-13 14:24:17 +0000 |
|---|---|---|
| committer | johnvg | 2002-11-13 14:24:17 +0000 |
| commit | a08b858275c4528c51e391dc0b223e68e845ff12 (patch) | |
| tree | f3cf0de9c7d2b45a2a81f00ad122a2356d4d2f1c /frontend | |
| parent | Removed bugs in analysis of abstract data types and adjusted typing of record... (diff) | |
export label with t prefix for records for dynamics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1278 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
0 files changed, 0 insertions, 0 deletions