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 587, Thu Mar 30 09:01:52 2000 UTC revision 588, Fri Mar 31 09:00:02 2000 UTC
# Line 22  Line 22 
22      type members                        (* still conditional *)      type members                        (* still conditional *)
23      type exports                        (* still conditional *)      type exports                        (* still conditional *)
24    
25        type toolopt
26    
27      type complainer = string -> unit      type complainer = string -> unit
28    
29      (* getting elements of primitive types (pathnames and symbols) *)      (* getting elements of primitive types (pathnames and symbols) *)
# Line 60  Line 62 
62               mkpath: string -> pathname,               mkpath: string -> pathname,
63               group: pathname * region,               group: pathname * region,
64               class: cm_class option,               class: cm_class option,
65               tooloptions: string list option,               tooloptions: toolopt list option,
66               context: SrcPath.context }               context: SrcPath.context }
67          -> members          -> members
68      val members : members * members -> members      val members : members * members -> members
# Line 100  Line 102 
102      val ge : aexp * aexp -> exp      val ge : aexp * aexp -> exp
103      val eq : aexp * aexp -> exp      val eq : aexp * aexp -> exp
104      val ne : aexp * aexp -> exp      val ne : aexp * aexp -> exp
105    
106        (* tool options *)
107        val string : { name: string, mkpath: string -> pathname } -> toolopt
108        val subopts : { name: string, opts: toolopt list } -> toolopt
109  end  end
110    
111  structure CMSemant :> CM_SEMANT = struct  structure CMSemant :> CM_SEMANT = struct
# Line 125  Line 131 
131      type members = environment * pathname option -> MemberCollection.collection      type members = environment * pathname option -> MemberCollection.collection
132      type exports = environment -> SymbolSet.set      type exports = environment -> SymbolSet.set
133    
134        type toolopt = PrivateTools.toolopt
135    
136      type complainer = string -> unit      type complainer = string -> unit
137    
138      fun saveEval (exp, env, error) =      fun saveEval (exp, env, error) =
# Line 275  Line 283 
283      fun ge (e1, e2) e = e1 e >= e2 e      fun ge (e1, e2) e = e1 e >= e2 e
284      fun eq (e1: aexp, e2) e = e1 e = e2 e      fun eq (e1: aexp, e2) e = e1 e = e2 e
285      fun ne (e1: aexp, e2) e = e1 e <> e2 e      fun ne (e1: aexp, e2) e = e1 e <> e2 e
286    
287        val string = PrivateTools.STRING
288        val subopts = PrivateTools.SUBOPTS
289  end  end

Legend:
Removed from v.587  
changed lines
  Added in v.588

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