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 2388, Sat Apr 7 14:10:04 2007 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 305  Line 305 
305     * matching is equivalent to equalTypes(spec,actual). [dbm: 7/7/06]     * matching is equivalent to equalTypes(spec,actual). [dbm: 7/7/06]
306     *)     *)
307    fun matchTypes (spec, actual, name) : T.tyvar list * T.tyvar list =    fun matchTypes (spec, actual, name) : T.tyvar list * T.tyvar list =
308        case TU.matchInstTypes(spec, actual)        case TU.matchInstTypes(false, spec, actual)
309         of SOME(btvs,ptvs) => (btvs,ptvs)         of SOME(btvs,ptvs) => (btvs,ptvs)
310          | NONE =>          | NONE =>
311            (err EM.COMPLAIN            (err EM.COMPLAIN

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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