[r2004-12-27 16:10:37 by afrisch] typo

Original author: afrisch
Date: 2004-12-27 16:10:37+00:00

driver/cduce.ml

@@ -194,8 +194,8 @@ let debug ppf tenv cenv = function
       Format.fprintf ppf "[DEBUG:compile]@.";
       let t = Typer.typ tenv t
       and pl = List.map (Typer.pat tenv) pl in
-      Patterns.Compile.debug_compile ppf t pl
-(*       Patterns.demo_compile ppf (Types.descr t) (List.map Patterns.descr pl)  *)
+(*      Patterns.Compile.debug_compile ppf t pl *)
+       Patterns.demo_compile ppf (Types.descr t) (List.map Patterns.descr pl)  
   | `Explain (t,e) ->
       Format.fprintf ppf "[DEBUG:explain]@.";
       let t = Typer.typ tenv t in

types/patterns.ml

@@ -1198,7 +1198,7 @@ struct
       match disp.label with
 	| None -> 
 	    let (some,none) = Types.Record.empty_cases t in
-	    let some = aux some 
+	    let some =
 	      if some then 
 		let pl = Array.map (fun p -> match p.Normal.nrecord with
 				      | Normal.RecNolabel (Some x,_) -> [x]