diff options
| author | martinw | 2000-09-20 14:17:30 +0000 |
|---|---|---|
| committer | martinw | 2000-09-20 14:17:30 +0000 |
| commit | 2959546fa705b0e3f9c18a3a0d44b346008a772d (patch) | |
| tree | a6460631d4f990c4ccbecd0e74f21c0500c2343c /frontend/type.dcl | |
| parent | changed signature of readPtr from "unique" into "possibly unique" (diff) | |
now "list inferred types" can print attributes also
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@220 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 75390a4..8366dc5 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -7,5 +7,5 @@ import syntax, check typeProgram ::!{! Group} !*{# FunDef} !IndexRange !CommonDefs ![Declaration] !{# DclModule} !*Heaps !*PredefinedSymbols !*File -> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*Heaps, !*PredefinedSymbols, !*File) */ -typeProgram ::!{! Group} !*{# FunDef} !IndexRange !Bool !CommonDefs ![Declaration] !{# DclModule} !*Heaps !*PredefinedSymbols !*File !*File +typeProgram ::!{! Group} !*{# FunDef} !IndexRange !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !*Heaps !*PredefinedSymbols !*File !*File -> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*Heaps, !*PredefinedSymbols, !*File, !*File) |