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/branches/primop-branch-3/compiler/Elaborator/modules/sigmatch.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/modules/sigmatch.sml

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

revision 2560, Wed May 16 22:24:49 2007 UTC revision 2561, Thu May 17 03:41:11 2007 UTC
# Line 83  Line 83 
83        structure EPC = EntPathContext        structure EPC = EntPathContext
84        structure EU = ElabUtil        structure EU = ElabUtil
85        structure INS = EV.Instantiate        structure INS = EV.Instantiate
       (* structure II = InlInfo *)  
86        structure IP = InvPath        structure IP = InvPath
87        structure M  = Modules        structure M  = Modules
88        structure MU = ModuleUtil        structure MU = ModuleUtil
# Line 1594  Line 1593 
1593   *                                        resStr : Modules.Structure,      *   *                                        resStr : Modules.Structure,      *
1594   *                                        resExp : Modules.strExp}         *   *                                        resExp : Modules.strExp}         *
1595   *                                                                         *   *                                                                         *
1596   * Matches and coerces the argument and then do the functor application.   *   * Match and coerce the argument and then do the functor application.      *
1597   * Returns the result structure, the result entity expression, and the     *   * Returns the result structure, the result entity expression, and the     *
1598   * result abstract syntax declaration of resStr.                           *   * result abstract syntax declaration of resStr.                           *
1599   *                                                                         *   *                                                                         *
# Line 1604  Line 1603 
1603   ***************************************************************************)   ***************************************************************************)
1604  and applyFct{fct as FCT {sign=FSIG{paramsig, bodysig, ...},  and applyFct{fct as FCT {sign=FSIG{paramsig, bodysig, ...},
1605                           rlzn = fctRlzn, ... },                           rlzn = fctRlzn, ... },
1606               fctExp, argStr, argExp, evOp, epc, tdepth, statenv, rpath, region,               fctExp, argStr, argExp, evOp, epc, tdepth,
1607                 statenv, rpath, region,
1608               compInfo as {mkStamp, mkLvar=mkv, ...}} =               compInfo as {mkStamp, mkLvar=mkv, ...}} =
1609    let val {closure=CLOSURE {env=fctEntEnv, ... }, ... } = fctRlzn    let val {closure=CLOSURE {env=fctEntEnv, ... }, ... } = fctRlzn
1610        val _ = debugmsg ">>applyFct"        val _ = debugmsg ">>applyFct"

Legend:
Removed from v.2560  
changed lines
  Added in v.2561

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