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/cm/semant/semant.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/semant/semant.sml

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

revision 735, Tue Nov 21 12:15:55 2000 UTC revision 756, Thu Dec 14 16:01:33 2000 UTC
# Line 73  Line 73 
73                    group,                    group,
74            load_plugin: SrcPath.dir -> string -> bool }            load_plugin: SrcPath.dir -> string -> bool }
75          -> { name: string,          -> { name: string,
76               mkpath: string -> SrcPath.prefile,               mkpath: unit -> SrcPath.prefile,
77               group: SrcPath.file * region,               group: SrcPath.file * region,
78               class: cm_class option,               class: cm_class option,
79               tooloptions: toolopt list option,               tooloptions: toolopt list option,
# Line 132  Line 132 
132      val eq : aexp * eqsym * aexp -> exp      val eq : aexp * eqsym * aexp -> exp
133    
134      (* tool options *)      (* tool options *)
135      val string : { name: string, mkpath: string -> SrcPath.prefile } -> toolopt      val string : { name: string, mkpath: unit -> SrcPath.prefile } -> toolopt
136      val subopts : { name: string, opts: toolopt list } -> toolopt      val subopts : { name: string, opts: toolopt list } -> toolopt
137  end  end
138    

Legend:
Removed from v.735  
changed lines
  Added in v.756

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