diff options
| author | Gabriel Kerneis | 2014-07-14 15:36:40 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-07-14 15:36:40 +0100 |
| commit | 7906ee2e41610382d67e74856d3691258082f27f (patch) | |
| tree | 62bf8eef2ccb79c5d360cf9f35d06595bd488211 /src | |
| parent | ca08c98c36a11e9c80c35e616347d26a0426a3c6 (diff) | |
Alias pretty-printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index a537ff46..ea6a893b 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1041,9 +1041,10 @@ let doc_alias (AL_aux (alspec,_)) = let doc_dec (DEC_aux (reg,_)) = match reg with | DEC_reg(typ,id) -> separate space [string "register"; doc_atomic_typ typ; doc_id id] - | DEC_alias(id,alspec) -> separate space [string "register"; string "alias"; doc_id id; equals; doc_alias alspec] + | DEC_alias(id,alspec) -> + doc_op equals (string "register alias" ^^ space ^^ doc_id id) (doc_alias alspec) | DEC_typ_alias(typ,id,alspec) -> - separate space [string "register"; string "alias"; doc_atomic_typ typ; doc_id id; equals; doc_alias alspec] + doc_op equals (string "register alias" ^^ space ^^ doc_atomic_typ typ) (doc_alias alspec) let doc_scattered (SD_aux (sdef, _)) = match sdef with | SD_scattered_function (r, typa, efa, id) -> |