diff options
| author | martinw | 2000-08-15 11:20:50 +0000 |
|---|---|---|
| committer | martinw | 2000-08-15 11:20:50 +0000 |
| commit | 22fb78252040fdfc120039ba81f0642ddd8ef8b9 (patch) | |
| tree | c099ee2371863894cb700e3aa4c508a834e6b555 /frontend/type.dcl | |
| parent | added position information to case defaults to improve type error messages (diff) | |
improved typing error messages: type variables are printed like "a" instead
of "v314", case defaults and guards now also have file position information.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
| -rw-r--r-- | frontend/type.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl index 9fe9b24..75390a4 100644 --- a/frontend/type.dcl +++ b/frontend/type.dcl @@ -3,6 +3,9 @@ definition module type import StdArray import syntax, check +/* MW4 was: 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 + -> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*Heaps, !*PredefinedSymbols, !*File, !*File) |