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

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

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

revision 398, Wed Aug 25 15:36:43 1999 UTC revision 433, Mon Sep 13 06:57:29 1999 UTC
# Line 183  Line 183 
183    
184      local      local
185          fun symenv_look (gp: GeneralParams.info) (c: collection) s =          fun symenv_look (gp: GeneralParams.info) (c: collection) s =
186              SymVal.look (#symenv (#param gp)) s              #get (#symval (#param gp) s) ()
187      in      in
188          fun num_look gp c s = getOpt (symenv_look gp c s, 0)          fun num_look gp c s = getOpt (symenv_look gp c s, 0)
189          fun cm_look gp c s = isSome (symenv_look gp c s)          fun cm_look gp c s = isSome (symenv_look gp c s)

Legend:
Removed from v.398  
changed lines
  Added in v.433

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