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 /MLRISC/releases/release-110.60/library/annotations.sig
ViewVC logotype

Diff of /MLRISC/releases/release-110.60/library/annotations.sig

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

revision 245, Sat Apr 17 18:47:12 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 5  Line 5 
5   *  the optimizer.   *  the optimizer.
6   *   *
7   *  Idea is stolen from Stephen Weeks   *  Idea is stolen from Stephen Weeks
8     *
9     *  -- Allen
10   *)   *)
11    
12  signature ANNOTATIONS =  signature ANNOTATIONS =
# Line 14  Line 16 
16     type annotations = annotation list     type annotations = annotation list
17    
18     (*     (*
     * The only predefined annotation is comment, which has no semantics.  
     * The user has to generate other annotations using exception  
     * declarations, or use the 'new' function below.  
     *)  
    exception COMMENT of string  
   
    (*  
19      * Generate a new annotation      * Generate a new annotation
20      *)      *)
21     val new : unit -> { get : annotations -> 'a option,     val new : unit -> { get : annotations -> 'a option,
# Line 40  Line 35 
35      *)      *)
36     val toString : annotation -> string     val toString : annotation -> string
37    
 end  
   
38  (*  (*
39   * $Log$      * Register new a pretty printer.
40        * The pretty printer should raises an exception (any) if it cannot
41        * handle the annotation given.
42   *)   *)
43       val attachPrettyPrinter : (annotation -> string) -> unit
44    
45    end

Legend:
Removed from v.245  
changed lines
  Added in v.411

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