CHANGES:

Updates

• Support 5.0.0 standard library in bundle
• Support 5.1

Bug fixes

• Restore "-sort"

Internal

• cleaner library interfaces

CHANGES:

Features

• Support for OCaml 4.14

Bug fixes

• Synchronize the bundled stdlib with the real one

CHANGES:

Features

• Support for abstract module types:
  Codept is now aware that Y is X.M.Y and
  not an external module in

  module F(X:sig module type t module M:t end) = X
  module X = struct
    module M = struct
      module Y = struct end
    end
    module type t = module type of M
  end
  open F(X)
  open M
  open Y

• Support for OCaml 4.09, 4.10, 4.11, 4.12, 4.13

• Support for split compilation units: the interface and
  implementation file does not need to share a path to
  be identified as part of the same compilation unit

Bug fix

• Nested with constraints with A.B. ... triggers aliases dependency
  in -no-alias-deps mode

module type s = sig module Alias = Deps end
module E = struct end
module type s2 = s with module Alias.Sub = E

Internal

• Switch to the zipper engine
• Fully typed recursive definition for schema
• Extended testsuite
• More precise term subast (no more encoding)