diff options
| author | alimarin | 2001-03-13 15:36:49 +0000 |
|---|---|---|
| committer | alimarin | 2001-03-13 15:36:49 +0000 |
| commit | c3a2cdaad45d3e1536d3b98d89036e549f159530 (patch) | |
| tree | 03e6e689e81bca56ad245ff00fc9c17a7bef80b5 /frontend/type.dcl | |
| parent | added 2.0 syntax to type_io.icl (diff) | |
Generics are added, but are disabled.
Tested with compiling Object IO and butstrapping.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index 359c3a3..621ba84 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -3,11 +3,16 @@ definition module type import StdArray import syntax, check -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) +typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !NumberSet !*TypeDefInfos !*Heaps !*PredefinedSymbols !*File !*File !{# DclModule} + -> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*TypeDefInfos, !*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); +buildCurriedType :: [AType] AType TypeAttribute [AttrCoercion] Int + -> (AType,[AttrCoercion],Int) // AA: exported from the module + :: PropState = { prop_type_heaps :: !.TypeHeaps , prop_td_infos :: !.TypeDefInfos |