gsg/test.ml

Created April 26, 2016 06:46

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/gsg/4dc03869f465c9ec57009169b07e03db.js"></script>
Save gsg/4dc03869f465c9ec57009169b07e03db to your computer and use it in GitHub Desktop.

Download ZIP

Raw

test.ml

	type foo = [`B \| `C \| `D]

	let f (x : [`A \| foo]) =
	match x with
	\| `A -> true
	\| #foo as x -> ignore (x :> foo); true

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment