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/FLINT/trans/pequal.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/trans/pequal.sml

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

revision 2452, Wed Apr 25 22:46:41 2007 UTC revision 2453, Thu Apr 26 03:06:25 2007 UTC
# Line 257  Line 257 
257               | (YES, ABSTRACT tyc') => test (CONty (tyc', tyl), depth)               | (YES, ABSTRACT tyc') => test (CONty (tyc', tyl), depth)
258    
259               | (ABS,_) =>               | (ABS,_) =>
260                 test(TU.mkCONty(GENtyc{eq=ref YES,stamp=stamp,arity=arity,                 test(T.CONty(GENtyc{eq=ref YES,stamp=stamp,arity=arity,
261                                        kind=kind,path=path,stub=NONE}, tyl),                                        kind=kind,path=path,stub=NONE}, tyl),
262                      depth)                      depth)
263               (* assume that an equality datatype has been converted               (* assume that an equality datatype has been converted

Legend:
Removed from v.2452  
changed lines
  Added in v.2453

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