Pitometsu

type _ num =
  | Zero : zero num
  | Succ : ('a num) -> 'a plus num
and _ plus = Plus : 'a num -> 'a plus
and zero = [ ]
;;
type _ even =
  | Even_0 : zero num even
  | Even_S : 'a num odd -> 'a plus num even
and _ odd =

Pitometsu

let
  overlays = [
    (self: super: with self; {
      coq = coq_8_10;
      coq_8_10 = (super.coq_8_10.override { buildIde = false; });
      coqPackages = coqPackages_8_10;
      coqPackages_8_10 = (super.coqPackages_8_10.overrideScope' (self: super: {
        inherit coq;
      }));
    })

Pitometsu

  macos-ld-fix = stdenv.mkDerivation {
    name = "macos-ld-fix";
    src = null;
    unpackPhase = "true";
    dontBuild = true;
    installPhase = ''
      mkdir -p $out/opt/local/lib
    '';
  };

Pitometsu

module type M = sig

  module type S

  module S : S

end

;; module type M = sig module type S module S : S end

Pitometsu

OCaml

Guides

https://ocaml.org/learn/tutorials/

https://www2.lib.uchicago.edu/keith/ocaml-class/

http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/

http://mirror.ocamlcore.org/ocaml-tutorial.org/

https://caml.inria.fr/pub/docs/manual-ocaml-4.07/

http://blog.ezyang.com/2010/10/ocaml-for-haskellers/

https://www.tutorialspoint.com/compile_ocaml_online.php

http://ocaml.github.io/ocamlunix/index.html

Pitometsu

(self: super:
  let
    stdenv = let stdenv = super.overrideCC super.stdenv super.gcc8; in
             stdenv.override { cc = super.stdenv.cc; };
  in {
    inherit stdenv;
  })
  #   stdenv = gcc8Stdenv.override {
  #   cc = gcc8Stdenv.override {
  #     inherit (self) libc;

Pitometsu

utop#

module type T = sig
  type t = ..
end;;

module type T = sig type t = .. end

utop # 

Pitometsu

$ nix-shell -p gcc8 --command 'echo $NIX_CFLAGS_COMPILE'
-isystem /nix/store/aj932q5vd2xzl67v3qs6hsg47lxmf0n2-libc++-5.0.2/include -isystem /nix/store/89gnz8abjwra67d8y6s6ysmjl6ji81ai-libc++abi-5.0.2/include -isystem /nix/store/yr2vwrbjgabcskp153nzsyl72ysbfc1g-compiler-rt-5.0.2-dev/include -F/nix/store/7x42k0scp8xscrf092jalvpns4cwnnj3-swift-corefoundation/Library/Frameworks -isystem /nix/store/aj932q5vd2xzl67v3qs6hsg47lxmf0n2-libc++-5.0.2/include -isystem /nix/store/89gnz8abjwra67d8y6s6ysmjl6ji81ai-libc++abi-5.0.2/include -isystem /nix/store/yr2vwrbjgabcskp153nzsyl72ysbfc1g-compiler-rt-5.0.2-dev/include -F/nix/store/7x42k0scp8xscrf092jalvpns4cwnnj3-swift-corefoundation/Library/Frameworks

Pitometsu

(self: super:
  let
    # gcc = super.pkgs.gcc8;
    # gcc8 = super.pkgs.gcc8.override { stdenv = super.stdenv; };
    stdenv = super.stdenvAdapters.overrideCC super.stdenv super.pkgs.gcc8;
  in
    {
      inherit stdenv; # gcc8 gcc;
      # stdenv = super.overrideCC super.stdenv self.pkgs.gcc;
      # gcc8 = super.gcc8.override { stdenv = super.stdenv; };

Pitometsu

utop # let (module M) = (module Caml.Map.Make(Int64) : Caml.Map.S) in let to_ : unit -> _ M.t = fun () -> failwith "und" in to_;;
Error: This expression has type unit -> 'a M.t
       but an expression was expected of type 'b
       The type constructor M.t would escape its scope

utop # let module M = Caml.Map.Make(Int64) in let to_ : unit -> _ M.t = fun () -> failwith "und" in to_;;
- : unit -> 'a Map.Make(Core_kernel__Int64).t = <fun>