aboutsummaryrefslogtreecommitdiff
path: root/frontend/cheat.dcl
diff options
context:
space:
mode:
authorjohnvg2002-07-17 12:53:43 +0000
committerjohnvg2002-07-17 12:53:43 +0000
commit1d821262d25a493c6df3a5c9de7f43856f925dc7 (patch)
tree51e0bfdc416902793b05327ec6139b1259b42f46 /frontend/cheat.dcl
parentremove ModuleIndex type, because it is now defined in syntax.dcl, (diff)
add abstract synonym types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1152 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/cheat.dcl')
0 files changed, 0 insertions, 0 deletions