diff options
| author | ronny | 1999-10-05 13:09:14 +0000 |
|---|---|---|
| committer | ronny | 1999-10-05 13:09:14 +0000 |
| commit | db9e59813541e06caece64592854862bab9c0138 (patch) | |
| tree | ae7cef5982a377261188aed09dc0f0cc95c50f8c /frontend/type.dcl | |
| parent | Standard project directories initialized by cvs2svn. (diff) | |
Initial import
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl new file mode 100644 index 0000000..259fb70 --- /dev/null +++ b/frontend/type.dcl @@ -0,0 +1,8 @@ +definition module type + +import StdArray +import syntax, check + +typeProgram ::!{! Group} !*{# FunDef} !IndexRange !CommonDefs ![Declaration] !{# DclModule} !*Heaps !*PredefinedSymbols !*File + -> (!Bool, !*{# FunDef}, !{! (!Index, !SymbolType)}, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*Heaps, !*PredefinedSymbols, !*File) + |