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

Diff of /sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml

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

revision 1369, Sat Sep 13 23:11:20 2003 UTC revision 1370, Mon Sep 15 03:38:25 2003 UTC
# Line 186  Line 186 
186            | _ =>insttys0)            | _ =>insttys0)
187  *)  *)
188        val insttys =        val insttys =
189    (* PRIMOP: ii2ty no longer exists --
190            case INS.Param.ii2ty dinfo of            case INS.Param.ii2ty dinfo of
191                SOME st =>                SOME st =>
192                (let val (actinst', insttys') = TU.instantiatePoly st                (let val (actinst', insttys') = TU.instantiatePoly st
# Line 193  Line 194 
194                     Unify.unifyTy(actinst', actinst) handle _ => ();                     Unify.unifyTy(actinst', actinst) handle _ => ();
195                     insttys'                     insttys'
196                 end)                 end)
197              | NONE =>insttys0              | NONE => *) insttys0
198    
199        val res = (Unify.unifyTy(actinst, specinst); true) handle _ => false        val res = (Unify.unifyTy(actinst, specinst); true) handle _ => false
200    
# Line 230  Line 231 
231                 end)                 end)
232            | _ =>insttys)            | _ =>insttys)
233  *)  *)
234    (* PRIMOP: ii2ty no longer exists ---
235        val insttys =        val insttys =
236            case INS.Param.ii2ty dinfo of            case INS.Param.ii2ty dinfo of
237                SOME st =>                SOME st =>
# Line 239  Line 241 
241                     insttys'                     insttys'
242                 end)                 end)
243              | NONE =>insttys              | NONE =>insttys
244    *)
245        val (specinst, stys) = TU.instantiatePoly spec        val (specinst, stys) = TU.instantiatePoly spec
246        val _ = ((Unify.unifyTy(actinst, specinst))        val _ = ((Unify.unifyTy(actinst, specinst))
247                 handle _ => bug "unexpected types in eqvTnspTy")                 handle _ => bug "unexpected types in eqvTnspTy")

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

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