diff options
Diffstat (limited to 'src/PureToExtract.ml')
| -rw-r--r-- | src/PureToExtract.ml | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml index 54b59141..47097d7d 100644 --- a/src/PureToExtract.ml +++ b/src/PureToExtract.ml @@ -31,7 +31,7 @@ module StringMap = Collections.MakeMap (Collections.OrderedString) type name = Identifiers.name -type 'ctx g_formatter = { +type formatter = { bool_name : string; char_name : string; int_name : integer_type -> string; @@ -106,13 +106,12 @@ type 'ctx g_formatter = { if it is made of an application (ex.: `U32 3`) *) extract_unop : - 'ctx -> + (bool -> texpression -> unit) -> F.formatter -> - ('ctx -> F.formatter -> bool -> texpression -> 'ctx) -> bool -> unop -> texpression -> - 'ctx; + unit; (** Format a unary operation Inputs: @@ -124,15 +123,14 @@ type 'ctx g_formatter = { - argument *) extract_binop : - 'ctx -> + (bool -> texpression -> unit) -> F.formatter -> - ('ctx -> F.formatter -> bool -> texpression -> 'ctx) -> bool -> E.binop -> integer_type -> texpression -> texpression -> - 'ctx; + unit; (** Format a binary operation Inputs: @@ -298,8 +296,6 @@ type extraction_ctx = { functions, etc. *) -and formatter = extraction_ctx g_formatter - let ctx_add (id : id) (name : string) (ctx : extraction_ctx) : extraction_ctx = (* TODO : nice debugging message if collision *) let names_map = names_map_add id name ctx.names_map in |