Commit eae01f30 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: afrisch
Date: 2005-01-03 15:57:23+00:00
parent 70fed3a6
......@@ -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)
*)
......
......@@ -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); }
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment