From 4fa8a191208ade6c4980c64dd47f237ec702430e Mon Sep 17 00:00:00 2001
From: sjakie
Date: Wed, 20 Oct 1999 13:52:24 +0000
Subject: extension: printing routine for types added

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@25 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/typesupport.dcl | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'frontend')

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
 
-- 
cgit v1.2.3