Skip to content

Instantly share code, notes, and snippets.

@einblicker
Created June 14, 2012 07:56
Show Gist options
  • Save einblicker/2928877 to your computer and use it in GitHub Desktop.
Save einblicker/2928877 to your computer and use it in GitHub Desktop.
FS0193 internal errorになるコード
type A<'X, 'Y when 'X :> A<'X, 'Y> and 'Y :> B<'X, 'Y>> = interface end
and B<'X, 'Y when 'X :> A<'X, 'Y> and 'Y :> B<'X, 'Y>> = interface end
type C = inherit A<C, D>
and D = inherit B<C, D>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment