Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support CallerArgumentExpression #17519

Draft
wants to merge 22 commits into
base: main
Choose a base branch
from

Merge remote-tracking branch 'upstream/main' into SupportCallerArgume…

1bdae47
Select commit
Loading
Failed to load commit list.
Draft

Support CallerArgumentExpression #17519

Merge remote-tracking branch 'upstream/main' into SupportCallerArgume…
1bdae47
Select commit
Loading
Failed to load commit list.
Azure Pipelines / fsharp-ci failed Sep 26, 2024 in 1h 0m 26s

Build #20240926.22 had test failures

Details

Tests

  • Failed: 30 (0.09%)
  • Passed: 31,795 (95.11%)
  • Other: 1,606 (4.80%)
  • Total: 33,431

Annotations

Check failure on line 17 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L17

Bash exited with code '99'.

Check failure on line 101 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L101

Bash exited with code '1'.

Check failure on line 51930 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L51930

(NETCORE_ENGINEERING_TELEMETRY=Test) Failure running tests

Check failure on line 51931 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L51931

Cmd.exe exited with code '1'.

Check failure on line 1 in CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 3, source: "module A\n(\n#line 1 \"xyz.fs\"\n)\n ", expectedRange: "Line.fs:(2,0--2,1)")

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 3, source: "module A\n(\n#line 1 \"xyz.fs\"\n)\n ", expectedRange: "Line.fs:(2,0--2,1)")

System.Exception : case3: expected: Line.fs:(2,0--2,1), found Line.fs:(2,0--2,1) 
Raw output
   at CompilerDirectives.Line.check expr range interacting with line directive[a](a case, String source, String expectedRange) in /Users/runner/work/1/s/tests/FSharp.Compiler.ComponentTests/CompilerDirectives/Line.fs:line 65
   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)
   at System.Reflection.MethodBaseInvoker.InvokeDirectByRefWithFewArgs(Object obj, Span`1 copyOfArgs, BindingFlags invokeAttr)

Check failure on line 1 in CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 2, source: "module A\n(\n#line 1 \"xyz.fs\"\nprintfn \"\"\n)\n"···, expectedRange: "Line.fs:(2,0--2,1)")

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 2, source: "module A\n(\n#line 1 \"xyz.fs\"\nprintfn \"\"\n)\n"···, expectedRange: "Line.fs:(2,0--2,1)")

System.Exception : case2: expected: Line.fs:(2,0--2,1), found Line.fs:(2,0--2,1) 
Raw output
   at CompilerDirectives.Line.check expr range interacting with line directive[a](a case, String source, String expectedRange) in /Users/runner/work/1/s/tests/FSharp.Compiler.ComponentTests/CompilerDirectives/Line.fs:line 65
   at InvokeStub_Line.check expr range interacting with line directive(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithFewArgs(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check failure on line 1 in CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 1, source: "module A\n#line 1 \"xyz.fs\"\n(\nprintfn \"\"\n)\n"···, expectedRange: "xyz.fs:(1,0--3,1)")

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

CompilerDirectives.Line.check expr range interacting with line directive<Int32>(case: 1, source: "module A\n#line 1 \"xyz.fs\"\n(\nprintfn \"\"\n)\n"···, expectedRange: "xyz.fs:(1,0--3,1)")

System.Exception : case1: expected: xyz.fs:(1,0--3,1), found xyz.fs:(1,0--3,1) (from: (3,0--5,1))
Raw output
   at CompilerDirectives.Line.check expr range interacting with line directive[a](a case, String source, String expectedRange) in /Users/runner/work/1/s/tests/FSharp.Compiler.ComponentTests/CompilerDirectives/Line.fs:line 65
   at InvokeStub_Line.check expr range interacting with line directive(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithFewArgs(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check failure on line 1 in Conformance.BasicGrammarElements.CustomAttributes_CallerArgumentExpression.Can define in F#

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Conformance.BasicGrammarElements.CustomAttributes_CallerArgumentExpression.Can define in F#

System.Exception : Compilation should be successful in order to run.
 Errors: [{ Error = Error 39
   Range = { StartLine = 17
             StartColumn = 26
             EndLine = 17
             EndColumn = 34 }
   NativeRange = (17,26--17,34) 
   Message =
    "The type 'Optional' is not defined. Maybe you want one of the following:
   Option
   option
   OptionalArgument
   voption
   OptionalArgumentAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 17
             StartColumn = 36
             EndLine = 17
             EndColumn = 57 }
   NativeRange = (17,36--17,57) 
   Message =
    "The type 'DefaultParameterValue' is not defined. Maybe you want one of the following:
   DefaultValueAttribute
   DefaultAugmentation
   DefaultValue
   DefaultAugmentationAttribute
   DefaultDependencyAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 18
             StartColumn = 26
             EndLine = 18
             EndColumn = 34 }
   NativeRange = (18,26--18,34) 
   Message =
    "The type 'Optional' is not defined. Maybe you want one of the following:
   Option
   option
   OptionalArgument
   voption
   OptionalArgumentAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 18
             StartColumn = 36
             EndLine = 18
             EndColumn = 57 }
   NativeRange = (18,36--18,57) 
   Message =
    "The type 'DefaultParameterValue' is not defined. Maybe you want one of the following:
   DefaultValueAttribute
   DefaultAugmentation
   DefaultValue
   DefaultAugmentationAttribute
   DefaultDependencyAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 19
             StartColumn = 24
             EndLine = 19
             EndColumn = 32 }
   NativeRange = (19,24--19,32) 
   Message =
    "The type 'Optional' is not defined. Maybe you want one of the following:
   Option
   option
   OptionalArgument
   voption
   OptionalArgumentAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 19
             StartColumn = 34
             EndLine = 19
             EndColumn = 55 }
   NativeRange = (19,34--19,55) 
   Message =
    "The type 'DefaultParameterValue' is not defined. Maybe you want one of the following:
   DefaultValueAttribute
   DefaultAugmentation
   DefaultValue
   DefaultAugmentationAttribute
   DefaultDependencyAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 20
             StartColumn = 48
             EndLine = 20
             EndColumn = 56 }
   NativeRange = (20,48--20,56) 
   Message =
    "The type 'Optional' is not defined. Maybe you want one of the following:
   Option
   option
   OptionalArgument
   voption
   OptionalArgumentAttribute"
   SubCategory = "typecheck" };
 { Error = Error 39
   Range = { StartLine = 20
             StartColumn = 58
             EndLine = 20
             EndColumn = 79 }
   NativeRange = (20,58--20,79) 
   Message =
    "The type 'DefaultParameterValue' is not defined. Maybe you want one of the following:
   DefaultValueAttribute
   DefaultAugmentation
   DefaultValue
   DefaultAugmentationAttribute
   DefaultDependencyAttribute"
   SubCategory = "typecheck" };
 { Error = Error 501
   Range = { StartLine = 24
             StartColumn = 10
             EndLine = 24
             EndColumn = 25 }
   NativeRange = (24,10--24,25) 
   Message =
    "The member or object constructor 'aa' takes 5 argument(s) but is here given 1. The required signature is 'static member A.aa: a: 'a0 * [<CallerMemberName>] b: string * [<CallerLineNumber>] c: int * [<CallerFilePath>] d: string * [<CallerArgumentExpression ("a")>] e: string -> 'a0 * string * int * string * string'."
   SubCategory = "typecheck" }]
Raw output
   at FSharp.Test.Compiler.run(CompilationResult result) in /Users/runner/work/1/s/tests/FSharp.Test.Utilities/Compiler.fs:line 969
   at [email protected](CompilationResult result)
   at [email protected](CompilationUnit x)
   at Conformance.BasicGrammarElements.CustomAttributes_CallerArgumentExpression.Can define in F#() in /Users/runner/work/1/s/tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/CustomAttributes/CallerArgumentExpression.fs:line 52
   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)
   at System.Reflection.MethodBaseInvoker.InvokeWithNoArgs(Object obj, BindingFlags invokeAttr)