diff options
| author |  leino <unknown> | 2015-04-05 01:56:49 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-05 01:56:49 -0700 |
| commit | e9c7c508c1900e6195164d263c9249e3c7b56b51 (patch) | |
| tree | 015bbdd42d118838ed4d2a758444d7e1eb55d46b /Test/dafny0/Trait/TraitBasix.dfy.expect | |
| parent | cee337934c619bfeb646d83243eff1f08e83902d (diff) | |
Fixed some bugs in override axioms (but still missing support for classes with type parameters).
Resolve ClassDecl.TraitsTyp as types.
Moved declaration of TraitParent and NoTraitAtAll to prelude.
Diffstat (limited to 'Test/dafny0/Trait/TraitBasix.dfy.expect')
| -rw-r--r-- | Test/dafny0/Trait/TraitBasix.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Trait/TraitBasix.dfy.expect b/Test/dafny0/Trait/TraitBasix.dfy.expect index 5ebf1d5c..84465fea 100644 --- a/Test/dafny0/Trait/TraitBasix.dfy.expect +++ b/Test/dafny0/Trait/TraitBasix.dfy.expect @@ -1,4 +1,4 @@ -TraitBasix.dfy(91,24): Error: unresolved identifier: IX
+TraitBasix.dfy(91,24): Error: Undeclared top-level type or type parameter: IX (did you forget to qualify a name?)
TraitBasix.dfy(77,8): Error: member in the class has been already inherited from its parent trait
TraitBasix.dfy(70,8): Error: class: I0Child does not implement trait member: Customizable
TraitBasix.dfy(80,8): Error: class: I0Child2 does not implement trait member: F
|