Module `Shared_ast.Print`Source

Printing functions for the default calculus AST

Common syntax highlighting helpers

Sourceval base_type : Format.formatter -> string -> unit

Sourceval keyword : Format.formatter -> string -> unit

Sourceval punctuation : Format.formatter -> string -> unit

The argument is assumed to be 1-column wide (but can be a multi-char utf8 character)

Sourceval op_style : Format.formatter -> string -> unit

Sourceval lit_style : Format.formatter -> string -> unit

Some basic stringifiers

Sourceval operator_to_string : 'a Shared_ast__.Definitions.Op.t -> string

Prints the operator symbols with kind suffixes, as expected by the OCaml backend (e.g. "+^", "+$", etc.)

Formatters

Source

val uid_list : 
  Format.formatter ->
  Catala_utils.Uid.MarkedString.info list ->
  unit

Sourceval tlit : Format.formatter -> Shared_ast__.Definitions.typ_lit -> unit

Source

val location : 
  Format.formatter ->
  'a Shared_ast__.Definitions.glocation ->
  unit

Source

val external_ref : 
  Format.formatter ->
  Shared_ast__.Definitions.external_ref Catala_utils.Mark.pos ->
  unit

Source

val typ : 
  Shared_ast__.Definitions.decl_ctx ->
  Format.formatter ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
  unit

Sourceval lit : Format.formatter -> Shared_ast__.Definitions.lit -> unit

Source

val operator : 
  ?debug:bool ->
  Format.formatter ->
  'a Shared_ast__.Definitions.Op.t ->
  unit

Sourceval log_entry : Format.formatter -> Shared_ast__.Definitions.log_entry -> unit

Sourceval runtime_error : Format.formatter -> Runtime_ocaml.Runtime.error -> unit

Sourceval var : Format.formatter -> 'e Var.t -> unit

Sourceval var_debug : Format.formatter -> 'e Var.t -> unit

Source

val expr : 
  ?debug:bool ->
  unit ->
  Format.formatter ->
  (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed ->
  unit

Expression printer.

parameter debug
(default to the global setting) turns on printing of logging nodes, variable indices and operator suffixes. See the interface below for more detailed control.

Generic expression printer interface

Sourcemodule type EXPR_PARAM = sig ... end

Sourcemodule ExprGen (_ : EXPR_PARAM) : sig ... end

Sourcemodule ExprConciseParam : EXPR_PARAM

Sourcemodule ExprDebugParam : EXPR_PARAM

Debugging versions that don't require a context

Source

val typ_debug : 
  Format.formatter ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
  unit

Source

val scope : 
  ?debug:bool ->
  Shared_ast__.Definitions.decl_ctx ->
  Format.formatter ->
  (Shared_ast__.Definitions.ScopeName.t
   * (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
       'm Shared_ast__.Definitions.mark)
       Catala_utils.Mark.ed
       Shared_ast__.Definitions.scope_body) ->
  unit

Source

val program : 
  ?debug:bool ->
  Format.formatter ->
  (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed
    Shared_ast__.Definitions.program ->
  unit

Sourcemodule UserFacing : sig ... end

User-facing, localised printer

Source

val skip_wrappers : 
  (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed ->
  (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed

This is exported from Expr, but first defined here for dependency reasons

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/Print/index.html

Module `Shared_ast.Print`Source

Common syntax highlighting helpers

Some basic stringifiers

Formatters

Generic expression printer interface

Debugging versions that don't require a context

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/Print/index.html

Module Shared_ast.PrintSource

Common syntax highlighting helpers

Some basic stringifiers

Formatters

Generic expression printer interface

Debugging versions that don't require a context

Module `Shared_ast.Print`Source