Skip to content

Instantly share code, notes, and snippets.

@Pitometsu

Pitometsu/q.ml

Last active March 28, 2019 01:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Pitometsu/772b4cf7d045a09618a2799bb721d986 to your computer and use it in GitHub Desktop.
Save Pitometsu/772b4cf7d045a09618a2799bb721d986 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
q.ml
type _ b =
| From: 'a1 -> 'a1 b
| And: 'a2 * 'a3 b -> ['a2|'a3] b
constraint 'a1 = [`A]
constraint 'a2 = [`B]
constraint 'a3 = [`C]
;;
Error: The type 'a2 is not a polymorphic variant type
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment