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_sail2.ml | |
| parent | 9a5bd2079a5fe42bde4c207851c2c3b1fd0035b7 (diff) | |
Remove unused Typ_wild constructor
Diffstat (limited to 'src/pretty_print_sail2.ml')
| -rw-r--r-- | src/pretty_print_sail2.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pretty_print_sail2.ml b/src/pretty_print_sail2.ml index ce64d1b4..56560de2 100644 --- a/src/pretty_print_sail2.ml +++ b/src/pretty_print_sail2.ml @@ -83,7 +83,6 @@ let rec doc_typ (Typ_aux (typ_aux, _)) = | Typ_app (id, typs) -> doc_id id ^^ parens (separate_map (string ", ") doc_typ_arg typs) | Typ_tup typs -> parens (separate_map (string ", ") doc_typ typs) | Typ_var kid -> doc_kid kid - | Typ_wild -> assert false (* Resugar set types like {|1, 2, 3|} *) | Typ_exist ([kid1], NC_aux (NC_set (kid2, ints), _), Typ_aux (Typ_app (id, [Typ_arg_aux (Typ_arg_nexp (Nexp_aux (Nexp_var kid3, _)), _)]), _)) when Kid.compare kid1 kid2 == 0 && Kid.compare kid2 kid3 == 0 && Id.compare (mk_id "atom") id == 0 -> |