Skip to content

Instantly share code, notes, and snippets.

@Pitometsu

Pitometsu/example.ml

Created September 19, 2019 20:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Pitometsu/1fa440a0461697d8ad0fc6e406a5f765 to your computer and use it in GitHub Desktop.
Save Pitometsu/1fa440a0461697d8ad0fc6e406a5f765 to your computer and use it in GitHub Desktop.
Download ZIP
Can module-level have Upper Type Bounds
Raw
example.ml
utop#
module type T = sig
type t = ..
end;;
module type T = sig type t = .. end
utop #
module type M = sig
module type A
module type M = sig
include A
include T
end
module M : M
end;;
Error: This module type is not a signature
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment