From b6a2b3d54781bd5beb424f7559c9f61a5e30fa18 Mon Sep 17 00:00:00 2001
From: sjakie
Date: Tue, 19 Oct 1999 12:03:05 +0000
Subject: improved printing routines for types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@23 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/main.icl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'frontend')

diff --git a/frontend/main.icl b/frontend/main.icl
index 1aa1ed9..738c086 100644
--- a/frontend/main.icl
+++ b/frontend/main.icl
@@ -309,7 +309,9 @@ where
 		= (fun_defs, file <<< '\n')
 	show_types [fun:funs] fun_defs file
 		#! fun_def = fun_defs.[fun]
-		= show_types funs fun_defs (file <<< '\n' <<< fun_def.fun_type)
+		# properties = { form_properties = cAttributed bitor cAnnotated, form_attr_position = No }
+		  (Yes ftype) = fun_def.fun_type
+		= show_types funs fun_defs (file <<< fun_def.fun_symb <<< " :: " <:: (properties, ftype) <<< '\n' )
 
 converFileToListOfStrings file_name files error
 	# (ok, file, files) = fopen file_name FReadText files
-- 
cgit v1.2.3