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/SMLNJ/src/compiler/Semant/types/typesutil.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/types/typesutil.sml

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

revision 142, Mon Sep 7 21:37:09 1998 UTC revision 143, Mon Sep 7 21:46:44 1998 UTC
# Line 246  Line 246 
246                else (eq(reduceType ty, ty')                else (eq(reduceType ty, ty')
247                      handle ReduceType =>                      handle ReduceType =>
248                        (eq(ty,reduceType ty') handle ReduceType => false))                        (eq(ty,reduceType ty') handle ReduceType => false))
249            | eq(ty1 as VARty _, ty2 as CONty _) =            | eq(ty1 as (VARty _ | IBOUND _), ty2 as CONty _) =
250                (eq(ty1,reduceType ty2)                (eq(ty1,reduceType ty2)
251                 handle ReduceType => false)                 handle ReduceType => false)
252            | eq(ty1 as CONty _, ty2 as VARty _) =            | eq(ty1 as CONty _, ty2 as (VARty _ | IBOUND _)) =
253                (eq(reduceType ty1, ty2)                (eq(reduceType ty1, ty2)
254                 handle ReduceType => false)                 handle ReduceType => false)
255            | eq(WILDCARDty,_) = true            | eq(WILDCARDty,_) = true
# Line 865  Line 865 
865  end (* structure TypesUtil *)  end (* structure TypesUtil *)
866    
867    
 (*  
  * $Log: typesutil.sml,v $  
  * Revision 1.3  1998/05/23 14:10:19  george  
  *   Fixed RCS keyword syntax  
  *  
  *)  

Legend:
Removed from v.142  
changed lines
  Added in v.143

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