Skip to content

Instantly share code, notes, and snippets.

@zoren
Created October 28, 2014 12:21
Show Gist options
  • Save zoren/3b0b419fe5a9c4891406 to your computer and use it in GitHub Desktop.
Save zoren/3b0b419fe5a9c4891406 to your computer and use it in GitHub Desktop.
let rec f _ =
let _ = myignore 1
myignore () // not ok, myignore expects int as argument type
and myignore _ = ()
let rec myignore _ = ()
and f _ =
let _ = myignore 1
myignore () // ok, myignore accepts any type as argument type
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment