src/Pure/ML-Systems/smlnj-pp-new.ML
author wenzelm
Sat, 11 Jun 2005 23:17:28 +0200
changeset 16374 f4b7cf8975af
parent 14519 4ca3608fdf4f
permissions -rw-r--r--
some cygwin support;

(*  Title:      Pure/ML-Systems/smlnj-pp-new.ML
    ID:         $Id$
    Author:     Sebastian Skalberg (TU Muenchen)

Installation of the pretty printer, using SML/NJ's new pretty printer
interface.
*)

fun make_pp path pprint =
  let
    open Compiler.PrettyPrint;

    fun pp pps obj =
      pprint obj
        (string pps, openHOVBox pps o Rel,
          fn wd => break pps {nsp=wd, offset=0}, fn () => newline pps,
          fn () => closeBox pps);
  in
    (path, pp)
  end;