blob: dfb4e97877f49decfeb13f7cb435f498c9fb4e9b (
plain)
1
2
3
4
5
|
Underspecified.dfy(6,11): Error: type of bound variable '_v0' could not determined; please specify the type explicitly
Underspecified.dfy(7,12): Error: type of bound variable '_v1' could not determined; please specify the type explicitly
Underspecified.dfy(7,15): Error: type of bound variable '_v2' could not determined; please specify the type explicitly
Underspecified.dfy(8,11): Error: type of bound variable 'a' could not determined; please specify the type explicitly
4 resolution/type errors detected in Underspecified.dfy
|
