Skip to content

Instantly share code, notes, and snippets.

@gsg
Created August 13, 2016 12:58
Show Gist options
  • Save gsg/8529ac2b46de144cb86c63126f48b952 to your computer and use it in GitHub Desktop.
Save gsg/8529ac2b46de144cb86c63126f48b952 to your computer and use it in GitHub Desktop.
type t1 = [`Foo]
let name1 = function `Foo -> "foo"
type t2 = [t1 | `Bar]
let name2 = function #t1 as f -> name1 f | `Bar -> "bar"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment