diff options
| author |  leino <unknown> | 2014-10-25 01:03:43 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-25 01:03:43 -0700 |
| commit | bd58ad0dcd2e3745cb74701f494be547189f8d1c (patch) | |
| tree | ad683ad8a1f0bd2bd53866f0c39275e195d809d7 /Source/Dafny/Parser.cs | |
| parent | abae3f833c387594b1c29f6e8b27c0ad655b3062 (diff) | |
Marked "free" as soon-to-be-deprecated
Diffstat (limited to 'Source/Dafny/Parser.cs')
| -rw-r--r-- | Source/Dafny/Parser.cs | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 20f9332d..2358fc79 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -1465,7 +1465,9 @@ ref Attributes readsAttrs, ref Attributes modAttrs, ref Attributes decrAttrs) { } else if (StartOf(14)) {
if (la.kind == 54) {
Get();
- isFree = true;
+ isFree = true;
+ errors.Warning(t, "the 'free' keyword is soon to be deprecated");
+
}
if (la.kind == 57) {
Get();
@@ -1543,7 +1545,9 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo } else if (la.kind == 14 || la.kind == 54 || la.kind == 55) {
if (la.kind == 54) {
Get();
- isFree = true;
+ isFree = true;
+ errors.Warning(t, "the 'free' keyword is soon to be deprecated");
+
}
if (la.kind == 14) {
Get();
@@ -2226,7 +2230,9 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo isFree = false;
if (la.kind == 54) {
Get();
- isFree = true;
+ isFree = true;
+ errors.Warning(t, "the 'free' keyword is soon to be deprecated");
+
}
Expect(55);
Expression(out e, false, true);
@@ -2582,7 +2588,9 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo while (!(la.kind == 0 || la.kind == 54 || la.kind == 88)) {SynErr(195); Get();}
if (la.kind == 54) {
Get();
- isFree = true;
+ isFree = true;
+ errors.Warning(t, "the 'free' keyword is soon to be deprecated");
+
}
Expect(88);
while (IsAttribute()) {
|