diff options
| author | Gabriel Kerneis | 2013-10-04 16:33:18 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-04 16:33:18 +0100 |
| commit | b1111c9c28e61ae1bb35a156ba1af74ca01bfc70 (patch) | |
| tree | 3f448d89aeacf1025c16385f914a8e209377c3ee /src | |
| parent | 1833a86e621413fe526315b26615ecc28242da28 (diff) | |
Missing case in pattern-matching
Diffstat (limited to 'src')
| -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 0612d78b..46484860 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -368,6 +368,7 @@ let rec pp_format_typ_lem (Typ_aux(t,_)) = (pp_format_effects_lem efct) ^ ")" | Typ_tup(typs) -> "(Typ_tup [" ^ (list_format "; " pp_format_typ_lem typs) ^ "])" | Typ_app(id,args) -> "(Typ_app " ^ (pp_format_id_lem id) ^ " [" ^ (list_format "; " pp_format_typ_arg_lem args) ^ "])" + | Typ_wild -> "Typ_wild" and pp_format_nexp_lem (Nexp_aux(n,_)) = match n with | Nexp_id(id) -> "(Nexp_id " ^ pp_format_id_lem id ^ ")" |