Skip to content

Instantly share code, notes, and snippets.

@gsg

gsg/test.ml

Created December 7, 2015 16:08
Show Gist options
  • Save gsg/01e2941b4089aa25cb1b to your computer and use it in GitHub Desktop.
Save gsg/01e2941b4089aa25cb1b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test.ml
type _ t =
| Bool : bool t
| Int : int t
let x = object (self)
method f : type a . a t -> a t = function
| Bool -> Bool
| Int -> (self#int Int : int t)
method int Int = Int
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment