Dev meeting 2020 09 17

Agenda

Attending

Previous actions

• @jonludlam to find out status of dune build @doc supporting external libs -- Not done

• @jonludlam to post on discuss about plans for replacing ocamldoc plugins -- Not done

CI

Module type of issue

The problem

module type X = sig
  module Y : sig
    module Z : sig
      type t
      module Z1 : sig
        val x : t
      end
    end
  end
  module type Foo = sig
    module type A = module type of Y.Z
    module type B = module type of struct include Y.Z end
  end
end

module Z2 : sig
  type t = int
  type u
  module Z1 : sig
    val x : t
    val y : t
  end
end

module type BBB = X with module Y.Z := Z2

module AAA : BBB

• intermediate expansions an issue for figuring out when a substitution has been made
• simple tree 'mask' for module type of incorrect (difference between module type A and B above)