Open nikolaushuber opened 2 months ago
The following interface definition
type t val print : Format.formatter -> t -> unit
when run through gospel check test.mli returns
gospel check test.mli
gospel: internal error, uncaught exception: File "src/typing.ml", line 710, characters 22-28: Assert failed
The assertion failure seems to come from here
The following interface definition
when run through
gospel check test.mlireturnsThe assertion failure seems to come from here