diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-21 22:40:44 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-21 22:40:44 -0800 |
| commit | 456b38819dd1bdafdf2baaa59125ecf9910722ed (patch) | |
| tree | 30a578b1c14143c1ae5b4d321b9f7bc587d6852a /Test/dafny0/Array.dfy | |
| parent | 1558959e901ab53203f08c1dcbc6acaa7ed7460f (diff) | |
Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbitrary type (like a global type parameter). In the future, a refined module may allow such types to be instantiated.
Diffstat (limited to 'Test/dafny0/Array.dfy')
| -rw-r--r-- | Test/dafny0/Array.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Array.dfy b/Test/dafny0/Array.dfy index 17500c97..d8bffce4 100644 --- a/Test/dafny0/Array.dfy +++ b/Test/dafny0/Array.dfy @@ -136,7 +136,7 @@ class A { }
}
-class B { }
+type B;
// -------------------------------
|