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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/library/annotations.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/library/annotations.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 470, Wed Nov 10 22:42:52 1999 UTC revision 545, Thu Feb 24 13:56:44 2000 UTC
# Line 34  Line 34 
34      * Client should provide a pretty printing function.      * Client should provide a pretty printing function.
35      *)      *)
36     val new : ('a -> string) option -> 'a property     val new : ('a -> string) option -> 'a property
37     val newFlag : string -> flag     val new' : {toString: 'a -> string,
38                   get     : exn -> 'a,
39                   create  : 'a -> exn
40                  } -> 'a property
41    
42     (*     (*
43      * Pretty print an annotation      * Pretty print an annotation
44      *)      *)
45     val toString : annotation -> string     val toString : annotation -> string
46    
47       (*
48        * Attach a pretty printer
49        *)
50       val attachPrettyPrinter : (annotation -> string) -> unit
51    
52  end  end

Legend:
Removed from v.470  
changed lines
  Added in v.545

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