|
@@ -1484,7 +1484,7 @@ try
|
|
|
end else begin
|
|
|
ctx.setup();
|
|
|
Common.log com ("Classpath : " ^ (String.concat ";" com.class_path));
|
|
|
- Common.log com ("Defines : " ^ (String.concat ";" (PMap.foldi (fun v _ acc -> v :: acc) com.defines [])));
|
|
|
+ Common.log com ("Defines : " ^ (String.concat ";" (PMap.foldi (fun k v acc -> (match v with "1" -> k | _ -> k ^ "=" ^ v) :: acc) com.defines [])));
|
|
|
let t = Common.timer "typing" in
|
|
|
Typecore.type_expr_ref := (fun ctx e with_type -> Typer.type_expr ctx e with_type);
|
|
|
let tctx = Typer.create com in
|