diff options
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 d52e049f..451dee5e 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -810,6 +810,7 @@ let rec pp_format_annot_ascii = function | NoTyp -> "Nothing" | Base((targs,t),tag,nes,efct,efctsum,_) -> (*TODO print out bindings for use in pattern match in interpreter*) + (match tag with External (Some s) -> "("^s^") " | _ -> "") ^ "forall " ^ list_format ", " (function (i,k) -> kind_to_string k ^" '"^ i) targs ^ (match nes with [] -> "" | _ -> ", " ^ pp_format_nes_ascii nes) ^ ". " |