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 1945, Tue Jun 20 17:09:18 2006 UTC revision 1946, Tue Jun 20 22:15:23 2006 UTC
# Line 280  Line 280 
280          end          end
281    
282  fun matchTypes (spec, actual, dinfo, name) : (T.ty list * T.tyvar list) =  fun matchTypes (spec, actual, dinfo, name) : (T.ty list * T.tyvar list) =
283    if TU.compareTypes(spec, actual) then    if TU.compareTypes(spec, actual) then eqvTnspTy(spec, actual, dinfo)
        let val (insttys, btvs) = eqvTnspTy(spec, actual, dinfo)  
         in (insttys, btvs)  
        end  
284    else (err EM.COMPLAIN    else (err EM.COMPLAIN
285              "value type in structure doesn't match signature spec"              "value type in structure doesn't match signature spec"
286              (fn ppstrm =>              (fn ppstrm =>
# Line 842  Line 839 
839                     let val spectyp = typeInMatched("$specty(val/val)", spectyp)                     let val spectyp = typeInMatched("$specty(val/val)", spectyp)
840                         val acttyp = typeInOriginal("$actty(val/val)", acttyp)                         val acttyp = typeInOriginal("$actty(val/val)", acttyp)
841                         val dacc = DA.selAcc(rootAcc, actslot)                         val dacc = DA.selAcc(rootAcc, actslot)
842                         val dinfo = II.sel(rootInfo, actslot)                         val dinfo = II.selStrInfo(rootInfo, actslot)
843                         val (instys,btvs) =                         val (instys,btvs) =
844                           matchTypes(spectyp, acttyp, dinfo, sym)                           matchTypes(spectyp, acttyp, dinfo, sym)
845    

Legend:
Removed from v.1945  
changed lines
  Added in v.1946

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