diff options
| author |  Dan Rosén <danr@chalmers.se> | 2014-08-14 17:43:34 -0700 |
|---|---|---|
| committer | Dan Rosén <danr@chalmers.se> | 2014-08-14 17:43:34 -0700 |
| commit | 0999203f82d0ff7d0a1f3e981adaa4225b26022d (patch) | |
| tree | 9b29c39bd692d8010c5ef7e38a21dc3f8cfc02a2 /Test/hofs/ResolveError.dfy | |
| parent | 4ab6c9f4cfa6295369fde54084f3e1f4ed70d5e4 (diff) | |
Reword error message for type error in lambda requires clause
Diffstat (limited to 'Test/hofs/ResolveError.dfy')
| -rw-r--r-- | Test/hofs/ResolveError.dfy | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Test/hofs/ResolveError.dfy b/Test/hofs/ResolveError.dfy index fa5ffb0c..1e389f04 100644 --- a/Test/hofs/ResolveError.dfy +++ b/Test/hofs/ResolveError.dfy @@ -40,6 +40,13 @@ method RequiresFail(f : int -> int) { } +method Bogus() +{ + var f; + f := x reads 1 => x; + f := x requires 1 => x; +} + predicate method Bool() { true |