blob: 17cb9f12b5540375b59fb94ab0a15e9c22a7f217 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// RUN: %dafny /compile:3 "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
method Main() {
var A := map[0 := 1];
var B := map x | x in (set y | y in A) :: A[x];
print A, "\n";
print B, "\n";
}
|