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/elaborate/elabtype.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Elaborator/elaborate/elabtype.sml

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

revision 1334, Thu May 22 22:46:30 2003 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 96  Line 96 
96           | checkrec(_,SOME typ) =           | checkrec(_,SOME typ) =
97               let fun findname(VarTy _) = ()               let fun findname(VarTy _) = ()
98                     | findname(ConTy([co],ts)) =                     | findname(ConTy([co],ts)) =
99                         if co = name then (raise ISREC)                         if Symbol.eq (co,name) then (raise ISREC)
100                         else app findname ts                         else app findname ts
101                     | findname(ConTy(_,ts)) = app findname ts                     | findname(ConTy(_,ts)) = app findname ts
102                     | findname(RecordTy lbs) = app (fn (_,t) => findname t) lbs                     | findname(RecordTy lbs) = app (fn (_,t) => findname t) lbs

Legend:
Removed from v.1334  
changed lines
  Added in v.1335

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