Start (some parsing and resolution) of adding algebraic datatypes to Dafny.

Included VSI-Benchmarks in standard tests.

1 files changed, 4 insertions, 0 deletions

diff --git a/Binaries/DafnyPrelude.bpl b/Binaries/DafnyPrelude.bpl
index 4eee233b..4e524175 100644
--- a/Binaries/DafnyPrelude.bpl
+++ b/Binaries/DafnyPrelude.bpl
@@ -190,6 +190,10 @@ axiom (forall a: ClassName, b: ClassName :: { TypeTuple(a,b) }
 

 // ---------------------------------------------------------------

 

+type DatatypeType;

+

+// ---------------------------------------------------------------

+

 type Field alpha;

 type HeapType = <alpha>[ref,Field alpha]alpha;