diff options
| author | diederik | 2003-03-12 12:50:46 +0000 |
|---|---|---|
| committer | diederik | 2003-03-12 12:50:46 +0000 |
| commit | aeace401ab4e32e7243150cb8a70c6850267a4da (patch) | |
| tree | cd471c4ddfeafeef8026242c9273a2f17e119151 /frontend/coredump.dcl | |
| parent | added {Project}\backend\Windows project path (for backend_library) (diff) | |
add coredump module to repository
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1328 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/coredump.dcl')
| -rw-r--r-- | frontend/coredump.dcl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/frontend/coredump.dcl b/frontend/coredump.dcl new file mode 100644 index 0000000..cb9bf3e --- /dev/null +++ b/frontend/coredump.dcl @@ -0,0 +1,5 @@ +definition module coredump + +import transform + +dumpCore :: !*{! Group} Int [IndexRange] !.IclModule !.DclModule !*{# FunDef} {!ConsClasses} .Int .Int *Files -> *(!*{! Group},!*{# FunDef},!*Files) |