Test/dafny4/Bug70.dfy


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

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

module M1
{
  datatype d = D()
}

module M2 { import opened M1 }
module M3 { import opened M1 }

module M4
{
  import opened M2
  import opened M3
  method Main()
  {
    var x := D();
  }
}