diff options
Diffstat (limited to 'Test/hofs/Field.dfy')
-rw-r--r-- | Test/hofs/Field.dfy | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Test/hofs/Field.dfy b/Test/hofs/Field.dfy new file mode 100644 index 00000000..6d3412d7 --- /dev/null +++ b/Test/hofs/Field.dfy @@ -0,0 +1,23 @@ +// RUN: %dafny /compile:0 "%s" > "%t" +// RUN: %diff "%s.expect" "%t" + +// calling fields should not make a resolution error: + +class Ref<A> { + var val: A; +} + +method Nope() { + var f := new Ref<int -> bool>; + assert f.val(0); +} + +class FnRef<A,B> { + var fn: A -> B; +} + +method Nope2() { + var f := new FnRef<int,bool>; + assert f.fn(0); +} + |