diff options
| author | Kathy Gray | 2014-04-10 15:05:17 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-10 15:05:17 +0100 |
| commit | 5e9f4c46b55c527fe639ae88a78fd6386c31756b (patch) | |
| tree | ff335ad23bb63b08fee49bd152050430ce2ad9cc /src/pretty_print.ml | |
| parent | b385a0e971fe433036a74c84b069fc271f6c658a (diff) | |
more constraint resolution; and turning off some assert falses until I find out why unification isn't being forced everywhere it needs to
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 5f86b2ed..cfefd4d0 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -544,7 +544,7 @@ let rec pp_format_t t = | 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) ^ ")" - | Tuvar(_) -> assert false (*"(T_var (Kid_aux (Var \"fresh_v\") Unknown))"*) + | Tuvar(_) -> "(T_var (Kid_aux (Var \"fresh_v\") Unknown))" and pp_format_targ = function | TA_typ t -> "(T_arg_typ " ^ pp_format_t t ^ ")" | TA_nexp n -> "(T_arg_nexp " ^ pp_format_n n ^ ")" |