Commit f603a202 authored by Francois Bobot's avatar Francois Bobot

dynlink : correction de l'oublie de dynlink dans main

parent 95fbac83
......@@ -16,12 +16,16 @@
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
(* *)
(**************************************************************************)
# 19 "src/util/dynlink_compat.ml.in"
# 19 "src/driver/dynlink_compat.ml.in"
module Dynlink_ =
struct
let is_native = true (* Dumb value *)
let loadfile_private _ = assert false (* Shouldn't be used *)
type error
exception Error of error
let error_message : error -> string = fun _ -> assert false
end
module Dynlink =
......
......@@ -4,4 +4,8 @@ module Dynlink :
val is_native_not_defined : bool
val is_native : bool
val loadfile_private : string -> unit
type error
exception Error of error
val error_message : error -> string
end
......@@ -126,8 +126,8 @@ let rec report fmt = function
fprintf fmt "anomaly: unknownident %s" i.Ident.id_short
| Driver.Error e ->
Driver.report fmt e
(* | Dynlink.Error e -> *)
(* fprintf fmt "Dynlink : %s" (Dynlink.error_message e) *)
| Dynlink_compat.Dynlink.Error e ->
fprintf fmt "Dynlink : %s" (Dynlink_compat.Dynlink.error_message e)
| e -> fprintf fmt "anomaly: %s" (Printexc.to_string e)
(*
......
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