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

Diff of /driver/cduce.ml

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

revision 146 by abate, Tue Jul 10 17:10:20 2007 UTC revision 149 by abate, Tue Jul 10 17:10:34 2007 UTC
# Line 109  Line 109 
109        Format.fprintf ppf "[DEBUG:compile]@\n";        Format.fprintf ppf "[DEBUG:compile]@\n";
110        let t = Typer.typ !glb_env t        let t = Typer.typ !glb_env t
111        and pl = List.map (Typer.pat !glb_env) pl in        and pl = List.map (Typer.pat !glb_env) pl in
112        let pl = Array.of_list        Patterns.Compile.debug_compile ppf t pl
                  (List.map (fun p -> Patterns.Compile.normal  
                               (Patterns.descr p)) pl) in  
       Patterns.Compile.show ppf (Types.descr t) pl  
113    | `Normal_record t ->    | `Normal_record t ->
114        Format.fprintf ppf "[DEBUG:normal_record]@\n";        Format.fprintf ppf "[DEBUG:normal_record]@\n";
115        let t = Types.descr (Typer.typ !glb_env t) in        let t = Types.descr (Typer.typ !glb_env t) in
Legend:
Removed from v.146  
changed lines
  Added in v.149
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5