Original bug ID: 5694
The type checker raises an exception: Invalid_argument("List.iter2")
Steps to reproduce
Put this in file foo.ml:
include (struct end : sig type 'a t end with type 'a t := unit)
Run "ocaml foo.ml", which will raise the mentioned exception.
The text was updated successfully, but these errors were encountered: