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 355, Sat Jun 26 13:17:30 1999 UTC revision 356, Sun Jun 27 11:51:16 1999 UTC
# Line 62  Line 62 
62    
63      (* constructing export lists *)      (* constructing export lists *)
64      val emptyExports : exports      val emptyExports : exports
65      val export : ml_symbol -> exports      val export : ml_symbol * complainer -> exports
66      val exports : exports * exports -> exports      val exports : exports * exports -> exports
67      val guarded_exports :      val guarded_exports :
68          exp * (exports * exports) * (string -> unit) -> exports          exp * (exports * exports) * (string -> unit) -> exports
# Line 211  Line 211 
211      fun error_member thunk env = (thunk (); env)      fun error_member thunk env = (thunk (); env)
212    
213      fun emptyExports env = SymbolSet.empty      fun emptyExports env = SymbolSet.empty
214      fun export s env = SymbolSet.singleton s      fun export (s, error) env =
215            if MemberCollection.ml_look env s then SymbolSet.singleton s
216            else (error (concat ["exported ",
217                                 Symbol.nameSpaceToString (Symbol.nameSpace s),
218                                 " not defined: ", Symbol.name s]);
219                  SymbolSet.empty)
220      fun exports (e1, e2) env = SymbolSet.union (e1 env, e2 env)      fun exports (e1, e2) env = SymbolSet.union (e1 env, e2 env)
221      fun guarded_exports (c, (e1, e2), error) env =      fun guarded_exports (c, (e1, e2), error) env =
222          if saveEval (c, env, error) then e1 env else e2 env          if saveEval (c, env, error) then e1 env else e2 env

Legend:
Removed from v.355  
changed lines
  Added in v.356

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