don't print pointer values (only for debugging)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1813 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 14 insertions, 19 deletions

diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index 6a7aeaf..c98e112 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -98,8 +98,8 @@ where
 
 instance toString AttributeVar
 where
-	toString {av_ident,av_info_ptr} = toString av_ident + "[" + toString (ptrToInt av_info_ptr) + "]"
-//	toString {av_ident,av_info_ptr} = toString av_ident
+//	toString {av_ident,av_info_ptr} = toString av_ident + "[" + toString (ptrToInt av_info_ptr) + "]"
+	toString {av_ident,av_info_ptr} = toString av_ident
 
 instance <<< AType
 where
@@ -183,16 +183,14 @@ where
 		= file  <<< consid <<< ' ' <<< strictness <<< ' ' <<< types
 	(<<<) file (arg_type --> res_type)
 		= file <<< arg_type <<< " -> " <<< res_type
-//AA..		
-	(<<<) file TArrow
-		= file <<< "(->)"	
-	(<<<) file (TArrow1 t)
-		= file <<< "(->) " <<< t	
-//..AA		
 	(<<<) file (type :@: types)
 		= file <<< type <<< " @" <<< types
 	(<<<) file (TB tb)
 		= file <<< tb
+	(<<<) file TArrow
+		= file <<< "(->)"	
+	(<<<) file (TArrow1 t)
+		= file <<< "(->) " <<< t	
 	(<<<) file (TFA vars types)
 		= file <<< "A." <<< vars <<< ':' <<< types
 	(<<<) file (TQV varid)
@@ -399,7 +397,7 @@ where
 
 	(<<<) file (FailExpr _) = file <<< "** FAIL **"
 	(<<<) file (TypeSignature array_kind expr) = file <<< "TypeSignature " <<< '(' <<< expr <<< ')'
-	(<<<) file expr         				= abort ("<<< (Expression) [line 1290]" )//<<- expr)
+	(<<<) file expr         				= abort ("<<< (Expression)" )
 	
 instance <<< LetBind
 where
@@ -623,11 +621,10 @@ where
 	(==) KindConst KindConst = True
 	(==) (KindArrow xs) (KindArrow ys) = xs == ys
 	(==) _ _ = False
-				
 
 instance toString KindInfo
 where
-	toString (KI_Var ptr) 				= "*" +++ toString (ptrToInt ptr)
+	toString (KI_Var ptr) 				= "*" // +++ toString (ptrToInt ptr)
 	toString (KI_Const) 				= "*"
 	toString (KI_Arrow kind1 kind2)		= withBrackets kind1 (toString kind1) +++ " -> " +++ toString kind2
 	where
@@ -896,14 +893,6 @@ where
 	(<<<) file
 		STE_Class
 			= file <<< "STE_Class"
-// AA..			
-	(<<<) file
-		STE_Generic
-			= file <<< "STE_Generic"
-	(<<<) file
-		STE_GenericCase
-			= file <<< "STE_GenericCase"
-// ..AA
 	(<<<) file
 		(STE_Field _)
 			= file <<< "STE_Field"
@@ -932,6 +921,12 @@ where
 		STE_DclFunction
 			= file <<< "STE_DclFunction"
 	(<<<) file
+		STE_Generic
+			= file <<< "STE_Generic"
+	(<<<) file
+		STE_GenericCase
+			= file <<< "STE_GenericCase"
+	(<<<) file
 		(STE_Module _)
 			= file <<< "STE_Module"
 	(<<<) file