samoht

module type LIST = (module type of List)
module M (X: sig end) = struct
  module K = (val (match Random.int 2 with 0 -> assert false | _ -> (module List)): LIST)
end

samoht

Keybase proof

I hereby claim:

• I am samoht on github.
• I am samoht (https://keybase.io/samoht) on keybase.
• I have a public key whose fingerprint is 8DD5 2ABD 293E 73E8 FD6E 8992 1A7B D9B2 EA10 4FBB

To claim this, I am signing this object:

samoht

module type S1 = sig
  type t
end

module X = struct
  type t = int
  let f x = x
end

module type S2 = sig

samoht

(* Run that file at the root of your repository:

      ocamlbuild -pkg opam chek_ocamlfind.native --
  
  This will rewrite all the OPAM files to add the missing ocamlfind dependency if needed.
*)

open OpamTypes
module N = OpamPackage.Name

samoht

commit 7c0725871e7dddf8fa9b3000405199cfe96886c3
Author: Thomas Gazagnaire <thomas@gazagnaire.org>
Date:   Sun Dec 4 22:53:34 2011 +0100

    Add location in lambda code
    
    This is a very preliminary patch as there is just enough change to make everything compile, but location are not propagated through the backend.
    
    Also the Levent are still there.