blob: b470eb229b12fb6689482ce936baedd55d537024 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Typeclasses eauto := bfs.
Class Foo := {}.
Class Bar := {}.
Instance: Bar.
Instance: Foo -> Bar -> Foo -> Foo | 1.
Instance: Bar -> Foo | 100.
Instance: Foo -> Bar -> Foo -> Foo | 1.
Set Typeclasses Debug.
Timeout 1 Check (_ : Foo). (* timeout *)
|
