Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

prints (* abstract *) for abstract types

  • Loading branch information...
commit 6184d2cd993b5f8554d1fed236ab25718ae8a6f0 1 parent 96e0e0f
@camlspotter camlspotter authored
Showing with 6 additions and 2 deletions.
  1. +2 −1  .gitignore
  2. +4 −1 cli.ml
View
3  .gitignore
@@ -10,4 +10,5 @@
*.o
*-runner
config-test.txt
-modules.txt
+modules.txt
+
View
5 cli.ml
@@ -56,6 +56,7 @@ let analyze_pkind (id, pkind) = match pkind with
(* module O = Outcometree --- We cannot do this! Since outcometree is mli only...
*)
open Outcometree
+open Types
let format ppf = function
| `Value (id, (type_, _loc)) ->
@@ -81,7 +82,9 @@ let format ppf = function
Osig_type (odecl, ors)
| _ -> assert false
in
- !Oprint.out_sig_item ppf o
+ !Oprint.out_sig_item ppf o;
+ if td.type_manifest = None && td.type_kind = Type_abstract then
+ fprintf ppf " (* abstract *)"
| `Module id ->
fprintf ppf "module %a" Printtyp.longident id
| `ModuleType id ->
Please sign in to comment.
Something went wrong with that request. Please try again.