summaryrefslogtreecommitdiff
path: root/Test/dafny0/DisplayExpressions.dfy.expect
blob: e12353f74d8f8c63f271bfa1db1d23f1fa72e238 (plain)
1
2
3
4
5
6
DisplayExpressions.dfy(5,6): Error: the type of this variable is underspecified
DisplayExpressions.dfy(10,6): Error: the type of this variable is underspecified
DisplayExpressions.dfy(15,6): Error: the type of this variable is underspecified
DisplayExpressions.dfy(20,6): Error: the type of this variable is underspecified
DisplayExpressions.dfy(25,12): Error: the type of this expression is underspecified
5 resolution/type errors detected in DisplayExpressions.dfy