Skip to content

Instantly share code, notes, and snippets.

@nomaddo

nomaddo/unit2.ml

Created November 5, 2014 11:21
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 nomaddo/ac62b9901a74df39c22f to your computer and use it in GitHub Desktop.
Save nomaddo/ac62b9901a74df39c22f to your computer and use it in GitHub Desktop.
Download ZIP
unit2.ml
Raw
unit2.ml
# type 'a t = () of 'a;;
type 'a t = () of 'a
# () 12;;
- : int t = () 12
# () ();;
Characters 3-5:
() ();;
^^
Error: The constructor () expects 1 argument(s),
but is applied here to 0 argument(s)
# () (():unit);;
- : unit t = () ()
# module M () = struct end;;
module M : functor () -> sig end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment