diff --git a/src/fsharp/tainted.fs b/src/fsharp/tainted.fs index 5d43f463900..b77a44b8060 100644 --- a/src/fsharp/tainted.fs +++ b/src/fsharp/tainted.fs @@ -89,18 +89,18 @@ type internal Tainted<'T> (context : TaintedContext, value : 'T) = member this.TypeProviderAssemblyRef = context.TypeProviderAssemblyRef - member this.Protect f (range:range) = + member this.Protect f (range:range) = try f value with | :? TypeProviderError -> reraise() | :? AggregateException as ae -> let errNum,_ = FSComp.SR.etProviderError("", "") - let messages = [for e in ae.InnerExceptions -> e.Message] + let messages = [for e in ae.InnerExceptions -> string e] raise <| TypeProviderError(errNum, this.TypeProviderDesignation, range, messages) | e -> let errNum,_ = FSComp.SR.etProviderError("", "") - raise <| TypeProviderError((errNum, e.Message), this.TypeProviderDesignation, range) + raise <| TypeProviderError((errNum, string e), this.TypeProviderDesignation, range) member this.TypeProvider = Tainted<_>(context, context.TypeProvider) diff --git a/tests/fsharp/TypeProviderTests.fs b/tests/fsharp/TypeProviderTests.fs index fddde1cb6a3..5971bb049ae 100644 --- a/tests/fsharp/TypeProviderTests.fs +++ b/tests/fsharp/TypeProviderTests.fs @@ -239,6 +239,7 @@ let ``negative type provider tests`` (name:string) = File.ReadAllText(sprintf "%s%s.%sbslpp" dirp name pref) .Replace("", getfullpath cfg (sprintf "provider_%s.dll" name)) .Replace("",sprintf "file:///%s" dirp) + .Replace("", (Path.Combine(__SOURCE_DIRECTORY__, "..", "..") |> DirectoryInfo).FullName) |> fun txt -> File.WriteAllText(sprintf "%s%s.%sbsl" dirp name pref,txt) if name = "ProviderAttribute_EmptyConsume" || name = "providerAttributeErrorConsume" then () diff --git a/tests/fsharp/readme.md b/tests/fsharp/readme.md new file mode 100644 index 00000000000..3bf28e25c69 --- /dev/null +++ b/tests/fsharp/readme.md @@ -0,0 +1,58 @@ +# Folder organization + +This folder contains a set of test suites related to fsc and fsi. + +## EndToEndBuildTests + +To be described. + +## fsharp + +An heterogenous set of tests. + +### about .bsl based tests (baseline) + +Some of the tests in this suite are checking the compiler output messages against an expected baseline; the baseline is stored in .bslpp or .bsl files and after the test is run, an associated .err or .vserr file is expected to be matching the baseline. + +.bslpp indicates a preprocess baseline, which is transformed on the test environment into a .bsl file before the diff is performed. + +You can look at the `diff` function in single-test.fs. + +`Test.fs` file can be used in interactive, for example you can send the top of it and run a single test + +```fsharp +singleNegTest (testConfig "typecheck/sigs") "neg1" +``` + +If you want to update all the baseline files, you can also use the convenience script `update.base.line.with.actuals.fsx`, note that the .bslpp will need to have their preprocess peculiarities edited back in (or reverted) when using it. + +## FSharp.Build.UnitTests + +To be described. + +## FSharp.Compiler.UnitTests + +To be described. + +## FSharp.Core.UnitTests + +To be described. + +## fsharpqa + +To be described. + +## projects + +To be described. + +## scripts + +To be described. + +## service + +To be described. + +## walkthroughs + diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bsl deleted file mode 100644 index 711a55cb552..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bsl +++ /dev/null @@ -1,2 +0,0 @@ - -EVIL_PROVIDER_GetInvokerExpression_Exception.fsx(7,9,7,80): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereApplyGetInvokerExpressionRaisesException' reported an error in the context of provided type 'FSharp.EvilProviderWhereGetInvokerExpressionRaisesException.TheType', member 'get_Foo'. The error: deliberate error for testing purposes diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bslpp new file mode 100644 index 00000000000..101d8c261bc --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetInvokerExpression_Exception.bslpp @@ -0,0 +1,8 @@ + +EVIL_PROVIDER_GetInvokerExpression_Exception.fsx(7,9,7,80): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereApplyGetInvokerExpressionRaisesException' reported an error in the context of provided type 'FSharp.EvilProviderWhereGetInvokerExpressionRaisesException.TheType', member 'get_Foo'. The error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@242-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.GetInvokerExpression(ITypeProvider provider, ProvidedMethodBase methodBase, ProvidedVar[] paramExprs) in \src\fsharp\ExtensionTyping.fs:line 891 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bsl deleted file mode 100644 index e69faf09038..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bsl +++ /dev/null @@ -1,4 +0,0 @@ - -EVIL_PROVIDER_GetNamespaces_Exception.fsx(2,1,2,56): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetNamespacesRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_GetNamespaces_Exception.fsx(2,1,2,56): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bslpp new file mode 100644 index 00000000000..5666f0073d2 --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNamespaces_Exception.bslpp @@ -0,0 +1,8 @@ + +EVIL_PROVIDER_GetNamespaces_Exception.fsx(2,1,2,56): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetNamespacesRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@224-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_GetNamespaces_Exception.fsx(2,1,2,56): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bsl deleted file mode 100644 index 2cbc65c9ef5..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bsl +++ /dev/null @@ -1,4 +0,0 @@ - -EVIL_PROVIDER_GetNestedNamespaces_Exception.fsx(2,1,2,62): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetNestedNamespacesRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_GetNestedNamespaces_Exception.fsx(2,1,2,62): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bslpp new file mode 100644 index 00000000000..f0f6512d236 --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetNestedNamespaces_Exception.bslpp @@ -0,0 +1,8 @@ + +EVIL_PROVIDER_GetNestedNamespaces_Exception.fsx(2,1,2,62): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetNestedNamespacesRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@200-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_GetNestedNamespaces_Exception.fsx(2,1,2,62): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bsl deleted file mode 100644 index 2d6ed1a66b9..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bsl +++ /dev/null @@ -1,4 +0,0 @@ - -EVIL_PROVIDER_GetStaticParameters_Exception.fsx(7,18,7,84): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereGetStaticParametersRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_GetStaticParameters_Exception.fsx(7,18,7,84): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereGetStaticParametersRaisesException' reported an error: deliberate error for testing purposes diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bslpp new file mode 100644 index 00000000000..af6a5a568be --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetStaticParameters_Exception.bslpp @@ -0,0 +1,16 @@ + +EVIL_PROVIDER_GetStaticParameters_Exception.fsx(7,18,7,84): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereGetStaticParametersRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@230-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetStaticParameters(ITypeProvider provider) in \src\fsharp\ExtensionTyping.fs:line 425 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_GetStaticParameters_Exception.fsx(7,18,7,84): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereGetStaticParametersRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@230-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetStaticParameters(ITypeProvider provider) in \src\fsharp\ExtensionTyping.fs:line 425 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bsl deleted file mode 100644 index 8f728f1588d..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bsl +++ /dev/null @@ -1,4 +0,0 @@ - -EVIL_PROVIDER_GetTypes_Exception.fsx(2,1,2,51): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetTypesRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_GetTypes_Exception.fsx(2,1,2,51): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bslpp new file mode 100644 index 00000000000..1f3c3c3f4a0 --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_GetTypes_Exception.bslpp @@ -0,0 +1,8 @@ + +EVIL_PROVIDER_GetTypes_Exception.fsx(2,1,2,51): parse error FS3033: The type provider 'Provider.EvilProviderWhereGetTypesRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@212-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_GetTypes_Exception.fsx(2,1,2,51): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bsl deleted file mode 100644 index afb4e69e198..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bsl +++ /dev/null @@ -1,4 +0,0 @@ - -EVIL_PROVIDER_NamespaceName_Exception.fsx(1,1,1,56): parse error FS3033: The type provider 'Provider.EvilProviderWhereNamespaceNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_NamespaceName_Exception.fsx(1,1,1,56): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bslpp new file mode 100644 index 00000000000..edc4fed5ae9 --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_NamespaceName_Exception.bslpp @@ -0,0 +1,8 @@ + +EVIL_PROVIDER_NamespaceName_Exception.fsx(1,1,1,56): parse error FS3033: The type provider 'Provider.EvilProviderWhereNamespaceNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@206-7.Invoke(Unit _arg28) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_NamespaceName_Exception.fsx(1,1,1,56): parse error FS3020: One or more errors seen during provided type setup diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bsl b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bsl deleted file mode 100644 index 895578c934c..00000000000 --- a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bsl +++ /dev/null @@ -1,20 +0,0 @@ - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS0039: The type 'SomeNameThatDoesntExist' is not defined in 'FSharp.EvilProviderWhereResolveTypeNameRaisesException'. - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: deliberate error for testing purposes - -EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS0039: The type 'SomeNameThatDoesntExist' is not defined in 'FSharp.EvilProviderWhereResolveTypeNameRaisesException'. diff --git a/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bslpp b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bslpp new file mode 100644 index 00000000000..0136e80e7ca --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/EVIL_PROVIDER_ResolveTypeName_Exception.bslpp @@ -0,0 +1,68 @@ + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS0039: The type 'SomeNameThatDoesntExist' is not defined in 'FSharp.EvilProviderWhereResolveTypeNameRaisesException'. + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS3033: The type provider 'Provider.EvilProviderWhereResolveTypeNameRaisesException' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.-ctor@218-7.Invoke(String _arg28) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +EVIL_PROVIDER_ResolveTypeName_Exception.fsx(7,73,7,96): typecheck error FS0039: The type 'SomeNameThatDoesntExist' is not defined in 'FSharp.EvilProviderWhereResolveTypeNameRaisesException'. diff --git a/tests/fsharp/typeProviders/negTests/neg1.bsl b/tests/fsharp/typeProviders/negTests/neg1.bslpp similarity index 69% rename from tests/fsharp/typeProviders/negTests/neg1.bsl rename to tests/fsharp/typeProviders/negTests/neg1.bslpp index ac639a9095c..2b6255a4ac4 100644 --- a/tests/fsharp/typeProviders/negTests/neg1.bsl +++ b/tests/fsharp/typeProviders/negTests/neg1.bslpp @@ -4,9 +4,21 @@ neg1.fsx(3,18,3,70): typecheck error FS0001: This expression was expected to hav but here has type 'int' -neg1.fsx(9,38,9,64): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsArrayTypeRaisesException' member 'IsArray': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(9,38,9,64): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsArrayTypeRaisesException' member 'IsArray': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(9,38,9,64): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsArrayTypeRaisesException' member 'IsArray': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@130.Invoke(Unit _arg1) + + at System.Type.get_IsArray() + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(9,38,9,64): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsArrayTypeRaisesException' member 'IsArray': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@130.Invoke(Unit _arg1) + + at System.Type.get_IsArray() + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(9,38,9,64): typecheck error FS3004: The provided type 'FSharp.EvilProvider.IsArrayTypeRaisesException' has member 'Boo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. @@ -20,25 +32,57 @@ neg1.fsx(10,38,10,60): typecheck error FS3004: The provided type 'FSharp.EvilPro neg1.fsx(10,38,10,60): typecheck error FS3004: The provided type 'FSharp.EvilProvider.IsArrayTypeReturnsTrue' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(11,38,11,66): typecheck error FS0039: The type 'TypeWhereNameRaisesException' is not defined in 'FSharp.EvilProvider'. Maybe you want one of the following: IsArrayTypeRaisesException -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes -neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(11,38,11,66): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'Name' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@134-4.Invoke(Unit _arg5) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(11,38,11,66): typecheck error FS0039: The type 'TypeWhereNameRaisesException' is not defined in 'FSharp.EvilProvider'. Maybe you want one of the following: @@ -64,9 +108,17 @@ neg1.fsx(12,38,12,62): typecheck error FS3073: The type provider 'Provider.EvilP neg1.fsx(12,38,12,62): typecheck error FS0039: The type 'TypeWhereNameReturnsNull' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(13,38,13,66): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsGenericTypeRaisesException' member 'IsGenericType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(13,38,13,66): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsGenericTypeRaisesException' member 'IsGenericType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(13,38,13,66): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsGenericTypeRaisesException' member 'IsGenericType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@132-2.Invoke(Unit _arg3) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(13,38,13,66): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.IsGenericTypeRaisesException' member 'IsGenericType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@132-2.Invoke(Unit _arg3) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(13,38,13,66): typecheck error FS3004: The provided type 'FSharp.EvilProvider.IsGenericTypeRaisesException' has member 'Boo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. @@ -80,39 +132,103 @@ neg1.fsx(14,38,14,62): typecheck error FS3004: The provided type 'FSharp.EvilPro neg1.fsx(14,38,14,62): typecheck error FS3004: The provided type 'FSharp.EvilProvider.IsGenericTypeReturnsTrue' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(15,38,15,70): typecheck error FS0039: The type 'TypeWhereFullNameRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes +neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: System.Exception: deliberate error for testing purposes -neg1.fsx(15,38,15,70): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereFullNameRaisesException' member 'FullName': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@136-6.Invoke(Unit _arg7) -neg1.fsx(15,38,15,70): typecheck error FS3072: The type provider 'Provider.EvilProvider' reported an error: An exception occurred when accessing the 'FullName' of a provided type: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(15,38,15,70): typecheck error FS0039: The type 'TypeWhereFullNameRaisesException' is not defined in 'FSharp.EvilProvider'. @@ -152,15 +268,31 @@ neg1.fsx(16,38,16,66): typecheck error FS3073: The type provider 'Provider.EvilP neg1.fsx(16,38,16,66): typecheck error FS0039: The type 'TypeWhereFullNameReturnsNull' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(17,38,17,71): typecheck error FS3041: Expected provided type with path 'FSharp.EvilProvider' but provided type has path '' -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(17,38,17,71): typecheck error FS3041: Expected provided type with path 'FSharp.EvilProvider' but provided type has path '' @@ -168,17 +300,37 @@ neg1.fsx(17,38,17,71): typecheck error FS3004: The provided type 'FSharp.EvilPro neg1.fsx(17,38,17,71): typecheck error FS3004: The provided type 'FSharp.EvilProvider.TypeWhereNamespaceRaisesException' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(17,38,17,71): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(17,38,17,71): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(17,38,17,71): typecheck error FS3041: Expected provided type with path 'FSharp.EvilProvider' but provided type has path '' -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) -neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(17,38,17,71): typecheck error FS3021: Unexpected exception from provided type 'TypeWhereNamespaceRaisesException' member 'Namespace': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(17,38,17,71): typecheck error FS3041: Expected provided type with path 'FSharp.EvilProvider' but provided type has path '' @@ -186,109 +338,353 @@ neg1.fsx(17,38,17,71): typecheck error FS3004: The provided type 'FSharp.EvilPro neg1.fsx(17,38,17,71): typecheck error FS3004: The provided type 'FSharp.EvilProvider.TypeWhereNamespaceRaisesException' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(17,38,17,71): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(17,38,17,71): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@138-8.Invoke(Unit _arg9) + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(18,39,18,68): typecheck error FS0039: The type 'TypeWhereNamespaceReturnsNull' is not defined in 'FSharp.EvilProvider'. neg1.fsx(18,39,18,68): typecheck error FS0039: The type 'TypeWhereNamespaceReturnsNull' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 -neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.declaringTypes@922-1.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 922 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 + + at Microsoft.FSharp.Compiler.ExtensionTyping.declaringTypes@922-1.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 922 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(19,39,19,67): typecheck error FS3004: The provided type 'FSharp.EvilProvider.DeclaringTypeRaisesException' has member 'Boo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. neg1.fsx(19,39,19,67): typecheck error FS3004: The provided type 'FSharp.EvilProvider.DeclaringTypeRaisesException' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(19,39,19,67): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(19,39,19,67): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) -neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 -neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.GetFSharpPathToProvidedType@1267.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 1267 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 + + at Microsoft.FSharp.Compiler.ExtensionTyping.declaringTypes@922-1.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 922 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(19,39,19,67): typecheck error FS3021: Unexpected exception from provided type 'DeclaringTypeRaisesException' member 'DeclaringType': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 + + at Microsoft.FSharp.Compiler.ExtensionTyping.declaringTypes@922-1.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 922 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(19,39,19,67): typecheck error FS3004: The provided type 'FSharp.EvilProvider.DeclaringTypeRaisesException' has member 'Boo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. neg1.fsx(19,39,19,67): typecheck error FS3004: The provided type 'FSharp.EvilProvider.DeclaringTypeRaisesException' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(19,39,19,67): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(19,39,19,67): typecheck error FS3033: The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@140-10.Invoke(Unit _arg11) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedMemberInfo.get_DeclaringType() in \src\fsharp\ExtensionTyping.fs:line 525 + + at Microsoft.FSharp.Compiler.ExtensionTyping.GetFSharpPathToProvidedType@1267.Invoke(ProvidedType st) in \src\fsharp\ExtensionTyping.fs:line 1267 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(20,39,20,73): typecheck error FS0039: The type 'TypeWhereGetMethodsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(20,39,20,73): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetMethodsRaisesException' member 'GetMethods': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@142-11.Invoke(Unit _arg12) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetMethods() in \src\fsharp\ExtensionTyping.fs:line 409 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(20,39,20,73): typecheck error FS0039: The type 'TypeWhereGetMethodsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(21,39,21,72): typecheck error FS0039: The type 'TypeWhereGetEventsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) -neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(21,39,21,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetEventsRaisesException' member 'GetEvents': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@143-12.Invoke(Unit _arg13) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetEvents() in \src\fsharp\ExtensionTyping.fs:line 410 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(21,39,21,72): typecheck error FS0039: The type 'TypeWhereGetEventsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(22,39,22,72): typecheck error FS0039: The type 'TypeWhereGetFieldsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@144-13.Invoke(Unit _arg14) -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetFields() in \src\fsharp\ExtensionTyping.fs:line 415 -neg1.fsx(22,39,22,72): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetFieldsRaisesException' member 'GetFields': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(22,39,22,72): typecheck error FS0039: The type 'TypeWhereGetFieldsRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(23,39,23,76): typecheck error FS0039: The type 'TypeWhereGetPropertiesRaisesException' is not defined in 'FSharp.EvilProvider'. -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) -neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(23,39,23,76): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetPropertiesRaisesException' member 'GetProperties': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@145-14.Invoke(Unit _arg15) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetProperties() in \src\fsharp\ExtensionTyping.fs:line 412 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(23,39,23,76): typecheck error FS0039: The type 'TypeWhereGetPropertiesRaisesException' is not defined in 'FSharp.EvilProvider'. @@ -296,25 +692,73 @@ neg1.fsx(24,39,24,77): typecheck error FS3004: The provided type 'FSharp.EvilPro neg1.fsx(24,39,24,77): typecheck error FS3004: The provided type 'FSharp.EvilProvider.TypeWhereGetNestedTypesRaisesException' has member 'Foo' which has declaring type 'FSharp.EvilProvider.TheType'. Expected declaring type to be the same as provided type. -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(25,39,25,78): typecheck error FS0039: The type 'TypeWhereGetConstructorsRaisesException' is not defined in 'FSharp.EvilProvider'. Maybe you want one of the following: TypeWhereGetNestedTypesRaisesException -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) -neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: deliberate error for testing purposes + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg1.fsx(25,39,25,78): typecheck error FS3021: Unexpected exception from provided type 'FSharp.EvilProvider.TypeWhereGetConstructorsRaisesException' member 'GetConstructors': The type provider 'Provider.EvilProvider' reported an error: System.Exception: deliberate error for testing purposes + + at .$Provider$fsx.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName@147-16.Invoke(Unit _arg17) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.GetConstructors() in \src\fsharp\ExtensionTyping.fs:line 414 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(25,39,25,78): typecheck error FS0039: The type 'TypeWhereGetConstructorsRaisesException' is not defined in 'FSharp.EvilProvider'. Maybe you want one of the following: @@ -1654,21 +2098,39 @@ neg1.fsx(438,109,438,110): typecheck error FS0001: This expression was expected but here has type 'string' -neg1.fsx(438,9,438,111): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: Specified cast is not valid. +neg1.fsx(438,9,438,111): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: System.InvalidCastException: Specified cast is not valid. + + at Provider.GoodProviderForNegativeStaticParameterTypeTests.Microsoft-FSharp-Core-CompilerServices-ITypeProvider-ApplyStaticArguments(Type typeWithoutArguments, String[] typeNameWithArguments, Object[] staticArguments) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.ApplyStaticArguments(ITypeProvider provider, String[] fullTypePathAfterArguments, Object[] staticArgs) in \src\fsharp\ExtensionTyping.fs:line 430 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(440,119,440,120): typecheck error FS0001: This expression was expected to have type 'int' but here has type 'string' -neg1.fsx(440,19,440,121): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: Specified cast is not valid. +neg1.fsx(440,19,440,121): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: System.InvalidCastException: Specified cast is not valid. + + at Provider.GoodProviderForNegativeStaticParameterTypeTests.Microsoft-FSharp-Core-CompilerServices-ITypeProvider-ApplyStaticArguments(Type typeWithoutArguments, String[] typeNameWithArguments, Object[] staticArguments) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.ApplyStaticArguments(ITypeProvider provider, String[] fullTypePathAfterArguments, Object[] staticArgs) in \src\fsharp\ExtensionTyping.fs:line 430 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(440,119,440,120): typecheck error FS0001: This expression was expected to have type 'int' but here has type 'string' -neg1.fsx(440,19,440,121): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: Specified cast is not valid. +neg1.fsx(440,19,440,121): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeStaticParameterTypeTests' reported an error: System.InvalidCastException: Specified cast is not valid. + + at Provider.GoodProviderForNegativeStaticParameterTypeTests.Microsoft-FSharp-Core-CompilerServices-ITypeProvider-ApplyStaticArguments(Type typeWithoutArguments, String[] typeNameWithArguments, Object[] staticArguments) + + at Microsoft.FSharp.Compiler.ExtensionTyping.ProvidedType.ApplyStaticArguments(ITypeProvider provider, String[] fullTypePathAfterArguments, Object[] staticArgs) in \src\fsharp\ExtensionTyping.fs:line 430 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 neg1.fsx(448,9,448,107): typecheck error FS3148: Too many static parameters. Expected at most 1 parameters, but got 2 unnamed and 0 named parameters. diff --git a/tests/fsharp/typeProviders/negTests/neg2.bsl b/tests/fsharp/typeProviders/negTests/neg2.bsl deleted file mode 100644 index c6d55da6a6c..00000000000 --- a/tests/fsharp/typeProviders/negTests/neg2.bsl +++ /dev/null @@ -1,8 +0,0 @@ - -neg2.fsx(3,59,3,66): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeTypeTests1' reported an error: Kaboom - -neg2.fsx(3,59,3,66): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeTypeTests1' reported an error: Kaboom - -neg2.fsx(3,59,3,66): typecheck error FS0039: The value, constructor, namespace or type 'TheHype' is not defined. Maybe you want one of the following: - - TheType diff --git a/tests/fsharp/typeProviders/negTests/neg2.bslpp b/tests/fsharp/typeProviders/negTests/neg2.bslpp new file mode 100644 index 00000000000..ea8d3e11a01 --- /dev/null +++ b/tests/fsharp/typeProviders/negTests/neg2.bslpp @@ -0,0 +1,20 @@ + +neg2.fsx(3,59,3,66): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeTypeTests1' reported an error: System.Exception: Kaboom + + at Provider.GoodProviderForNegativeTypeTests1.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName(String s) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg2.fsx(3,59,3,66): typecheck error FS3033: The type provider 'Provider.GoodProviderForNegativeTypeTests1' reported an error: System.Exception: Kaboom + + at Provider.GoodProviderForNegativeTypeTests1.Microsoft-FSharp-Core-CompilerServices-IProvidedNamespace-ResolveTypeName(String s) + + at Microsoft.FSharp.Compiler.ExtensionTyping.resolvedType@1073.Invoke(IProvidedNamespace providedNamespace) in \src\fsharp\ExtensionTyping.fs:line 1073 + + at Microsoft.FSharp.Compiler.Tainted`1.Protect[a](FSharpFunc`2 f, range range) in \src\fsharp\tainted.fs:line 94 + +neg2.fsx(3,59,3,66): typecheck error FS0039: The value, constructor, namespace or type 'TheHype' is not defined. Maybe you want one of the following: + + TheType diff --git a/tests/fsharp/update.base.line.with.actuals.fsx b/tests/fsharp/update.base.line.with.actuals.fsx new file mode 100644 index 00000000000..8b391a2f459 --- /dev/null +++ b/tests/fsharp/update.base.line.with.actuals.fsx @@ -0,0 +1,27 @@ +open System.IO + +// this script is usefull for tests using a .bsl file (baseline) containing expected compiler output +// which is matched against .vserr or .err file aside once the test has run +// the script replaces all the .bsl/.bslpp with either .err or .vserr + +let directories = + [ + "typecheck/sigs" + "typeProviders/negTests" + ] + |> List.map (fun d -> Path.Combine(__SOURCE_DIRECTORY__, d) |> DirectoryInfo) + +let extensionPatterns = ["*.err"; "*.vserr"] +for d in directories do + for p in extensionPatterns do + for errFile in d.GetFiles p do + let baseLineFile = FileInfo(Path.ChangeExtension(errFile.FullName, "bsl")) + let baseLineFilePreProcess = FileInfo(Path.ChangeExtension(errFile.FullName, "bslpp")) + + if File.ReadAllText(errFile.FullName) <> File.ReadAllText(baseLineFile.FullName) then + let expectedFile = + if baseLineFilePreProcess.Exists then baseLineFilePreProcess + else baseLineFile + + printfn "%s not matching, replacing with %s" expectedFile.FullName errFile.FullName + errFile.CopyTo(expectedFile.FullName, true) |> ignore