Use IOrigin type in most locations where RangeToken is used
#10819
keyboardDrummerdoc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
4s
doctests
2m 10s
Annotations
10 errors and 5 warnings
|
doctests:
Source/DafnyCore/AST/Modules/LiteralModuleDecl.cs#L48
Argument 2: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
doctests:
Source/DafnyCore/Rewriters/RefinementTransformer.cs#L1658
Argument 2: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
doctests:
Source/DafnyCore/Parser.cs#L3288
Argument 1: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
doctests:
Source/DafnyCore/Parser.cs#L3568
Argument 1: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
doctests:
Source/DafnyCore/ProofDependencyWarnings.cs#L177
Cannot implicitly convert type 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'. An explicit conversion exists (are you missing a cast?)
|
|
doctests:
Source/DafnyCore/ProofDependencyWarnings.cs#L183
Cannot implicitly convert type 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'. An explicit conversion exists (are you missing a cast?)
|
|
doctests:
Source/DafnyCore/Generic/ErrorRegistry.cs#L33
'IOrigin' does not contain a definition for 'ToDafnyRange' and no accessible extension method 'ToDafnyRange' accepting a first argument of type 'IOrigin' could be found (are you missing a using directive or an assembly reference?)
|
|
doctests:
Source/DafnyCore/Generic/EmptyNode.cs#L7
Cannot create an instance of the abstract type or interface 'IOrigin'
|
|
doctests:
Source/DafnyCore/Generic/NodeExtensions.cs#L154
'IOrigin' does not contain a definition for 'ToDafnyRange' and no accessible extension method 'ToDafnyRange' accepting a first argument of type 'IOrigin' could be found (are you missing a using directive or an assembly reference?)
|
|
doctests:
Source/DafnyCore/Resolver/ModuleResolver.cs#L871
Argument 2: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
doctests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
doctests:
Source/DafnyCore/AST/Tokens.cs#L162
'BoogieRangeOrigin.StartToken' hides inherited member 'OriginWrapper.StartToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
doctests:
Source/DafnyCore/AST/Tokens.cs#L163
'BoogieRangeOrigin.EndToken' hides inherited member 'OriginWrapper.EndToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
doctests:
Source/DafnyCore/AST/Tokens.cs#L162
'BoogieRangeOrigin.StartToken' hides inherited member 'OriginWrapper.StartToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
doctests:
Source/DafnyCore/AST/Tokens.cs#L163
'BoogieRangeOrigin.EndToken' hides inherited member 'OriginWrapper.EndToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|