Skip to content

Instantly share code, notes, and snippets.

@pocketberserker
Created February 7, 2015 10:32
Show Gist options
  • Select an option

  • Save pocketberserker/4d5e28a04165629c6f43 to your computer and use it in GitHub Desktop.

Select an option

Save pocketberserker/4d5e28a04165629c6f43 to your computer and use it in GitHub Desktop.
type IHoge<'T> =
abstract member Foo: int -> 'T
type Hoge() =
interface IHoge<unit> with
// compile error
// stdin(18,15): error FS0017: メンバー 'Foo : int -> unit' には、対応する抽象メソッドをオーバーライドする正しい型がありません
member __.Foo(_) = ()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment