/[svn]/types/patterns.ml
ViewVC logotype

Diff of /types/patterns.ml

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

revision 233 by abate, Tue Jul 10 17:17:31 2007 UTC revision 240 by abate, Tue Jul 10 17:18:24 2007 UTC
# Line 370  Line 370 
370      let record =      let record =
371        match lab with        match lab with
372          | None ->          | None ->
             (* Should check that r has only empty_cases *)  
373              let (x,y) = Types.Record.empty_cases t in              let (x,y) = Types.Record.empty_cases t in
374              RecNolabel ((if x then Some empty_res else None),              RecNolabel ((if x then Some empty_res else None),
375                        (if y then Some empty_res else None))                        (if y then Some empty_res else None))
Legend:
Removed from v.233  
changed lines
  Added in v.240
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5