diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/callback.ml | 2 | ||||
| -rw-r--r-- | stdlib/obj.ml | 2 | ||||
| -rw-r--r-- | stdlib/parsing.ml | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/callback.ml b/stdlib/callback.ml index 5e19cdbdc..91e396553 100644 --- a/stdlib/callback.ml +++ b/stdlib/callback.ml @@ -19,5 +19,5 @@ external register_named_value: string -> Obj.t -> unit = "register_named_value" let register name v = register_named_value name (Obj.repr v) -let register_exception name (exn: exn) = +let register_exception name (exn : exn) = register_named_value name (Obj.field (Obj.repr exn) 0) diff --git a/stdlib/obj.ml b/stdlib/obj.ml index 0d72f4033..f2a5858f0 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -28,7 +28,7 @@ external new_block : int -> int -> t = "obj_block" external dup : t -> t = "obj_dup" external truncate : t -> int -> unit = "obj_truncate" -let marshal (obj: t) = +let marshal (obj : t) = Marshal.to_string obj [] let unmarshal str pos = (Marshal.from_string str pos, pos + Marshal.total_size str pos) diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index 96eaa5da3..87270e846 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -114,7 +114,7 @@ let clear_parser() = Array.fill env.v_stack 0 env.stacksize (Obj.repr ()); env.lval <- Obj.repr () -let current_lookahead_fun = ref (fun (x: Obj.t) -> false) +let current_lookahead_fun = ref (fun (x : Obj.t) -> false) let yyparse tables start lexer lexbuf = let rec loop cmd arg = @@ -187,4 +187,4 @@ let rhs_end n = let is_current_lookahead tok = (!current_lookahead_fun)(Obj.repr tok) -let parse_error (msg: string) = () +let parse_error (msg : string) = () |