diff options
| author | Kathy Gray | 2014-03-11 17:57:06 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-11 17:57:19 +0000 |
| commit | 9abe43c6edb3439c23490d09cae4b71ed64c98db (patch) | |
| tree | a4f14d3e7f60da51427097727a131d6bff640d13 /src/pretty_print.ml | |
| parent | 307f5de155fd11bbd0006bbe518fde0213fa2d9c (diff) | |
Change treatment of type abbreviations so that name and full type are available for field lookups of registers; this feature still not fully working.
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 7ee110d3..5d6e45e7 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -531,6 +531,7 @@ let rec pp_format_t t = | Tfn(t1,t2,e) -> "(T_fn " ^ (pp_format_t t1) ^ " " ^ (pp_format_t t2) ^ " " ^ pp_format_e e ^ ")" | Ttup(tups) -> "(T_tup [" ^ (list_format "; " pp_format_t tups) ^ "])" | Tapp(i,args) -> "(T_app (Id_aux (Id \"" ^ i ^ "\") Unknown) (T_args [" ^ list_format "; " pp_format_targ args ^ "]))" + | Tabbrev(ti,ta) -> "(T_abbrev " ^ (pp_format_t ti) ^ " " ^ (pp_format_t ta) ^ ")" | Tuvar(_) -> "(T_var (Kid_aux (Var \"fresh_v\") Unknown))" and pp_format_targ = function | TA_typ t -> "(T_arg_typ " ^ pp_format_t t ^ ")" |