View difference between Paste ID: QVarC30C and
SHOW:
|
|
- or go back to the newest paste.
| 1 | - | |
| 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>)) |
