Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Apr 30, 2020
1 parent 69b274e commit 0a1bf49
Show file tree
Hide file tree
Showing 4 changed files with 19 additions and 19 deletions.
26 changes: 15 additions & 11 deletions src/API.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1065,19 +1065,23 @@ module Doc = struct
let show_ty_ast = ED.Conversion.show_ty_ast
end

let readback_int ~depth _ c s x = BuiltInData.int.Conversion.readback ~depth (new Conversion.ctx []) c s x
let readback_float ~depth _ c s x = BuiltInData.float.Conversion.readback ~depth (new Conversion.ctx []) c s x
let readback_string ~depth _ c s x = BuiltInData.string.Conversion.readback ~depth (new Conversion.ctx []) c s x
let readback_int ~depth h c s x = BuiltInData.int.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_float ~depth h c s x = BuiltInData.float.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_string ~depth h c s x = BuiltInData.string.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_list = BuiltInData.readback_list
let readback_loc ~depth _ c s x = BuiltInData.loc.Conversion.readback ~depth (new Conversion.ctx []) c s x
let readback_nominal ~depth _ c s x = BuiltInData.nominal.Conversion.readback ~depth (new Conversion.ctx []) c s x

let embed_int ~depth _ c s x = BuiltInData.int.Conversion.embed ~depth (new Conversion.ctx []) c s x
let embed_float ~depth _ c s x = BuiltInData.float.Conversion.embed ~depth (new Conversion.ctx []) c s x
let embed_string ~depth _ c s x = BuiltInData.string.Conversion.embed ~depth (new Conversion.ctx []) c s x
let readback_loc ~depth h c s x = BuiltInData.loc.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_nominal ~depth h c s x = BuiltInData.nominal.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_bool ~depth h c s x = BuiltInData.bool.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x
let readback_char ~depth h c s x = BuiltInData.char.Conversion.readback ~depth (new Conversion.ctx h#raw) c s x

let embed_int ~depth h c s x = BuiltInData.int.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_float ~depth h c s x = BuiltInData.float.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_string ~depth h c s x = BuiltInData.string.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_list = BuiltInData.embed_list
let embed_loc ~depth _ c s x = BuiltInData.loc.Conversion.embed ~depth (new Conversion.ctx []) c s x
let embed_nominal ~depth _ c s x = BuiltInData.nominal.Conversion.embed ~depth (new Conversion.ctx []) c s x
let embed_loc ~depth h c s x = BuiltInData.loc.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_nominal ~depth h c s x = BuiltInData.nominal.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_bool ~depth h c s x = BuiltInData.bool.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
let embed_char ~depth h c s x = BuiltInData.char.Conversion.embed ~depth (new Conversion.ctx h#raw) c s x
type context_description =
| C : ('a,'k,'c) Conversion.context -> context_description

Expand Down
4 changes: 4 additions & 0 deletions src/API.mli
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1165,13 +1165,17 @@ module PPX : sig
val readback_list : ('a, 'c) Conversion.readback -> ('a list,'c) Conversion.readback
val readback_loc : (Ast.Loc.t, 'c) Conversion.readback
val readback_nominal : (RawData.constant, 'c) Conversion.readback
val readback_bool : (bool, 'h) Conversion.readback
val readback_char : (char, 'h) Conversion.readback

val embed_int : (int, 'c) Conversion.embedding
val embed_float : (float, 'c) Conversion.embedding
val embed_string : (string, 'c) Conversion.embedding
val embed_list : ('a, 'c) Conversion.embedding -> ('a list, 'c) Conversion.embedding
val embed_loc : (Ast.Loc.t, 'c) Conversion.embedding
val embed_nominal : (RawData.constant, 'c) Conversion.embedding
val embed_bool : (bool, 'h) Conversion.embedding
val embed_char : (char, 'h) Conversion.embedding

type context_description =
| C : ('a,'k,'c) Conversion.context -> context_description
Expand Down
4 changes: 0 additions & 4 deletions src/builtin.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1391,17 +1391,13 @@ module PPX = struct

let readback_pair = readback_pair
let readback_option = readback_option
let readback_bool ~depth _ c s x = bool.API.Conversion.readback ~depth (new Conversion.ctx []) c s x
let readback_char ~depth _ c s x = char.API.Conversion.readback ~depth (new Conversion.ctx []) c s x

let readback_triple = readback_triple
let readback_quadruple = readback_quadruple
let readback_quintuple = readback_quintuple

let embed_pair = embed_pair
let embed_option = embed_option
let embed_bool ~depth _ c s x = bool.API.Conversion.embed ~depth (new Conversion.ctx []) c s x
let embed_char ~depth _ c s x = char.API.Conversion.embed ~depth (new Conversion.ctx []) c s x

let embed_triple = embed_triple
let embed_quadruple = embed_quadruple
Expand Down
4 changes: 0 additions & 4 deletions src/builtin.mli
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,17 +60,13 @@ module PPX : sig

val readback_pair : ('a, 'h) API.Conversion.readback -> ('b, 'h) API.Conversion.readback -> ('a * 'b, 'h) API.Conversion.readback
val readback_option : ('a, 'h) API.Conversion.readback -> ('a option, 'h) API.Conversion.readback
val readback_bool : (bool, 'h) API.Conversion.readback
val readback_char : (char, 'h) API.Conversion.readback

val readback_triple : ('a, 'h) API.Conversion.readback -> ('b, 'h) API.Conversion.readback -> ('c, 'h) API.Conversion.readback -> ('a * 'b * 'c, 'h) API.Conversion.readback
val readback_quadruple : ('a, 'h) API.Conversion.readback -> ('b, 'h) API.Conversion.readback -> ('c, 'h) API.Conversion.readback -> ('d, 'h) API.Conversion.readback -> ('a * 'b * 'c * 'd, 'h) API.Conversion.readback
val readback_quintuple : ('a, 'h) API.Conversion.readback -> ('b, 'h) API.Conversion.readback -> ('c, 'h) API.Conversion.readback -> ('d, 'h) API.Conversion.readback -> ('e, 'h) API.Conversion.readback -> ('a * 'b * 'c * 'd * 'e, 'h) API.Conversion.readback

val embed_pair : ('a, 'h) API.Conversion.embedding -> ('b, 'h) API.Conversion.embedding -> ('a * 'b, 'h) API.Conversion.embedding
val embed_option : ('a, 'h) API.Conversion.embedding -> ('a option, 'h) API.Conversion.embedding
val embed_bool : (bool, 'h) API.Conversion.embedding
val embed_char : (char, 'h) API.Conversion.embedding

val embed_triple : ('a, 'h) API.Conversion.embedding -> ('b, 'h) API.Conversion.embedding -> ('c, 'h) API.Conversion.embedding -> ('a * 'b * 'c, 'h) API.Conversion.embedding
val embed_quadruple : ('a, 'h) API.Conversion.embedding -> ('b, 'h) API.Conversion.embedding -> ('c, 'h) API.Conversion.embedding -> ('d, 'h) API.Conversion.embedding -> ('a * 'b * 'c * 'd, 'h) API.Conversion.embedding
Expand Down

0 comments on commit 0a1bf49

Please sign in to comment.