Test/dafny4/Bug107.dfy


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// RUN: %dafny /compile:3 "%s" > "%t"
// RUN: %diff "%s.expect" "%t"

method Main()
{
  var f := Inc;
	print(f(4));
}

function method Inc(x: int): int
{
  x + 2
}