Ticked variables behave differently locally and at the top-level

[mtzguido]

trafficstars

Probably not a big deal but:

// works
let _ =
  let id : 'a -> 'a = fun x -> x in
  ()

// fails with: Identifier not found ['a]
let id : 'a -> 'a = fun x -> x