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/compiler/Semant/elaborate/elabutil.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/elaborate/elabutil.sml

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

revision 591, Mon Apr 3 01:19:20 2000 UTC revision 592, Mon Apr 3 07:04:12 2000 UTC
# Line 244  Line 244 
244    
245  exception NoCore  exception NoCore
246    
247  fun getCoreExn(coreEnv,name) =  fun getCoreExn(env,name) =
248      (case LU.lookVal(coreEnv,SP.SPATH[strSymbol "Core", varSymbol name],      (case LU.lookVal(env,SP.SPATH[CoreSym.coreSym, varSymbol name],
249                       fn _ => fn s => fn _ => raise NoCore)                       fn _ => fn s => fn _ => raise NoCore)
250         of V.CON x => x         of V.CON x => x
251          | _ => V.bogusEXN)          | _ => V.bogusEXN)
252      handle NoCore => V.bogusEXN      handle NoCore => V.bogusEXN
253    
254  fun completeMatch(coreEnv,name) =  fun completeMatch(env,name) =
255      completeMatch''      completeMatch''
256        (fn marker =>        (fn marker =>
257            RULE(WILDpat,            RULE(WILDpat,
258                 marker(RAISEexp(CONexp(getCoreExn(coreEnv,name),[]), UNDEFty))))                 marker(RAISEexp(CONexp(getCoreExn(env,name),[]), UNDEFty))))
259    
260  val trivialCompleteMatch = completeMatch(SE.empty,"Match")  val trivialCompleteMatch = completeMatch(SE.empty,"Match")
261    

Legend:
Removed from v.591  
changed lines
  Added in v.592

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