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-2/src/compiler/Elaborator/modules/sigmatch.sml
ViewVC logotype

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

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

revision 1951, Wed Jul 5 21:31:22 2006 UTC revision 1952, Thu Jul 6 03:07:18 2006 UTC
# Line 293  Line 293 
293  It should prune (if necessary).  It should prune (if necessary).
294  Test for whether actual type was a polytype reduces to testing whether  Test for whether actual type was a polytype reduces to testing whether
295  actual type produces and generic instantiation metavariables (i.e. null test).  actual type produces and generic instantiation metavariables (i.e. null test).
296    
297      gk: compareTypes does pruning.
298  *)  *)
299    
300    fun matchTypes (spec, actual, dinfo, name) : bool =    fun matchTypes (spec, actual, dinfo, name) : bool =
301        TU.compareTypes(spec, actual)        TU.compareTypes(spec, actual)
302  (*    if TU.compareTypes(spec, actual) then eqvTnspTy(spec, actual, dinfo) *)  (*    if TU.compareTypes(spec, actual) then eqvTnspTy(spec, actual, dinfo) *)
# Line 877  Line 880 
880                                      val specvar =                                      val specvar =
881                                        VALvar{path=spath, typ=ref spectyp,                                        VALvar{path=spath, typ=ref spectyp,
882                                               access=acc, info=dinfo}                                               access=acc, info=dinfo}
                                     (** This seems a bit sensitive. Here, a VB  
                                         is constructed with a VARexp field that  
                                         gets its instys from a matchTypes call  
                                         -GK *)  
883                                      val vb =                                      val vb =
884                                        A.VB {pat=A.VARpat specvar,                                        A.VB {pat=A.VARpat specvar,
885                                              exp=A.VARexp(ref actvar, actParamTvs),                                              exp=A.VARexp(ref actvar, actParamTvs),

Legend:
Removed from v.1951  
changed lines
  Added in v.1952

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