package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-1.16.10.tbz
sha256=c64313f5cd5e5f1697ce73be4268f03e0038dee4bed6a880c311b80031efe4ec
sha512=908978042c6440bdf1615e8762de625ced8f812627ba10f566cdd3d031971e6195156e69eeafcbc6ab5e1d9338bf546ae4a67abd69b7fcd98d04857dd32b2696

doc/trace_ppx/Trace_ppx/index.html

Module Trace_ppxSource

elpi.trace.ppx provides the following syntax extensions:


type t = { a : T; b : S [@trace] }

let rec f x (w[@trace]) =
 [%trace "f" (fun fmt -> .. x ..) begin
     match x with
     | K1 -> ...
     | K2 x -> [%tcall f x]
     | K2(x,y) ->
        let z = f x in
        [%spy "z" ~rid ~gid ~cond (fun fmt z -> .. z ..) z];
        [%spyl "z" ~rid ~gid ~cond (fun fmt z -> .. z ..) zs];
        [%log "K2" ~rid "whatever" 37];
        let x[@trace] = ... in e
        let w = { a; b = b[@trace ] } in
        match w with
        | { a; b = b [@trace] } ->
           z + f y (b[@trace])
 end]

[%end_trace "stop" ~rid]

If --cookie "elpi_trace=\"true\"" is not passed to the ppx rewriter:

  • [%end_trace "stop" ~rid] ---> ()
  • [%trace "foo" pp code] ---> code
  • [%tcall f x] ---> f x
  • [%spy ...] [%spyl ...] and [%log ...] ---> ()
  • f x (y[@trace]) z ---> f x z
  • let x[@trace] = .. in e ---> e
  • type x = { a : T; b : T [@trace] } ---> type x = { a : T }
  • { a; b = b [@trace] } ---> { a } (in both patterns and expressions)
  • T -> (S[@trace]) -> U ---> T -> U

In records, the shorcut "x" to mean "x = x" does not work, you have to use the longer form.

Sourceval err : loc:Ppxlib.Location.t -> string -> 'a
Sourceval trace : rid:Ppxlib_ast.Ast.expression -> loc:Ppxlib.location -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval spy : loc:Ppxlib.location -> (loc:Ppxlib.location -> unit -> Ppxlib_ast.Ast.expression) -> ?cond:Ppxlib_ast.Ast.expression -> rid:Ppxlib_ast.Ast.expression -> ?gid:Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression list -> Ppxlib_ast.Ast.expression
Sourceval spyl : loc:Ppxlib.location -> (loc:Ppxlib.location -> unit -> Ppxlib_ast.Ast.expression) -> ?cond:Ppxlib_ast.Ast.expression -> rid:Ppxlib_ast.Ast.expression -> ?gid:Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression list -> Ppxlib_ast.Ast.expression
Sourceval log : loc:Ppxlib.location -> Ppxlib_ast.Ast.expression -> rid:Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval cur_pred : loc:Ppxlib.location -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval end_trace : loc:Ppxlib.location -> rid:Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval tcall : loc:Ppxlib.location -> Ppxlib__.Import.expression -> Ppxlib__.Import.expression list -> Ppxlib_ast.Ast.expression
Sourceval enabled : bool Stdlib.ref
Sourceval has_iftrace_attribute : Ppxlib.attributes -> bool
Sourceval has_iftrace : Ppxlib.core_type -> bool
Sourceval map_trace : Ppxlib.Ast_traverse.map
Sourceval is_string_literal : Ppxlib.expression -> bool
Sourceval is_gid : Ppxlib.arg_label -> bool
Sourceval is_rid : Ppxlib.arg_label -> bool
Sourceval is_cond : Ppxlib.arg_label -> bool
Sourceval pull : ('a -> bool) -> ('a * 'b) list -> 'b option * ('a * 'b) list
Sourceval err_spy : loc:Ppxlib.Location.t -> unit -> 'a
Sourceval spyl_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval spyl_extension : Ppxlib.Extension.t
Sourceval spyl_rule : Ppxlib.Context_free.Rule.t
Sourceval spy_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval spy_extension : Ppxlib.Extension.t
Sourceval spy_rule : Ppxlib.Context_free.Rule.t
Sourceval tcall_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval tcall_extension : Ppxlib.Extension.t
Sourceval tcall_rule : Ppxlib.Context_free.Rule.t
Sourceval trace_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval trace_extension : Ppxlib.Extension.t
Sourceval trace_rule : Ppxlib.Context_free.Rule.t
Sourceval cur_pred_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
Sourceval cur_pred_extension : Ppxlib.Extension.t
Sourceval cur_pred_rule : Ppxlib.Context_free.Rule.t
Sourceval log_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval log_extension : Ppxlib.Extension.t
Sourceval log_rule : Ppxlib.Context_free.Rule.t
Sourceval end_trace_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
Sourceval end_trace_extension : Ppxlib.Extension.t
Sourceval end_trace_rule : Ppxlib.Context_free.Rule.t
Sourceval arg_trace : Ppxlib.Driver.Cookies.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct