diff options
| author | sjakie | 1999-10-20 13:52:24 +0000 |
|---|---|---|
| committer | sjakie | 1999-10-20 13:52:24 +0000 |
| commit | 4fa8a191208ade6c4980c64dd47f237ec702430e (patch) | |
| tree | d9589da96230e70ea795bfc68f6f46432c709857 | |
| parent | ExclamationToken is again a reserved sybol in every context (diff) | |
extension: printing routine for types added
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@25 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/typesupport.dcl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/frontend/typesupport.dcl b/frontend/typesupport.dcl index 0947027..c69ec99 100644 --- a/frontend/typesupport.dcl +++ b/frontend/typesupport.dcl @@ -12,13 +12,14 @@ errorHeading :: !String !*ErrorAdmin -> *ErrorAdmin class (<::) infixl a :: !*File (!Format, !a) -> *File :: Format = - { form_properties :: !BITVECT - , form_position :: ![Int] + { form_properties :: !BITVECT + , form_attr_position :: Optional ([Int], Coercions) } cNoProperties :== 0 -cAttributed :== 4 -cAnnotated :== 8 +cAttributed :== 1 +cAnnotated :== 2 +cMarkAttribute :== 4 instance <:: SymbolType, Type, AType, [a] | <:: a |