Skip to content

Instantly share code, notes, and snippets.

@cemerick

cemerick/example.ml

Created October 24, 2019 15:37
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 cemerick/963cd25e3a4d339a4fd4989385ee0639 to your computer and use it in GitHub Desktop.
Save cemerick/963cd25e3a4d339a4fd4989385ee0639 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
example.ml
type k = [ `A of int | `B of string | `Ks of (string fn * k) list ]
and 'a fn = 'a -> k -> bool
(* Error: In the definition of k, type string fn should be 'a fn *)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment