1 files changed, 21 insertions, 0 deletions
diff --git a/Test/dafny0/Simple.dfy b/Test/dafny0/Simple.dfy
index 5f0bee87..a224ed91 100644
--- a/Test/dafny0/Simple.dfy
+++ b/Test/dafny0/Simple.dfy
@@ -28,3 +28,24 @@ class MyClass<T,U> {
     }
   }
 }
+
+// some datatype stuff:
+
+datatype List<T> {
+  Nil;
+  Cons(T, List<T>);
+}
+
+datatype WildData {
+  Something();
+  JustAboutAnything<G,H>(G, myName: set<H>, int, WildData);
+  More(List<int>);
+}
+
+datatype Nothing {
+}
+
+class C {
+  var w: WildData;
+  var list: List<bool>;
+}