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 1370, Mon Sep 15 03:38:25 2003 UTC revision 1374, Mon Sep 15 22:17:10 2003 UTC
# Line 186  Line 186 
186            | _ =>insttys0)            | _ =>insttys0)
187  *)  *)
188        val insttys =        val insttys =
 (* PRIMOP: ii2ty no longer exists --  
189            case INS.Param.ii2ty dinfo of            case INS.Param.ii2ty dinfo of
190                SOME st =>                SOME st =>
191                (let val (actinst', insttys') = TU.instantiatePoly st                (let val (actinst', insttys') = TU.instantiatePoly st
# Line 194  Line 193 
193                     Unify.unifyTy(actinst', actinst) handle _ => ();                     Unify.unifyTy(actinst', actinst) handle _ => ();
194                     insttys'                     insttys'
195                 end)                 end)
196              | NONE => *) insttys0              | NONE =>insttys0
197    
198        val res = (Unify.unifyTy(actinst, specinst); true) handle _ => false        val res = (Unify.unifyTy(actinst, specinst); true) handle _ => false
199    
# Line 231  Line 230 
230                 end)                 end)
231            | _ =>insttys)            | _ =>insttys)
232  *)  *)
 (* PRIMOP: ii2ty no longer exists ---  
233        val insttys =        val insttys =
234            case INS.Param.ii2ty dinfo of            case INS.Param.ii2ty dinfo of
235                SOME st =>                SOME st =>
# Line 241  Line 239 
239                     insttys'                     insttys'
240                 end)                 end)
241              | NONE =>insttys              | NONE =>insttys
242  *)  
243        val (specinst, stys) = TU.instantiatePoly spec        val (specinst, stys) = TU.instantiatePoly spec
244        val _ = ((Unify.unifyTy(actinst, specinst))        val _ = ((Unify.unifyTy(actinst, specinst))
245                 handle _ => bug "unexpected types in eqvTnspTy")                 handle _ => bug "unexpected types in eqvTnspTy")

Legend:
Removed from v.1370  
changed lines
  Added in v.1374

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