/[svn]/driver/cduce.ml
ViewVC logotype

Diff of /driver/cduce.ml

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

revision 160 by abate, Tue Jul 10 17:11:34 2007 UTC revision 161 by abate, Tue Jul 10 17:11:37 2007 UTC
# Line 114  Line 114 
114        Format.fprintf ppf "[DEBUG:normal_record]@\n";        Format.fprintf ppf "[DEBUG:normal_record]@\n";
115        let t = Types.Record.get (Types.descr (Typer.typ !glb_env t)) in        let t = Types.Record.get (Types.descr (Typer.typ !glb_env t)) in
116        match Types.Record.first_label t with        match Types.Record.first_label t with
117              | `Fail -> Format.fprintf ppf "Empty"              | `Fail -> Format.fprintf ppf "Empty@\n"
118              | `Success -> Format.fprintf ppf "{ }"              | `Success -> Format.fprintf ppf "{ }@\n"
119              | `NoField -> Format.fprintf ppf "{| |}"              | `NoField -> Format.fprintf ppf "{| |}@\n"
120              | `SomeField -> Format.fprintf ppf "{ } \ {| |}"              | `SomeField -> Format.fprintf ppf "{ } \ {| |}@\n"
121              | `Label l ->              | `Label l ->
122                  let (pr,ab) = Types.Record.normal' t l in                  let (pr,ab) = Types.Record.normal' t l in
123                  Format.fprintf ppf "Label (%s,@[" (Types.LabelPool.value l);                  Format.fprintf ppf "Label (%s,@[" (Types.LabelPool.value l);
Legend:
Removed from v.160  
changed lines
  Added in v.161
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5