diff options
| author | johnvg | 2002-07-17 13:10:19 +0000 |
|---|---|---|
| committer | johnvg | 2002-07-17 13:10:19 +0000 |
| commit | ea1a6a13af6cd29da16a83e0a4ba9e31a31a78ab (patch) | |
| tree | e1ef1dd6f1445f8bd610fb2464b2ddb038413717 /frontend | |
| parent | add abstract synonym types (diff) | |
remove
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1155 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/cheat.dcl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/cheat.dcl b/frontend/cheat.dcl deleted file mode 100644 index 8189566..0000000 --- a/frontend/cheat.dcl +++ /dev/null @@ -1,5 +0,0 @@ -system module cheat - -//i :: !b -> a - -uniqueCopy :: !*a -> (!*a, !*a) |