Skip to content

Commit

Permalink
Regen OCaml expected tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@MisterDA
MisterDA committed May 23, 2022
1 parent 10be286 commit 0dd0610
Show file tree
Hide file tree
Showing 9 changed files with 879 additions and 879 deletions.
578 changes: 289 additions & 289 deletions atdgen/test/test.expected.mli
View file

Large diffs are not rendered by default.

50 changes: 25 additions & 25 deletions atdgen/test/test2.expected.mli
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ val write_untagged_poly :
(Bi_outbuf.t -> 'bb -> unit) ->
(Bi_outbuf.t -> 'bb -> unit) ->
Bi_outbuf.t -> ('aa, 'bb) poly -> unit
(** Output an untagged biniou value of type {!poly}. *)
(** Output an untagged biniou value of type {!type:poly}. *)

val write_poly :
Bi_io.node_tag ->
Expand All @@ -34,7 +34,7 @@ val write_poly :
(Bi_outbuf.t -> 'bb -> unit) ->
(Bi_outbuf.t -> 'bb -> unit) ->
Bi_outbuf.t -> ('aa, 'bb) poly -> unit
(** Output a biniou value of type {!poly}. *)
(** Output a biniou value of type {!type:poly}. *)

val string_of_poly :
Bi_io.node_tag ->
Expand All @@ -44,7 +44,7 @@ val string_of_poly :
(Bi_outbuf.t -> 'bb -> unit) ->
(Bi_outbuf.t -> 'bb -> unit) ->
?len:int -> ('aa, 'bb) poly -> string
(** Serialize a value of type {!poly} into
(** Serialize a value of type {!type:poly} into
a biniou string. *)

(* Readers for type poly *)
Expand All @@ -56,23 +56,23 @@ val get_poly_reader :
(Bi_inbuf.t -> 'bb) ->
Bi_io.node_tag -> (Bi_inbuf.t -> ('aa, 'bb) poly)
(** Return a function that reads an untagged
biniou value of type {!poly}. *)
biniou value of type {!type:poly}. *)

val read_poly :
(Bi_io.node_tag -> (Bi_inbuf.t -> 'aa)) ->
(Bi_inbuf.t -> 'aa) ->
(Bi_io.node_tag -> (Bi_inbuf.t -> 'bb)) ->
(Bi_inbuf.t -> 'bb) ->
Bi_inbuf.t -> ('aa, 'bb) poly
(** Input a tagged biniou value of type {!poly}. *)
(** Input a tagged biniou value of type {!type:poly}. *)

val poly_of_string :
(Bi_io.node_tag -> (Bi_inbuf.t -> 'aa)) ->
(Bi_inbuf.t -> 'aa) ->
(Bi_io.node_tag -> (Bi_inbuf.t -> 'bb)) ->
(Bi_inbuf.t -> 'bb) ->
?pos:int -> string -> ('aa, 'bb) poly
(** Deserialize a biniou value of type {!poly}.
(** Deserialize a biniou value of type {!type:poly}.
@param pos specifies the position where
reading starts. Default: 0. *)

Expand All @@ -85,31 +85,31 @@ val poly_int2_tag : Bi_io.node_tag

val write_untagged_poly_int2 :
Bi_outbuf.t -> poly_int2 -> unit
(** Output an untagged biniou value of type {!poly_int2}. *)
(** Output an untagged biniou value of type {!type:poly_int2}. *)

val write_poly_int2 :
Bi_outbuf.t -> poly_int2 -> unit
(** Output a biniou value of type {!poly_int2}. *)
(** Output a biniou value of type {!type:poly_int2}. *)

val string_of_poly_int2 :
?len:int -> poly_int2 -> string
(** Serialize a value of type {!poly_int2} into
(** Serialize a value of type {!type:poly_int2} into
a biniou string. *)

(* Readers for type poly_int2 *)

val get_poly_int2_reader :
Bi_io.node_tag -> (Bi_inbuf.t -> poly_int2)
(** Return a function that reads an untagged
biniou value of type {!poly_int2}. *)
biniou value of type {!type:poly_int2}. *)

val read_poly_int2 :
Bi_inbuf.t -> poly_int2
(** Input a tagged biniou value of type {!poly_int2}. *)
(** Input a tagged biniou value of type {!type:poly_int2}. *)

val poly_int2_of_string :
?pos:int -> string -> poly_int2
(** Deserialize a biniou value of type {!poly_int2}.
(** Deserialize a biniou value of type {!type:poly_int2}.
@param pos specifies the position where
reading starts. Default: 0. *)

Expand All @@ -122,39 +122,39 @@ val test2_tag : Bi_io.node_tag

val write_untagged_test2 :
Bi_outbuf.t -> test2 -> unit
(** Output an untagged biniou value of type {!test2}. *)
(** Output an untagged biniou value of type {!type:test2}. *)

val write_test2 :
Bi_outbuf.t -> test2 -> unit
(** Output a biniou value of type {!test2}. *)
(** Output a biniou value of type {!type:test2}. *)

val string_of_test2 :
?len:int -> test2 -> string
(** Serialize a value of type {!test2} into
(** Serialize a value of type {!type:test2} into
a biniou string. *)

(* Readers for type test2 *)

val get_test2_reader :
Bi_io.node_tag -> (Bi_inbuf.t -> test2)
(** Return a function that reads an untagged
biniou value of type {!test2}. *)
biniou value of type {!type:test2}. *)

val read_test2 :
Bi_inbuf.t -> test2
(** Input a tagged biniou value of type {!test2}. *)
(** Input a tagged biniou value of type {!type:test2}. *)

val test2_of_string :
?pos:int -> string -> test2
(** Deserialize a biniou value of type {!test2}.
(** Deserialize a biniou value of type {!type:test2}.
@param pos specifies the position where
reading starts. Default: 0. *)

val create_test2 :
test0: poly_int2 ->
test1: (int, string option) poly ->
unit -> test2
(** Create a record of type {!test2}. *)
(** Create a record of type {!type:test2}. *)


(* Writers for type poly_int_string *)
Expand All @@ -165,31 +165,31 @@ val poly_int_string_tag : Bi_io.node_tag

val write_untagged_poly_int_string :
Bi_outbuf.t -> poly_int_string -> unit
(** Output an untagged biniou value of type {!poly_int_string}. *)
(** Output an untagged biniou value of type {!type:poly_int_string}. *)

val write_poly_int_string :
Bi_outbuf.t -> poly_int_string -> unit
(** Output a biniou value of type {!poly_int_string}. *)
(** Output a biniou value of type {!type:poly_int_string}. *)

val string_of_poly_int_string :
?len:int -> poly_int_string -> string
(** Serialize a value of type {!poly_int_string} into
(** Serialize a value of type {!type:poly_int_string} into
a biniou string. *)

(* Readers for type poly_int_string *)

val get_poly_int_string_reader :
Bi_io.node_tag -> (Bi_inbuf.t -> poly_int_string)
(** Return a function that reads an untagged
biniou value of type {!poly_int_string}. *)
biniou value of type {!type:poly_int_string}. *)

val read_poly_int_string :
Bi_inbuf.t -> poly_int_string
(** Input a tagged biniou value of type {!poly_int_string}. *)
(** Input a tagged biniou value of type {!type:poly_int_string}. *)

val poly_int_string_of_string :
?pos:int -> string -> poly_int_string
(** Deserialize a biniou value of type {!poly_int_string}.
(** Deserialize a biniou value of type {!type:poly_int_string}.
@param pos specifies the position where
reading starts. Default: 0. *)

Expand Down
34 changes: 17 additions & 17 deletions atdgen/test/test2j.expected.mli
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ val write_poly :
(Bi_outbuf.t -> 'aa -> unit) ->
(Bi_outbuf.t -> 'bb -> unit) ->
Bi_outbuf.t -> ('aa, 'bb) poly -> unit
(** Output a JSON value of type {!poly}. *)
(** Output a JSON value of type {!type:poly}. *)

val string_of_poly :
(Bi_outbuf.t -> 'aa -> unit) ->
(Bi_outbuf.t -> 'bb -> unit) ->
?len:int -> ('aa, 'bb) poly -> string
(** Serialize a value of type {!poly}
(** Serialize a value of type {!type:poly}
into a JSON string.
@param len specifies the initial length
of the buffer used internally.
Expand All @@ -24,81 +24,81 @@ val read_poly :
(Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'aa) ->
(Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'bb) ->
Yojson.Safe.lexer_state -> Lexing.lexbuf -> ('aa, 'bb) poly
(** Input JSON data of type {!poly}. *)
(** Input JSON data of type {!type:poly}. *)

val poly_of_string :
(Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'aa) ->
(Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'bb) ->
string -> ('aa, 'bb) poly
(** Deserialize JSON data of type {!poly}. *)
(** Deserialize JSON data of type {!type:poly}. *)


val write_poly_int2 :
Bi_outbuf.t -> poly_int2 -> unit
(** Output a JSON value of type {!poly_int2}. *)
(** Output a JSON value of type {!type:poly_int2}. *)

val string_of_poly_int2 :
?len:int -> poly_int2 -> string
(** Serialize a value of type {!poly_int2}
(** Serialize a value of type {!type:poly_int2}
into a JSON string.
@param len specifies the initial length
of the buffer used internally.
Default: 1024. *)

val read_poly_int2 :
Yojson.Safe.lexer_state -> Lexing.lexbuf -> poly_int2
(** Input JSON data of type {!poly_int2}. *)
(** Input JSON data of type {!type:poly_int2}. *)

val poly_int2_of_string :
string -> poly_int2
(** Deserialize JSON data of type {!poly_int2}. *)
(** Deserialize JSON data of type {!type:poly_int2}. *)


val write_test2 :
Bi_outbuf.t -> test2 -> unit
(** Output a JSON value of type {!test2}. *)
(** Output a JSON value of type {!type:test2}. *)

val string_of_test2 :
?len:int -> test2 -> string
(** Serialize a value of type {!test2}
(** Serialize a value of type {!type:test2}
into a JSON string.
@param len specifies the initial length
of the buffer used internally.
Default: 1024. *)

val read_test2 :
Yojson.Safe.lexer_state -> Lexing.lexbuf -> test2
(** Input JSON data of type {!test2}. *)
(** Input JSON data of type {!type:test2}. *)

val test2_of_string :
string -> test2
(** Deserialize JSON data of type {!test2}. *)
(** Deserialize JSON data of type {!type:test2}. *)

val create_test2 :
test0: poly_int2 ->
test1: (int, string option) poly ->
unit -> test2
(** Create a record of type {!test2}. *)
(** Create a record of type {!type:test2}. *)


val write_poly_int_string :
Bi_outbuf.t -> poly_int_string -> unit
(** Output a JSON value of type {!poly_int_string}. *)
(** Output a JSON value of type {!type:poly_int_string}. *)

val string_of_poly_int_string :
?len:int -> poly_int_string -> string
(** Serialize a value of type {!poly_int_string}
(** Serialize a value of type {!type:poly_int_string}
into a JSON string.
@param len specifies the initial length
of the buffer used internally.
Default: 1024. *)

val read_poly_int_string :
Yojson.Safe.lexer_state -> Lexing.lexbuf -> poly_int_string
(** Input JSON data of type {!poly_int_string}. *)
(** Input JSON data of type {!type:poly_int_string}. *)

val poly_int_string_of_string :
string -> poly_int_string
(** Deserialize JSON data of type {!poly_int_string}. *)
(** Deserialize JSON data of type {!type:poly_int_string}. *)


Loading

0 comments on commit 0dd0610

Please sign in to comment.