Releases: Octachron/codept
Releases · Octachron/codept
0.12.2
0.12.1
CHANGES:
- Support 5.2
- Support 5.3
packaging changes
- Expose LGPL library
- maintainance intents
Library changes
- Make the error formatter a parameter
- Better inequality explanation for modules
Bug fixes
- fix
-exportbugs - handle open
F(X).Y
Internal
* Improve test stability on Windows
0.12.0
0.11.1
0.11.0
CHANGES:
Features
- Support for abstract module types:
Codept is now aware thatYisX.M.Yand
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 = EInternal
- Switch to the zipper engine
- Fully typed recursive definition for schema
- Extended testsuite
- More precise term subast (no more encoding)