Original bug ID: 7894
Reporter: wlitwin
Assigned to: @lpw25
Status: assigned (set by @lpw25 on 2019-02-15T10:13:47Z)
Resolution: open
Priority: normal
Severity: crash
Version: 4.07.0
Category: typing
Monitored by: @nojb @gasche

Bug description

OCaml 4.07.0 fails to compile the following program:

class basicWidget app = object(self)
    method invalidate : unit =
        app#redrawWidget self
end

class simple app =
    let label1 = new basicWidget app in
object(self)
    inherit basicWidget app
end

let _ = new simple (object end)

Steps to reproduce

paste the description code into a src file and try building with:

ocamlc file.ml

The following happens:

Fatal error: exception File "typing/typeclass.ml", line 294, characters 12-18: Assertion failed

File attachments

• main.ml