Test/dafny4/Bug116.dfy


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

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

datatype struct = S  // this is ok

method Main()
{
  var s := S;  // this line generates illegal C# code
  print s;
}