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/Semant/types/overload.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/types/overload.sml

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

revision 586, Thu Mar 30 05:08:07 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 67  Line 67 
67                             then (case tycon                             then (case tycon
68                                     of DEFtyc _ =>                                     of DEFtyc _ =>
69                                         scan eq (TU.headReduceType ty)                                         scan eq (TU.headReduceType ty)
70                                      | GENtyc{eq=eqp,...} =>                                      | GENtyc gt =>
71                                         (case !eqp                                         (case ! (#eq gt)
72                                            of YES => app (scan eq) args                                            of YES => app (scan eq) args
73                                             | OBJ => app (scan false) args                                             | OBJ => app (scan false) args
74                                                (* won't happen *)                                                (* won't happen *)

Legend:
Removed from v.586  
changed lines
  Added in v.587

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