aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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