diff options
| author |  Rustan Leino <unknown> | 2013-11-18 18:55:22 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-11-18 18:55:22 -0800 |
| commit | 018ff98d7719da19818832258d113e8780ff22fe (patch) | |
| tree | 98f63d10e87f365a7f51a01f850003d52ab0caa7 | |
| parent | bc0f957fb13fc06e7cd22cdbb8bf8923d46a32f9 (diff) | |
Use full name of type in compilation error
| -rw-r--r-- | Source/Dafny/Compiler.cs | 2 | ||||
| -rw-r--r-- | Test/dafny0/Answer | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs index f91f53d1..fbb51bb2 100644 --- a/Source/Dafny/Compiler.cs +++ b/Source/Dafny/Compiler.cs @@ -93,7 +93,7 @@ namespace Microsoft.Dafny { wr.WriteLine();
if (d is ArbitraryTypeDecl) {
var at = (ArbitraryTypeDecl)d;
- Error("Arbitrary type ('{0}') cannot be compiled", at.CompileName);
+ Error("Arbitrary type ('{0}') cannot be compiled", at.FullName);
} else if (d is DatatypeDecl) {
var dt = (DatatypeDecl)d;
Indent(indent);
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 3bee3088..13613f66 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -2403,7 +2403,7 @@ Dafny program verifier finished with 30 verified, 0 errors Compiled assembly into Compilation.exe
Dafny program verifier finished with 9 verified, 0 errors
-Compilation error: Arbitrary type ('MyType') cannot be compiled
+Compilation error: Arbitrary type ('_module.MyType') cannot be compiled
Compilation error: Iterator _module.Iter has no body
Compilation error: Method _module._default.M has no body
Compilation error: Method _module._default.P has no body
|