EduardoRFS

module type Monad = sig
  type 'a t

  val return : 'a -> 'a t

  val bind : 'a t -> ('a -> 'b t) -> 'b t
end

include struct
  module type HKT_Magic_0 = sig

EduardoRFS

module type Show = sig
  type t
  val show: t -> string
end
let show (module S: Show) v = S.show v

module Show_option (S: Show) = struct
  type t = S.t option
  let show v =

EduardoRFS

{
  "dependencies": {
    "ocaml": "4.12.x",
    "@opam/tree-sitter": "*"
  },
  "resolutions": {
    "@opam/tree-sitter": {
      "source": "github:returntocorp/ocaml-tree-sitter:tree-sitter.opam#bee63d6c4ac7b6d24539f9f2c8cf5ba57ecce91d",
      "override": {
        "build": "dune build -p tree-sitter",

EduardoRFS

module X = struct 
  type record = { field: int }
  let value = { field = 1 }
end
(* this works *)
let field =
  match X.value with
  | {field; _} -> field
(* this fails *)
let { field; _ } = X.value

EduardoRFS

(* this is an elaboration for:

let test (f : ((module S) [@ident M]) -> 'a M.t) =
  let x : (module M) = M in
  f x;;


which is a variant of the example at https://github.com/ocaml/ocaml/pull/9187#issuecomment-778476951

The goal here is to show that is posssible to describe the same code as above using FCM

EduardoRFS

type ('a, 'b) eq = Eq : ('a, 'a) eq

module type X = sig
  module type T'

  module type T = sig
    module T : T'
  end

  type a

EduardoRFS

[@ocaml.ppx.context
  {
    tool_name: "ppxlib_driver",
    include_dirs: [],
    load_path: [
      "",
      "/home/eduardo/.esy/3_________________________________________________________________/i/ocaml-4.10.2000-76cdf1b9/lib/ocaml",
    ],
    open_modules: [],
    for_package: None,

EduardoRFS

type _ ty = Int_t : int ty | List_t : 'a ty -> 'a list ty

type ex_ty = Ex_ty : _ ty -> ex_ty

type ex_value = Ex_value : 'a ty * 'a -> ex_value

let rec encode_ty : type a. a ty -> string = function
  | Int_t -> "Int_t"
  | List_t ty -> Format.sprintf "List_t(%s)" (encode_ty ty)

EduardoRFS

open Lwt_engine;

[@ocaml.warning "-3"];
module Lwt_sequence = Lwt_sequence;
[@ocaml.warning "+3"];

module Fd_map =
  Map.Make({
    type t = Unix.file_descr;
    let compare = compare;

EduardoRFS

classic #80b73273ea57389062303c3325a67eaf9298800c

Estimated testing time 30s (3 benchmarks x 10s). Change using '-quota'.
┌───────────────────┬────────────┬──────────┬────────────┬────────────┬────────────┐
│ Name              │   Time/Run │  mWd/Run │   mjWd/Run │   Prom/Run │ Percentage │
├───────────────────┼────────────┼──────────┼────────────┼────────────┼────────────┤
│ FA1.2_Approve     │    11.85us │   6.49kw │      8.06w │      8.06w │      1.03% │
│ FA1.2_Transfer    │    18.47us │  10.41kw │     11.01w │     11.01w │      1.60% │
│ Dexter_xtzToToken │ 1_151.07us │ 619.98kw │ 11_152.26w │ 11_152.26w │    100.00% │