Permalink
Browse files

Pretty-print typebase values opaquely in Poly/ML.

  • Loading branch information...
1 parent 4c35a52 commit 88ef143acf96764fa5ec96df00ca2da6bb3aef95 @mn200 mn200 committed Jul 24, 2013
Showing with 3 additions and 1 deletion.
  1. +3 −1 tools-poly/prelude.ML
View
@@ -24,6 +24,7 @@ val _ = let
end
fun ppg pps g = term_grammar.prettyprint_grammar gprint pps g
fun locpp pps l = PP.add_string pps (locn.toShortString l)
+ fun tybpp pps (t:TypeBasePure.typeBase) = PP.add_string pps "<typeBase>"
open PolyML
val version_string_w1 =
hd (String.tokens Char.isSpace Compiler.compilerVersion)
@@ -62,7 +63,8 @@ in
install_pp (pp2polypp (with_pp Arbnum.pp_num));
install_pp (pp2polypp (with_pp Arbint.pp_int));
install_pp (pp2polypp (with_pp Arbrat.pp_rat));
- install_pp (pp2polypp (with_pp locpp))
+ install_pp (pp2polypp (with_pp locpp));
+ install_pp (pp2polypp (with_pp tybpp))
end
(*---------------------------------------------------------------------------*

0 comments on commit 88ef143

Please sign in to comment.