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/ml-nlffigen/gen.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/gen.sml

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

revision 1063, Wed Feb 13 21:41:53 2002 UTC revision 1064, Thu Feb 14 03:40:24 2002 UTC
# Line 314  Line 314 
314                                          | SOME t => ty (t, a')                                          | SOME t => ty (t, a')
315                      val (f, s, u) = a''                      val (f, s, u) = a''
316                      val cfth = hash_cft cft                      val cfth = hash_cft cft
317                        val i = IM.numItems f
318                  in                  in
319                      (IM.insert (f, cfth, (cft, IM.numItems f)), s, u)                      if IM.inDomain (f, cfth) then (f, s, u)
320                        else (IM.insert (f, cfth, (cft, i)), s, u)
321                  end                  end
322              fun fs (S.OFIELD { spec = (_, t), ... }, a) = ty (t, a)              fun fs (S.OFIELD { spec = (_, t), ... }, a) = ty (t, a)
323                | fs (_, a) = a                | fs (_, a) = a

Legend:
Removed from v.1063  
changed lines
  Added in v.1064

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