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.

Sign up for GitHub

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

Diagnostics/extended data: support NoConstructorsAvailableForType #16543

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

Release notes

a41cdb3
Select commit
Loading
Failed to load commit list.
Draft

Diagnostics/extended data: support NoConstructorsAvailableForType #16543

Release notes
a41cdb3
Select commit
Loading
Failed to load commit list.
Azure Pipelines / fsharp-ci failed Jan 17, 2024 in 55m 15s

Build #20240117.21 had test failures

10 errors / 2 warnings

Details

Tests

  • Failed: 7 (0.03%)
  • Passed: 22,847 (95.86%)
  • Other: 979 (4.11%)
  • Total: 23,833

Annotations

Check failure on line 66110 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L66110 

(NETCORE_ENGINEERING_TELEMETRY=Test) Error running tests (exit code '1').

Check failure on line 66111 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L66111 

Bash exited with code '1'.

Check failure on line 179590 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L179590 

(NETCORE_ENGINEERING_TELEMETRY=Test) Error running tests (exit code '1').

Check failure on line 179591 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Build log #L179591 

Bash exited with code '1'.

Check failure on line 1 in Conformance.BasicGrammarElements.ExceptionDefinition.E_InheritException_fs

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Conformance.BasicGrammarElements.ExceptionDefinition.E_InheritException_fs 

NUnit.Framework.AssertionException :   Mismatched error message:
Expecting: (Error 1133, Line 9, Col 5, Line 9, Col 24, "No constructors are available for the type 'FSharpExn'")
Actual:    (Error 1133, Line 1, Col 1, Line 1, Col 1, "No constructors are available for the type 'FSharpExn'")

  Expected string length 101 but was 100. Strings differ at index 18.
  Expected: "(Error 1133, Line 9, Col 5, Line 9, Col 24, "No constructors ..."
  But was:  "(Error 1133, Line 1, Col 1, Line 1, Col 1, "No constructors a..."
  -----------------------------^
Raw output 
   at NUnit.Framework.Assert.ReportFailure(String message)
   at NUnit.Framework.Assert.ReportFailure(ConstraintResult result, String message, Object[] args)
   at NUnit.Framework.Assert.That[TActual](TActual actual, IResolveConstraint expression, String message, Object[] args)
   at NUnit.Framework.Assert.AreEqual(Object expected, Object actual, String message, Object[] args)
   at [email protected](String actual, String expected) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1470
   at Microsoft.FSharp.Collections.ListModule.loop@248-27[T1,T2](FSharpFunc`3 f, FSharpList`1 list1, FSharpList`1 list2) in D:\a\_work\1\s\src\FSharp.Core\list.fs:line 252
   at Microsoft.FSharp.Collections.ListModule.Iterate2[T1,T2](FSharpFunc`2 action, FSharpList`1 list1, FSharpList`1 list2) in D:\a\_work\1\s\src\FSharp.Core\list.fs:line 246
   at FSharp.Test.Compiler.Assertions.assertErrors(String what, Int32 libAdjust, FSharpList`1 source, FSharpList`1 expected) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1468
   at FSharp.Test.Compiler.Assertions.assertResultsCategory(String what, FSharpFunc`2 selector, FSharpList`1 expected, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1503
   at FSharp.Test.Compiler.Assertions.withResultsIgnoreNativeRange(FSharpList`1 expectedResults, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1507
   at FSharp.Test.Compiler.Assertions.withDiagnostics(FSharpList`1 expected, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1525
   at Conformance.BasicGrammarElements.ExceptionDefinition.E_InheritException_fs(CompilationUnit compilation) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Conformance\BasicGrammarElements\ExceptionDefinitions\ExceptionDefinitions.fs:line 289
   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 Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20 version 5_0

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20 version 5_0 

NUnit.Framework.AssertionException :   D:\a\_work\1\s\tests\fsharp\typecheck/sigs/version50\neg20.bsl
  Expected: <empty>
  But was:  "Unexpectedly missing (expected, not actual):
    neg20.fs(370,19,370,38): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(372,22,372,41): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(428,19,428,38): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(430,22,430,41): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'

Unexpectedly present (actual, not expected):
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17172891,'?17172892>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17172912,'?17172913>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17173301,'?17173302>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17173321,'?17173322>'
"
Raw output 
   at NUnit.Framework.Assert.ReportFailure(String message)
   at NUnit.Framework.Assert.ReportFailure(ConstraintResult result, String message, Object[] args)
   at NUnit.Framework.Assert.That[TActual](TActual actual, IResolveConstraint expression, String message, Object[] args)
   at FSharp.Test.Compiler.Assertions.TextBasedDiagnosticAsserts.withResultsMatchingFile(String path, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1590
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.diffNegativeBaseline[a](CompilationUnit cr, String absFolder, String testName, a _version) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 71
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleTestBuildAndRunAuxVersion(String folder, FSharpList`1 bonusArgs, ExecutionMode mode, LangVersion langVersion) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 154
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTestAux(String folder, FSharpList`1 bonusArgs, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 164
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTest(String folder, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 166
   at Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20 version 5_0() in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\MigratedTypeCheckTests.fs:line 84

Check failure on line 1 in Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20 

NUnit.Framework.AssertionException :   D:\a\_work\1\s\tests\fsharp\typecheck/sigs\neg20.bsl
  Expected: <empty>
  But was:  "Unexpectedly missing (expected, not actual):
    neg20.fs(370,19,370,38): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(372,22,372,41): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(428,19,428,38): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'
    neg20.fs(430,22,430,41): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'a,'b>'

Unexpectedly present (actual, not expected):
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17312483,'?17312484>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17312504,'?17312505>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17312893,'?17312894>'
    neg20.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'OverloadedClassName<'?17312913,'?17312914>'
"
Raw output 
   at NUnit.Framework.Assert.ReportFailure(String message)
   at NUnit.Framework.Assert.ReportFailure(ConstraintResult result, String message, Object[] args)
   at NUnit.Framework.Assert.That[TActual](TActual actual, IResolveConstraint expression, String message, Object[] args)
   at FSharp.Test.Compiler.Assertions.TextBasedDiagnosticAsserts.withResultsMatchingFile(String path, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1590
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.diffNegativeBaseline[a](CompilationUnit cr, String absFolder, String testName, a _version) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 71
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleTestBuildAndRunAuxVersion(String folder, FSharpList`1 bonusArgs, ExecutionMode mode, LangVersion langVersion) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 154
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTestAux(String folder, FSharpList`1 bonusArgs, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 164
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTest(String folder, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 166
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleNegTest(String folder, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 167
   at Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg20() in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\MigratedTypeCheckTests.fs:line 79

Check failure on line 1 in Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg96

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci

Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg96 

NUnit.Framework.AssertionException :   D:\a\_work\1\s\tests\fsharp\typecheck/sigs\neg96.bsl
  Expected: <empty>
  But was:  "Unexpectedly missing (expected, not actual):
    neg96.fs(11,9,11,21): typecheck error FS1133: No constructors are available for the type 'StructRecord'

Unexpectedly present (actual, not expected):
    neg96.fs(1,1,1,1): typecheck error FS1133: No constructors are available for the type 'StructRecord'
"
Raw output 
   at NUnit.Framework.Assert.ReportFailure(String message)
   at NUnit.Framework.Assert.ReportFailure(ConstraintResult result, String message, Object[] args)
   at NUnit.Framework.Assert.That[TActual](TActual actual, IResolveConstraint expression, String message, Object[] args)
   at FSharp.Test.Compiler.Assertions.TextBasedDiagnosticAsserts.withResultsMatchingFile(String path, CompilationResult result) in D:\a\_work\1\s\tests\FSharp.Test.Utilities\Compiler.fs:line 1590
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.diffNegativeBaseline[a](CompilationUnit cr, String absFolder, String testName, a _version) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 71
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleTestBuildAndRunAuxVersion(String folder, FSharpList`1 bonusArgs, ExecutionMode mode, LangVersion langVersion) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 154
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTestAux(String folder, FSharpList`1 bonusArgs, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 164
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleVersionedNegTest(String folder, LangVersion version, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 166
   at Miscellaneous.FsharpSuiteMigrated.TestFrameworkAdapter.singleNegTest(String folder, String testName) in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\FsharpSuiteMigrated.fs:line 167
   at Miscellaneous.FsharpSuiteMigrated_TypeCheckTests.type check neg96() in D:\a\_work\1\s\tests\FSharp.Compiler.ComponentTests\Miscellaneous\MigratedTypeCheckTests.fs:line 315
View more details on Azure Pipelines