diff options
| author | Alasdair | 2019-02-01 22:09:37 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-01 22:09:37 +0000 |
| commit | 2f8dd66dcaec500561f8736c98bebf65938fa608 (patch) | |
| tree | 5f11a7b50d5992bf6e21cc3c6b1f98b1e8ff3080 /src/rewrites.ml | |
| parent | 3532bc0bbc9015de6d1734ecaf9240b389a5a1e7 (diff) | |
Fix missing typedef cases in OCaml output
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 67b6518f..f8146a72 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2329,6 +2329,8 @@ let rewrite_type_def_typs rw_typ rw_typquant (TD_aux (td, annot)) = match td with | TD_abbrev (id, typq, A_aux (A_typ typ, l)) -> TD_aux (TD_abbrev (id, rw_typquant typq, A_aux (A_typ (rw_typ typ), l)), annot) + | TD_abbrev (id, typq, typ_arg) -> + TD_aux (TD_abbrev (id, rw_typquant typq, typ_arg), annot) | TD_record (id, typq, typ_ids, flag) -> TD_aux (TD_record (id, rw_typquant typq, List.map (fun (typ, id) -> (rw_typ typ, id)) typ_ids, flag), annot) | TD_variant (id, typq, tus, flag) -> |