diff options
| author | johnvg | 2007-02-14 13:18:39 +0000 |
|---|---|---|
| committer | johnvg | 2007-02-14 13:18:39 +0000 |
| commit | 8b59654a1bf1e661ba6c2d6729ed11b307efbbed (patch) | |
| tree | 322af14a86221be5c439c05a8983942a21e147df /frontend/type.dcl | |
| parent | add space before and after @ (diff) | |
implement qualified explicit imports
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index 57428ea..f7d998b 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -3,9 +3,9 @@ definition module type import StdArray import syntax, check -typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !NumberSet !*TypeDefInfos !*Heaps !*PredefinedSymbols !*File !*File !{# DclModule} - -> (!Bool, !*{# FunDef}, !ArrayAndListInstances, !{# CommonDefs}, !{# {# FunType} }, !*TypeDefInfos, !*Heaps, !*PredefinedSymbols, !*File, !*File) - +typeProgram :: !{! Group} !Int !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs !{!Declaration} ![([Declaration], Int, Position)] !{# DclModule} !NumberSet + !*TypeDefInfos !*Heaps !*PredefinedSymbols !*File !*File + -> (!Bool, !*{# FunDef}, !ArrayAndListInstances, !{# CommonDefs}, !{# {# FunType} }, !*TypeDefInfos,!*Heaps,!*PredefinedSymbols,!*File,!*File) addPropagationAttributesToAType :: {#CommonDefs} !AType !*PropState -> *(!AType,Int,!*PropState); |