diff options
| author | martijnv | 2001-03-01 11:10:10 +0000 |
|---|---|---|
| committer | martijnv | 2001-03-01 11:10:10 +0000 |
| commit | b5bcaa57cb9fc248f48e2a657f58134bc3369580 (patch) | |
| tree | ad77cbee91e13da21dfefc8b472dc81cfa59940f /frontend/type.dcl | |
| parent | temporary hack: redirect basic type Dynamic to DynamicTemp from StdDynamic (diff) | |
- type files worden aangemaakt (buggy)
- type namen worden gesuffixed met hun definierde module naam
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index 383bfe0..359c3a3 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -3,7 +3,7 @@ definition module type import StdArray import syntax, check -typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !NumberSet !*Heaps !*PredefinedSymbols !*File !*File +typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !NumberSet !*Heaps !*PredefinedSymbols !*File !*File !{# DclModule} -> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !.TypeDefInfos, !*Heaps, !*PredefinedSymbols, !*File, !*File) addPropagationAttributesToAType :: {#CommonDefs} !AType !*PropState -> *(!AType,Int,!*PropState); |