diff options
| author | Alasdair Armstrong | 2017-11-16 15:26:31 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 15:26:31 +0000 |
| commit | 6921b3107088f43b38eadcd841384deff00e340e (patch) | |
| tree | db28456bfd14b76aac2776920ec402b83a086625 /src/pretty_print_ocaml.ml | |
| parent | 9a5bd2079a5fe42bde4c207851c2c3b1fd0035b7 (diff) | |
Remove unused Typ_wild constructor
Diffstat (limited to 'src/pretty_print_ocaml.ml')
| -rw-r--r-- | src/pretty_print_ocaml.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pretty_print_ocaml.ml b/src/pretty_print_ocaml.ml index b1238f8a..74461aab 100644 --- a/src/pretty_print_ocaml.ml +++ b/src/pretty_print_ocaml.ml @@ -112,7 +112,6 @@ let doc_typ_ocaml, doc_atomic_typ_ocaml = and atomic_typ ((Typ_aux (t, _)) as ty) = match t with | Typ_id id -> doc_id_ocaml_type id | Typ_var v -> doc_var v - | Typ_wild -> underscore | Typ_app _ | Typ_tup _ | Typ_fn _ -> (* exhaustiveness matters here to avoid infinite loops * if we add a new Typ constructor *) |