tests/fsharp/typecheck/sigs/*.exe

tests/fsharp/typecheck/sigs/*.diff

tests/fsharp/typecheck/sigs/*.err

tests/fsharp/typecheck/sigs/*.vsdiff

tests/fsharp/typecheck/sigs/*.dll

tests/fsharp/typecheck/sigs/*.vserr

src/fsharp/FSharp.LanguageService.Compiler/illex.*

src/fsharp/FSharp.LanguageService.Compiler/ilpars.*

vsintegration/src/vs/FsPkgs/FSharp.Project/FS/FSharp.ProjectSystem.FSharp.fsi

vsintegration/src/vs/FsPkgs/FSharp.Project/FS/ctofiles/

tests/fsharpqa/Source/CodeGen/EmittedIL/QueryExpressionStepping/Utils.dll

tests/fsharpqa/Source/CodeGen/EmittedIL/ComputationExpressions/ComputationExprLibrary.dll

tests/fsharpqa/Source/CodeGen/EmittedIL/ComputationExpressions/ComputationExprLibrary.dll

799,tcInvalidAssignment,"Invalid assignment"

800,tcInvalidUseOfTypeName,"Invalid use of a type name"

801,tcTypeHasNoAccessibleConstructor,"This type has no accessible object constructors"

802,tcInvalidUseOfTypeNameOrConstructor,"Invalid use of a type name and/or object constructor. If necessary use 'new' and apply the constructor to its arguments, e.g. 'new Type(args)'."

803,tcInvalidUseOfTypeNameOrConstructorWithOverloads,"Invalid use of a type name and/or object constructor. If necessary use 'new' and apply the constructor to its arguments, e.g. 'new Type(args)'. The required signature is:\n\t%s."

#802,tcInvalidUseOfTypeNameOrConstructor,"Invalid use of a type name and/or object constructor. If necessary use 'new' and apply the constructor to its arguments, e.g. 'new Type(args)'."

#803,tcInvalidUseOfTypeNameOrConstructorWithOverloads,"Invalid use of a type name and/or object constructor. If necessary use 'new' and apply the constructor to its arguments, e.g. 'new Type(args)'. The required signature is:\n\t%s."

804,tcInvalidUseOfInterfaceType,"Invalid use of an interface type"

805,tcInvalidUseOfDelegate,"Invalid use of a delegate constructor. Use the syntax 'new Type(args)' or just 'Type(args)'."

806,tcPropertyIsNotStatic,"Property '%s' is not static"

if not (isAppTy cenv.g objTy) then error(Error(FSComp.SR.tcNamedTypeRequired(if superInit then "inherit" else "new"),mWholeExprOrObjTy))

let item = ForceRaise (ResolveObjectConstructor cenv.nameResolver env.DisplayEnv mWholeExprOrObjTy ad objTy)

TcCtorCall false cenv env tpenv objTy objTy mObjTyOpt item superInit arg mWholeExprOrObjTy [] None

TcCtorCall false cenv env tpenv objTy objTy mObjTyOpt item superInit[arg] mWholeExprOrObjTy [] None

/// Check an 'inheritedTys declaration in an implicit or explicit class

and TcCtorCall isNaked cenv env tpenv overallTy objTy mObjTyOpt item superInitarg mWholeCall delayed afterTcOverloadResolutionOpt =

and TcCtorCall isNaked cenv env tpenv overallTy objTy mObjTyOpt item superInitargs mWholeCall delayed afterTcOverloadResolutionOpt =

let ad = env.eAccessRights

let isSuperInit = (if superInit then CtorValUsedAsSuperInit else NormalValUse)

let mItem = match mObjTyOpt with Some m -> m | None -> mWholeCall

if isInterfaceTy cenv.g objTy then

error(Error((if superInit then FSComp.SR.tcInheritCannotBeUsedOnInterfaceType() else FSComp.SR.tcNewCannotBeUsedOnInterfaceType()),mWholeCall))

match item with

| Item.CtorGroup(methodName,minfos) ->

match item, args with

| Item.CtorGroup(methodName,minfos), _ ->

let meths = List.map (fun minfo -> minfo,None) minfos

if isNaked && TypeFeasiblySubsumesType 0 cenv.g cenv.amap mWholeCall cenv.g.system_IDisposable_typ NoCoerce objTy then

warning(Error(FSComp.SR.tcIDisposableTypeShouldUseNew(),mWholeCall))

| Some mObjTy,None -> AfterTcOverloadResolution.ForNewConstructors cenv.tcSink env mObjTy methodName minfos

| None, _ -> AfterTcOverloadResolution.DoNothing

TcMethodApplicationThen cenv env overallTy tpenv None [] mWholeCall mItem methodName ad PossiblyMutates false meths afterTcOverloadResolution isSuperInit[arg] ExprAtomicFlag.NonAtomic delayed

TcMethodApplicationThen cenv env overallTy tpenv None [] mWholeCall mItem methodName ad PossiblyMutates false meths afterTcOverloadResolution isSuperInitargs ExprAtomicFlag.NonAtomic delayed

| Item.DelegateCtor typ ->

| Item.DelegateCtor typ, [arg] ->

// Re-record the name resolution since we now know it's a constructor call

match mObjTyOpt with

| Some mObjTy -> CallNameResolutionSink cenv.tcSink (mObjTy,env.NameEnv,item,item,ItemOccurence.Use,env.DisplayEnv,env.eAccessRights)

// resolve type name lookup of 'MyOverloadedType'

// Also determine if type names should resolve to Item.Types or Item.CtorGroup

match delayed with

| DelayedTypeApp (tyargs, _, _) :: DelayedApp _ :: _ ->

TypeNameResolutionInfo(ResolveTypeNamesToCtors, TypeNameResolutionStaticArgsInfo.FromTyArgs tyargs.Length)

| DelayedTypeApp (tyargs, _, _) :: DelayedDotLookup _ :: _ ->

// cases like 'MyType<int>.Sth'

TypeNameResolutionInfo(ResolveTypeNamesToTypeRefs, TypeNameResolutionStaticArgsInfo.FromTyArgs tyargs.Length)

| DelayedTypeApp (tyargs, _, _) :: _ ->

// cases like 'MyType<int>.Sth' but also only 'MyType<int>.'

// (without LValue_get), which is needed for VS (when typing)

TypeNameResolutionInfo(ResolveTypeNamesToTypeRefs, TypeNameResolutionStaticArgsInfo.FromTyArgs tyargs.Length)

// Note, this also covers the case 'MyType<int>.' (without LValue_get), which is needed for VS (when typing)

TypeNameResolutionInfo(ResolveTypeNamesToCtors, TypeNameResolutionStaticArgsInfo.FromTyArgs tyargs.Length)

| _ ->

TypeNameResolutionInfo.Default

| _ ->

TcMethodApplicationThen cenv env overallTy tpenv None [] mItem mItem methodName ad NeverMutates false meths afterTcOverloadResolution NormalValUse [] ExprAtomicFlag.Atomic delayed

| Item.CtorGroup(_,minfos) ->

| Item.CtorGroup(nm,minfos) ->

let objTy =

match minfos with

| (minfo :: _) -> minfo.EnclosingType

| ((DelayedApp (_, arg, mExprAndArg))::otherDelayed) ->

CallExprHasTypeSink cenv.tcSink (mExprAndArg, env.NameEnv,objTy, env.DisplayEnv, env.eAccessRights)

TcCtorCall true cenv env tpenv overallTy objTy (Some mItem) item false arg mExprAndArg otherDelayed (Some afterTcOverloadResolution)

TcCtorCall true cenv env tpenv overallTy objTy (Some mItem) item false[arg] mExprAndArg otherDelayed (Some afterTcOverloadResolution)

| ((DelayedTypeApp(tyargs, _mTypeArgs, mExprAndTypeArgs))::(DelayedApp (_, arg, mExprAndArg))::otherDelayed) ->

let objTy,tpenv = TcNestedTypeApplication cenv NewTyparsOK CheckCxs ItemOccurence.UseInType env tpenv mExprAndTypeArgs objTy tyargs

CallExprHasTypeSink cenv.tcSink (mExprAndArg, env.NameEnv, objTy, env.DisplayEnv, env.eAccessRights)

minfos |> List.iter (fun minfo -> UnifyTypes cenv env mExprAndTypeArgs minfo.EnclosingType objTy)

TcCtorCall true cenv env tpenv overallTy objTy (Some mExprAndTypeArgs) item false arg mExprAndArg otherDelayed (Some afterTcOverloadResolution)

TcCtorCall true cenv env tpenv overallTy objTy (Some mExprAndTypeArgs) item false[arg] mExprAndArg otherDelayed (Some afterTcOverloadResolution)

| _ ->

if minfos.Length = 1 then

let text = List.map (NicePrint.stringOfMethInfo cenv.amap mItem env.DisplayEnv) minfos

error(Error(FSComp.SR.tcInvalidUseOfTypeNameOrConstructorWithOverloads(String.concat "\n\r" text),mItem))

else

error(Error(FSComp.SR.tcInvalidUseOfTypeNameOrConstructor(),mItem))

| ((DelayedTypeApp(tyargs, _mTypeArgs, mExprAndTypeArgs))::otherDelayed) ->

let objTy,tpenv = TcNestedTypeApplication cenv NewTyparsOK CheckCxs ItemOccurence.UseInType env tpenv mExprAndTypeArgs objTy tyargs

// A case where we have an incomplete name e.g. 'Foo<int>.' - we still want to report it to VS!

let resolvedItem = Item.Types(nm, [objTy])

CallNameResolutionSink cenv.tcSink (mExprAndTypeArgs,env.NameEnv,resolvedItem,resolvedItem,ItemOccurence.Use,env.DisplayEnv,env.eAccessRights)

minfos |> List.iter (fun minfo -> UnifyTypes cenv env mExprAndTypeArgs minfo.EnclosingType objTy)

TcCtorCall true cenv env tpenv overallTy objTy (Some mExprAndTypeArgs) item false [] mExprAndTypeArgs otherDelayed (Some afterTcOverloadResolution)

| _ ->

TcCtorCall true cenv env tpenv overallTy objTy (Some mItem) item false [] mItem delayed (Some afterTcOverloadResolution)

| Item.FakeInterfaceCtor _ ->

error(Error(FSComp.SR.tcInvalidUseOfInterfaceType(),mItem))

pos16.exe

@if ERRORLEVEL1goto Error

"%FSC%"%fsc_flags% --target:exe -o:pos17.exe pos17.fs

@if ERRORLEVEL1goto Error

"%PEVERIFY%" pos17.exe

@if ERRORLEVEL1goto Error

pos17.exe

@if ERRORLEVEL1goto Error

"%FSC%"%fsc_flags% --target:exe -o:pos15.exe pos15.fs

@if ERRORLEVEL1goto Error

neg20.fs(322,8,322,18): typecheck error FS3132: This type definition maynot have the 'CLIMutable' attribute. Only record types may have this attribute.

neg20.fs(335,11,335,24): typecheck errorFS0802: Invalid use of atypenameand/or object constructor.If necessary use 'new'and apply the constructorto its arguments, e.g. 'newType(args)'.

neg20.fs(335,11,335,24): typecheck errorFS0041: A unique overloadfor method 'String' couldnot be determined based ontypeinformation priorto this program point. A type annotation may be needed. Candidates: System.String(value: char []) : unit, System.String(value: nativeptr<char>) : unit, System.String(value: nativeptr<sbyte>) : unit

neg20.fs(336,11,336,22): typecheck errorFS0802: Invalid use of atypenameand/or object constructor.If necessary use 'new'and apply the constructorto its arguments, e.g. 'newType(args)'.

neg20.fs(336,11,336,22): typecheck errorFS0041: A unique overloadfor method 'Guid' couldnot be determined based ontypeinformation priorto this program point. A type annotation may be needed. Candidates: System.Guid(b: byte []) : unit, System.Guid(g: string) : unit

neg20.fs(340,11,340,34): typecheck error FS0803: Invalid use of a type nameand/or object constructor.If necessary use 'new'and apply the constructorto its arguments, e.g. 'newType(args)'. The required signature is:

new : x:int-> ClassWithOneConstructor.

neg20.fs(355,19,355,38): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.

neg20.fs(356,22,356,41): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.

neg20.fs(370,19,370,38): typecheck error FS0039: The valueor constructor 'OverloadedClassName' isnot defined

neg20.fs(371,19,371,38): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.

neg20.fs(372,22,372,41): typecheck error FS0039: The valueor constructor 'OverloadedClassName' isnot defined

neg20.fs(373,22,373,41): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.

neg20.fs(382,19,382,40): typecheck error FS1124: Multiple types exist called 'OverloadedClassName', taking different numbers of generic parameters. Provide a type instantiationto disambiguate the type resolution, e.g. 'OverloadedClassName<_>'.

neg20.fs(383,39,383,41): typecheck error FS0039: The field, constructoror member 'S2' isnot defined

neg20.fs(428,19,428,38): typecheck error FS0039: The valueor constructor 'OverloadedClassName' isnot defined

neg20.fs(430,22,430,41): typecheck error FS0039: The valueor constructor 'OverloadedClassName' isnot defined

neg20.fs(444,39,444,41): typecheck error FS0039: The field, constructoror member 'S2' isnot defined

letss3= ClassWithOneConstructor

new(y:string)= OverloadedClassName<'T>(1)

member__.P= x

new(y:string)= OverloadedClassName<'T1,'T2>(1)

member__.P= x

lett3=3|> OverloadedClassName// expected error - multiple types exist

lett3s="3"|> OverloadedClassName// expected error - multiple types exist

new(y:string)= OverloadedClassName<'T>(1)

member__.P= x

lett2=3|> OverloadedClassName<int,int>// CHANGE IN ERROR MESSAGE IN F# 4.x: Was "Invalid use of a type name", now "The value or constructor 'OverloadedClassName' is not defined"

lett3=3|> OverloadedClassName// expected error - multiple types exist

lett2s="3"|> OverloadedClassName<int,int>// CHANGE IN ERROR MESSAGE IN F# 4.x: Was "Invalid use of a type name", now "The value or constructor 'OverloadedClassName' is not defined"

lett3s="3"|> OverloadedClassName// expected error - multiple types exist

lett3=3|> OverloadedClassName.S// expected error - multiple types exist

lett4=3|> OverloadedClassName.S2// expected error - The field, constructor or member 'S2' is not defined

new(y:string)= OverloadedClassName(1)

member__.P= x

new(y:string)= OverloadedClassName<'T>(1)

member__.P= x

new(y:string)= OverloadedClassName<'T1,'T2>(1)

member__.P= x

lett3=3|> OverloadedClassName// expected error - multiple types exist

lett3s="3"|> OverloadedClassName// expected error - multiple types exist

new(y:string)= OverloadedClassName(1)

member__.P= x

new(y:string)= OverloadedClassName<'T>(1)

member__.P= x

lett2=3|> OverloadedClassName<int,int>// CHANGE IN ERROR MESSAGE IN F# 4.x: Was "Invalid use of a type name", now "The value or constructor 'OverloadedClassName' is not defined"

lett3=3|> OverloadedClassName// NO ERROR EXPECTED

lett2s="3"|> OverloadedClassName<int,int>// CHANGE IN ERROR MESSAGE IN F# 4.x: Was "Invalid use of a type name", now "The value or constructor 'OverloadedClassName' is not defined"

lett3s="3"|> OverloadedClassName// expected error - multiple types exist

lett3=3|> OverloadedClassName.S// NO ERROR EXPECTED

lett4=3|> OverloadedClassName.S2// expected error - The field, constructor or member 'S2' is not defined