diff options
| author |  qunyanm <unknown> | 2015-03-05 12:04:37 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-03-05 12:04:37 -0800 |
| commit | db30cafd94527e73e969457c9c00e8c67300d7d4 (patch) | |
| tree | 304827ba0d57583141f110b2834ae040b7453bb4 /Source/Dafny/Dafny.atg | |
| parent | dbce023dbbbc2a73853c3d2b6251e85d4d627376 (diff) | |
Stop pretty-print from emitting deprecated semi-colons.
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 1280e3fd..d1391277 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -550,9 +550,8 @@ SubModuleDecl<ModuleDefinition parent, out ModuleDecl submodule> [ SYNC ";"
// This semi-colon used to be required, but it seems silly to have it.
// To stage the transition toward not having it at all, let's make it optional for now. Then,
- // in a next big version of Dafny, including the following warning message:
- // (. errors.Warning(t, "the semi-colon that used to terminate a sub-module declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
- // And in a version after that, don't allow the semi-colon at all.
+ // in the next big version of Dafny, don't allow the semi-colon at all.
+ (. errors.Warning(t, "the semi-colon that used to terminate a sub-module declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
]
(. if (submodule == null) {
idPath = new List<IToken>();
@@ -678,9 +677,8 @@ DatatypeDecl<ModuleDefinition/*!*/ module, out DatatypeDecl/*!*/ dt> [ SYNC ";"
// This semi-colon used to be required, but it seems silly to have it.
// To stage the transition toward not having it at all, let's make it optional for now. Then,
- // in a next big version of Dafny, including the following warning message:
- // (. errors.Warning(t, "the semi-colon that used to terminate a (co)datatype declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
- // And in a version after that, don't allow the semi-colon at all.
+ // in the next big version of Dafny, don't allow the semi-colon at all.
+ (. errors.Warning(t, "the semi-colon that used to terminate a (co)datatype declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
]
(. if (co) {
dt = new CoDatatypeDecl(id, id.val, module, typeArgs, ctors, attrs);
@@ -761,9 +759,8 @@ OtherTypeDecl<ModuleDefinition module, out TopLevelDecl td> [ SYNC ";"
// This semi-colon used to be required, but it seems silly to have it.
// To stage the transition toward not having it at all, let's make it optional for now. Then,
- // in a next big version of Dafny, including the following warning message:
- // (. errors.Warning(t, "the semi-colon that used to terminate an opaque-type declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
- // And in a version after that, don't allow the semi-colon at all.
+ // in the next big version of Dafny, don't allow the semi-colon at all.
+ (. errors.Warning(t, "the semi-colon that used to terminate an opaque-type declaration has been deprecated; in the new syntax, just leave off the semi-colon"); .)
]
.
GIdentType<bool allowGhostKeyword, out IToken/*!*/ id, out Type/*!*/ ty, out bool isGhost>
|