diff options
Diffstat (limited to 'Test/dafny0/DerivedTypesResolution.dfy')
| -rw-r--r-- | Test/dafny0/DerivedTypesResolution.dfy | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Test/dafny0/DerivedTypesResolution.dfy b/Test/dafny0/DerivedTypesResolution.dfy index dd9d58e5..b1407f10 100644 --- a/Test/dafny0/DerivedTypesResolution.dfy +++ b/Test/dafny0/DerivedTypesResolution.dfy @@ -110,3 +110,14 @@ module CyclicDependencies { module SelfCycleTest {
newtype SelfCycle = x: int where var s: SelfCycle := 4; s < 10 // error: cyclic dependency on itself
}
+
+module Module0 {
+ import Module1
+ method M(x: int) returns (n: Module1.N9) {
+ var x := Module1.N9; // error
+ }
+}
+
+module Module1 {
+ newtype N9 = int
+}
|