diff options
| author | martinw | 2000-09-20 15:35:59 +0000 |
|---|---|---|
| committer | martinw | 2000-09-20 15:35:59 +0000 |
| commit | a6d88b7bfb269cc4666fd92f481cd12a40d8d022 (patch) | |
| tree | 03cf6b9a1dbecb8ff7de31c97bd0203896796739 /frontend | |
| parent | now "list inferred types" can print attributes also (diff) | |
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/typesupport.icl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 700fbc3..cbee300 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -927,7 +927,7 @@ where | isEmpty positions = show_attribute attr coercions (file <<< "^ ") opt_beautifulizer = show_attribute attr coercions file opt_beautifulizer - +// = (file, opt_beautifulizer) show_attribute TA_Unique coercions file opt_beautifulizer = (file <<< '*' , opt_beautifulizer) @@ -1061,10 +1061,12 @@ instance writeType ConsVariable where -> (file <<< beautiful_var_name, yes_beautifulizer) toTypeVarPtrCV (CV {tv_info_ptr}) = tv_info_ptr +toTypeVarPtrCV _ = nilPtr toTypeVarPtr (TV {tv_info_ptr}) = tv_info_ptr toTypeVarPtr (GTV {tv_info_ptr}) = tv_info_ptr toTypeVarPtr (TQV {tv_info_ptr}) = tv_info_ptr +toTypeVarPtr _ = nilPtr assoc_list_lookup _ [] = No assoc_list_lookup t1 [hd=:(t2, _):tl] @@ -1141,7 +1143,7 @@ where initialTypeVarBeautifulizer :: TypeVarBeautifulizer initialTypeVarBeautifulizer - = { tvb_visited_typevars = [], tvb_fresh_vars = fresh_vars 'a' (-1) } + = { tvb_visited_typevars = [(nilPtr,"??")], tvb_fresh_vars = fresh_vars 'a' (-1) } where fresh_vars 'i' i = fresh_vars 'a' (i+1) |