From 82edb1b179916ee61655ab7e425a17ab5145fac8 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Mon, 20 Oct 2014 17:08:46 -0700
Subject: Added types "char" and "string" (the latter being a synonym for
 "seq<char>"). Added string literals with various escapes--a subset of those
 supported in C# and similar languages, including the C# verbatim strings.
 Previously, the "print" statement and custom attributes could support
 expression-or-string arguments; there is no longer a need to special-case
 these, so these arguments are now just expressions. Fixed lack of operator
 resolution in custom attributes.

---
 Test/cloudmake/CloudMake-CachedBuilds.dfy     | 1 -
 Test/cloudmake/CloudMake-ConsistentBuilds.dfy | 1 -
 Test/cloudmake/CloudMake-ParallelBuilds.dfy   | 2 --
 3 files changed, 4 deletions(-)

(limited to 'Test/cloudmake')

diff --git a/Test/cloudmake/CloudMake-CachedBuilds.dfy b/Test/cloudmake/CloudMake-CachedBuilds.dfy
index 11df8efe..9e1b511e 100644
--- a/Test/cloudmake/CloudMake-CachedBuilds.dfy
+++ b/Test/cloudmake/CloudMake-CachedBuilds.dfy
@@ -247,7 +247,6 @@ abstract module M0 {
   type Path(==)
   function Loc(cmd: string, deps: set<Path>, exp: string): Path
 
-  type string(==)
   type Artifact
   type Identifier
 
diff --git a/Test/cloudmake/CloudMake-ConsistentBuilds.dfy b/Test/cloudmake/CloudMake-ConsistentBuilds.dfy
index 9463d8bc..815352f6 100644
--- a/Test/cloudmake/CloudMake-ConsistentBuilds.dfy
+++ b/Test/cloudmake/CloudMake-ConsistentBuilds.dfy
@@ -334,7 +334,6 @@ datatype Primitive = primCreatePath | primExec
 datatype Reason = rCompatibility | rValidity | rInconsistentCache
 
 datatype Path = OpaquePath(int) | TransparentPath(int)
-type string(==)
 type Artifact
 type Identifier
 
diff --git a/Test/cloudmake/CloudMake-ParallelBuilds.dfy b/Test/cloudmake/CloudMake-ParallelBuilds.dfy
index a4f327ff..07cae317 100644
--- a/Test/cloudmake/CloudMake-ParallelBuilds.dfy
+++ b/Test/cloudmake/CloudMake-ParallelBuilds.dfy
@@ -153,7 +153,6 @@ abstract module M0 {
   type Path(==)
   function Loc(cmd: string, deps: set<Path>, exp: string): Path
 
-  type string(==)
   type Artifact
   type Identifier
 
@@ -778,7 +777,6 @@ module M3 refines M2 {
     a
   }
 
-  datatype string = stringCons(int)
   datatype Artifact = ArtifactCons(int)
   datatype Identifier = IdentifierCons(int)
 
-- 
cgit v1.2.3