[Caml-list] Re: fighting the type system

[Joel Reymont <joelr1@gmail.com>]

One of the issues is that the full definition of Foo.mli is larger than I posted (below) and I'm using other methods apart from write, e.g. grab_page.

My writable type really needs to include write -and- grab_page, for example.

	Thanks, Joel

---

open Thrift
class request :
object ('a)
  method get_page : Doc_types.document option
  method grab_page : Doc_types.document
  method set_page : Doc_types.document -> unit
  method unset_page : unit
  method reset_page : unit
  method copy : 'a
  method write : Protocol.t -> unit
end
val read_request : Protocol.t -> request
class response :
object ('a)
  method get_page : Doc_types.document option
  method grab_page : Doc_types.document
  method set_page : Doc_types.document -> unit
  method unset_page : unit
  method reset_page : unit
  method get_sidebar_pages : Doc_types.document list option
  method grab_sidebar_pages : Doc_types.document list
  method set_sidebar_pages : Doc_types.document list -> unit
  method unset_sidebar_pages : unit
  method reset_sidebar_pages : unit
  method copy : 'a
  method write : Protocol.t -> unit
end
val read_response : Protocol.t -> response

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------