diff options
| author |  leino <unknown> | 2014-08-27 13:43:51 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-27 13:43:51 -0700 |
| commit | c797efff6e6eb38a991ced512fe028fa979f19eb (patch) | |
| tree | 3b6d9f55f242c742947e15d94541bae1597fe9ad /Test/dafny0/Newtypes.dfy.expect | |
| parent | b160a16857b62e8ea47774939afde8f51454941f (diff) | |
Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are now created by the parser into the system module.
Diffstat (limited to 'Test/dafny0/Newtypes.dfy.expect')
| -rw-r--r-- | Test/dafny0/Newtypes.dfy.expect | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Test/dafny0/Newtypes.dfy.expect b/Test/dafny0/Newtypes.dfy.expect index 0161a713..2678e526 100644 --- a/Test/dafny0/Newtypes.dfy.expect +++ b/Test/dafny0/Newtypes.dfy.expect @@ -1,22 +1,22 @@ -DerivedTypes.dfy(74,11): Error: cannot find witness that shows type is inhabited (sorry, for now, only tried 0)
+Newtypes.dfy(74,11): Error: cannot find witness that shows type is inhabited (sorry, for now, only tried 0)
Execution trace:
(0,0): anon0
-DerivedTypes.dfy(76,45): Error: possible division by zero
+Newtypes.dfy(76,45): Error: possible division by zero
Execution trace:
(0,0): anon0
(0,0): anon3_Then
-DerivedTypes.dfy(87,14): Error: result of operation might violate newtype constraint
+Newtypes.dfy(87,14): Error: result of operation might violate newtype constraint
Execution trace:
(0,0): anon0
-DerivedTypes.dfy(95,12): Error: result of operation might violate newtype constraint
+Newtypes.dfy(95,12): Error: result of operation might violate newtype constraint
Execution trace:
(0,0): anon0
(0,0): anon3_Then
-DerivedTypes.dfy(97,14): Error: result of operation might violate newtype constraint
+Newtypes.dfy(97,14): Error: result of operation might violate newtype constraint
Execution trace:
(0,0): anon0
(0,0): anon3_Else
-DerivedTypes.dfy(104,16): Error: result of operation might violate newtype constraint
+Newtypes.dfy(104,16): Error: result of operation might violate newtype constraint
Execution trace:
(0,0): anon0
|