aboutsummaryrefslogtreecommitdiff
path: root/frontend/main.icl
diff options
context:
space:
mode:
authorsjakie1999-10-19 12:03:05 +0000
committersjakie1999-10-19 12:03:05 +0000
commitb6a2b3d54781bd5beb424f7559c9f61a5e30fa18 (patch)
tree42cf070ceb3e06ca0b67517a3264dc6bedcdb95e /frontend/main.icl
parentremoved comment (diff)
improved printing routines for types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@23 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/main.icl')
-rw-r--r--frontend/main.icl4
1 files changed, 3 insertions, 1 deletions
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