SHARE
TWEET

Untitled

a guest Jul 21st, 2011 168 Never
  1. type FuncType<'a, 'b, 'c> = FuncType of ('b -> 'c)
  2.  
  3. let dummy<'a> (x:int) = Unchecked.defaultof<int>
  4.  
  5. let makeFunc (typ:FuncType<'a, 'b, 'c>) =
  6.  let (FuncType f) = typ
  7.  fun (_:'a) -> f
  8.  
  9. let f2 = makeFunc (FuncType(dummy<int>))
RAW Paste Data
Top