diff options
author | Dan Rosén <danr@chalmers.se> | 2014-08-14 17:45:39 -0700 |
---|---|---|
committer | Dan Rosén <danr@chalmers.se> | 2014-08-14 17:45:39 -0700 |
commit | f6f433a22fe5149eb1726c98cb0b3bfed7e9ffce (patch) | |
tree | 3fc1e358809eb157d6ec3f6039f6781261cd24ff /Test/hofs/ResolveError.dfy | |
parent | 777457959bc063f89e19715d202d71b78576e477 (diff) |
Make arrow types not look like reference types for the resolver
Diffstat (limited to 'Test/hofs/ResolveError.dfy')
-rw-r--r-- | Test/hofs/ResolveError.dfy | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Test/hofs/ResolveError.dfy b/Test/hofs/ResolveError.dfy index 1e389f04..31de9424 100644 --- a/Test/hofs/ResolveError.dfy +++ b/Test/hofs/ResolveError.dfy @@ -56,3 +56,8 @@ method Bla() { assert Bool; } +method Pli(f : A -> B) requires f != null; +{ + var o : object; + assert f != o; +} |