diff options
| author | Kathy Gray | 2014-07-02 14:25:55 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-02 14:26:18 +0100 |
| commit | 260d87c94c1b794265f30406b25ae6a01845b3c9 (patch) | |
| tree | 631569f77a9d7121e6fc94245d24f0dd358006a8 /src/pretty_print.ml | |
| parent | e197f0cc7057074714c6aa45a43b2a1f62d51f57 (diff) | |
Support implicit parameters, to get the length of an expected vector into functions like exts
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 5617e8c9..c70e18b7 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -204,7 +204,7 @@ let rec pp_format_t t = match t.t with | Tid i -> "(T_id \"" ^ i ^ "\")" | Tvar i -> "(T_var \"" ^ i ^ "\")" - | Tfn(t1,t2,e) -> "(T_fn " ^ (pp_format_t t1) ^ " " ^ (pp_format_t t2) ^ " " ^ pp_format_e e ^ ")" + | 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 \"" ^ i ^ "\" (T_args [" ^ list_format "; " pp_format_targ args ^ "]))" | Tabbrev(ti,ta) -> "(T_abbrev " ^ (pp_format_t ti) ^ " " ^ (pp_format_t ta) ^ ")" |