Missing types in structure panel after class defn

[jfehrle]

plugin version: 098-2020,3

Description

The structure panel omits the types errpage, jobpage, breakpoint and session for the following input. Removing the 2 class definitions makes them reappear.

class type ['a] page =
  object
    inherit GObj.widget
    method update : 'a -> unit
    method on_update : callback:('a -> unit) -> unit
    method data : 'a
  end

class type control =
  object
    method detach : unit -> unit
  end

type errpage = (int * string) list page
type jobpage = string CString.Map.t page
type breakpoint = {
  file : string;
}

type session = {
  buffer : GText.buffer;
}

let create_buffer () = ()

[giraud]

minimum code:

class type control =
  object
    method detach : unit -> unit
  end

type errpage = (int * string) list page

[giraud]

Fixed in 0.98.2

[jfehrle]

Looks good, thanks.