Skip to content

Instantly share code, notes, and snippets.

@nomaddo

nomaddo/f.ml

Created February 14, 2014 09:26
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/8998219 to your computer and use it in GitHub Desktop.
Save nomaddo/8998219 to your computer and use it in GitHub Desktop.
Download ZIP
type annotation
Raw
f.ml
(* これは通らない *)
let f x =
let (g:'a) = fun y -> y
g 1; g "str"
(* これは通る *)
let f x =
let g = fun y -> y
g 1; g "str"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment