[r2005-01-03 15:57:23 by afrisch] Empty log message

Original author: afrisch
Date: 2005-01-03 15:57:23+00:00

driver/cduce.ml

@@ -38,6 +38,7 @@ let print_norm ppf d =
   Location.protect ppf 
     (fun ppf -> Types.Print.print ppf ((*Types.normalize*) d))
 
+
 let print_sample ppf s =
   Location.protect ppf
     (fun ppf -> Sample.print ppf s)
@@ -195,7 +196,10 @@ 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  
+      Location.protect ppf 
+	(fun ppf ->
 	   Patterns.Compile.debug_compile ppf t pl
+	)
 (*
        Patterns.demo_compile ppf (Types.descr t) (List.map Patterns.descr pl)  
 *)

web/demo.js

@@ -28,10 +28,7 @@ function defreq(pr)
 
 function submit(pr) {
  var xmlhttp = new XMLHttpRequest();
- netscape.security.PrivilegeManager.enablePrivilege(
-        'UniversalXPConnect UniversalBrowserAccess'
-  );
- xmlhttp.open("POST", "http://reglisse.ens.fr/evaluator" ,true);
+ xmlhttp.open("POST", "/cgi-bin/evaluator" ,true);
  xmlhttp.onreadystatechange=function() {
   if (xmlhttp.readyState==4) { show_result(pr,xmlhttp.responseText); }
  }