Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/smlnj-lib/PP/src/pp-desc.sml
ViewVC logotype

View of /sml/trunk/src/smlnj-lib/PP/src/pp-desc.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (21 years, 4 months ago) by monnier
File size: 954 byte(s)
bring revisions from the vendor branch to the trunk
(* pp-desc.sml
 *
 * COPYRIGHT (c) 1999 Bell Labs, Lucent Technologies.
 *
 * A tree representation of pretty printing directives.
 *)

structure PPDesc =
  struct

    datatype indent
      = Abs of int		(* indent relative to outer indentation *)
      | Rel of int		(* indent relative to start of box *)

  (* The pp_desc type is parameterized over the token, style, and device
   * types.
   *)
    datatype ('tok, 'sty, 'dev) pp_desc
      = HBox of ('tok, 'sty, 'dev) pp_desc list
      | VBox of (indent * ('tok, 'sty, 'dev) pp_desc list)
      | HVBox of (indent * ('tok, 'sty, 'dev) pp_desc list)
      | HOVBox of (indent * ('tok, 'sty, 'dev) pp_desc list)
      | Box of (indent * ('tok, 'sty, 'dev) pp_desc list)
      | Token of 'tok
      | String of string
      | Style of ('sty * ('tok, 'sty, 'dev) pp_desc list)
      | Break of {nsp : int, offset : int}
      | NewLine
      | NBSpace of int
      | Control of ('dev -> unit)

  end;


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0