bindingRhs,logicalMethId,memberFlags

| SynPat.InstanceMember(thisId,memberId,_,_,_),Some memberFlags ->

CheckMemberFlagscenv.gNone NewSlotsOK OverridesOK memberFlags mBinding

CheckMemberFlags None NewSlotsOK OverridesOK memberFlags mBinding

let bindingRhs = PushOnePatternToRhs cenv true (mkSynThisPatVar thisId) bindingRhs

let logicalMethId = ident (ComputeLogicalName memberId memberFlags,memberId.idRange)

bindingRhs,logicalMethId,memberFlags

let binds = stripLets [] expr

binds,env,tpenv

and CheckMemberFlags_goptIntfSlotTy newslotsOK overridesOK memberFlags m =

and CheckMemberFlags optIntfSlotTy newslotsOK overridesOK memberFlags m =

if newslotsOK = NoNewSlots && memberFlags.IsDispatchSlot then

errorR(Error(FSComp.SR.tcAbstractMembersIllegalInAugmentation(),m))

if overridesOK = ErrorOnOverrides && memberFlags.MemberKind = MemberKind.Constructor then

| (Some(MemberOrValContainerInfo(tcref, optIntfSlotTy, baseValOpt, _safeInitInfo, declaredTyconTypars)),Some memberFlags) ->

assert (Option.isNone optIntfSlotTy)

CheckMemberFlagscenv.gNone newslotsOK overridesOK memberFlags id.idRange

CheckMemberFlags None newslotsOK overridesOK memberFlags id.idRange

CheckForNonAbstractInterface declKind tcref memberFlags id.idRange

if memberFlags.MemberKind = MemberKind.Constructor && tcref.Deref.IsExceptionDecl then

// Normal instance members.

| Some(MemberOrValContainerInfo(tcref, optIntfSlotTy, baseValOpt, _safeInitInfo, declaredTyconTypars)), Some memberFlags ->

CheckMemberFlagscenv.goptIntfSlotTy newslotsOK overridesOK memberFlags mBinding

CheckMemberFlags optIntfSlotTy newslotsOK overridesOK memberFlags mBinding

if Option.isSome vis && memberFlags.IsOverrideOrExplicitImpl then

errorR(Error(FSComp.SR.tcOverridesCannotHaveVisibilityDeclarations(),memberId.idRange))

let (ValSpfn(_, _, _, _, _valSynData, _, _, _, _,_, m)) = valSpfn

CheckMemberFlagscenv.gNone NewSlotsOK OverridesOK memberFlags m

CheckMemberFlags None NewSlotsOK OverridesOK memberFlags m

let slots = fst (TcAndPublishValSpec (cenv,envinner,containerInfo,ModuleOrMemberBinding,Some memberFlags,tpenv,valSpfn))

// Multiple slots may be returned, e.g. for

/// Given a type definition, compute whether its members form an extension of an existing type, and if so if it is an

/// intrinsic or extrinsic extension

let private ComputeTyconDeclKind tyconOpt isAtOriginalTyconDefn cenv envForDecls inSig m (typars:SynTyparDecl list)cs longPath =

let private ComputeTyconDeclKind tyconOpt isAtOriginalTyconDefn cenv envForDecls inSig m (synTypars:SynTyparDecl list)synTyparCxs longPath =

let ad = envForDecls.eAccessRights

let tcref =

match tyconOpt with

| Some tycon when isAtOriginalTyconDefn ->

// This records a name resolution of the type at the location

let resInfo = TypeNameResolutionStaticArgsInfo.FromTyArgstypars.Length

let resInfo = TypeNameResolutionStaticArgsInfo.FromTyArgssynTypars.Length

ResolveTypeLongIdent cenv.tcSink cenv.nameResolver ItemOccurence.Binding OpenQualified envForDecls.eNameResEnv ad longPath resInfo PermitDirectReferenceToGeneratedType.No

|> ignore

mkLocalTyconRef tycon

| _ ->

let resInfo = TypeNameResolutionStaticArgsInfo.FromTyArgstypars.Length

let resInfo = TypeNameResolutionStaticArgsInfo.FromTyArgssynTypars.Length

match ResolveTypeLongIdent cenv.tcSink cenv.nameResolver ItemOccurence.Binding OpenQualified envForDecls.eNameResEnv ad longPath resInfo PermitDirectReferenceToGeneratedType.No with

| Result res -> res

| res when inSig && longPath.Length = 1 ->

// There is a special case we allow when compiling FSharp.Core.dll which permits interface implementations across namespace fragments

(cenv.g.compilingFslib && tcref.LogicalName.StartsWith("Tuple`"))

let nReqTypars = reqTypars.Length

let declaredTypars = TcTyparDecls cenv envForDecls synTypars

let envForTycon = AddDeclaredTypars CheckForDuplicateTypars declaredTypars envForDecls

let _tpenv = TcTyparConstraints cenv NoNewTypars CheckCxs ItemOccurence.UseInType envForTycon emptyUnscopedTyparEnv synTyparCxs

declaredTypars |> List.iter (SetTyparRigid cenv.g envForDecls.DisplayEnv m)

if isInSameModuleOrNamespace && not isInterfaceOrDelegateOrEnum then

// For historical reasons we only give a warning for incorrect type parameters on intrinsic extensions

if nReqTypars <> synTypars.Length then

warning(Error(FSComp.SR.tcDeclaredTypeParametersForExtensionDoNotMatchOriginal(tcref.DisplayNameWithStaticParametersAndUnderscoreTypars), m))

if not (typarsAEquiv cenv.g TypeEquivEnv.Empty reqTypars declaredTypars) then

warning(Error(FSComp.SR.tcDeclaredTypeParametersForExtensionDoNotMatchOriginal(tcref.DisplayNameWithStaticParametersAndUnderscoreTypars), m))

// Note we return 'reqTypars' for intrinsic extensions since we may only have given warnings

IntrinsicExtensionBinding, reqTypars

else

if isInSameModuleOrNamespace && isInterfaceOrDelegateOrEnum then

errorR(Error(FSComp.SR.tcMembersThatExtendInterfaceMustBePlacedInSeparateModule(),tcref.Range))

let nReqTypars = reqTypars.Length

if nReqTypars <> typars.Length then

// not recoverable

if nReqTypars <> synTypars.Length then

error(Error(FSComp.SR.tcDeclaredTypeParametersForExtensionDoNotMatchOriginal(tcref.DisplayNameWithStaticParametersAndUnderscoreTypars), m))

let declaredTypars = TcTyparDecls cenv envForDecls typars

let envForTycon = AddDeclaredTypars CheckForDuplicateTypars declaredTypars envForDecls

let _tpenv = TcTyparConstraints cenv NoNewTypars CheckCxs ItemOccurence.UseInType envForTycon emptyUnscopedTyparEnv cs

declaredTypars |> List.iter (SetTyparRigid cenv.g envForDecls.DisplayEnv m)

if not (typarsAEquiv cenv.g TypeEquivEnv.Empty reqTypars declaredTypars) then

errorR(Error(FSComp.SR.tcDeclaredTypeParametersForExtensionDoNotMatchOriginal(tcref.DisplayNameWithStaticParametersAndUnderscoreTypars), m))

ExtrinsicExtensionBinding, declaredTypars

neg97.fs(30,9,30,10): typecheck error FS0009: Uses of this construct may resultin the generation of unverifiable .NET IL code. This warning can be disabled using '--nowarn:9'or '#nowarn"9"'.

neg97.fs(30,9,30,10): typecheck error FS3207: Invalid use of 'fixed'. 'fixed' may only be usedin a declaration of the form 'use x= fixed expr' where the expression is an array, the address of a field, the address of an array elementor a string'

neg97.fs(36,20,36,32): typecheck error FS0698: Invalid constraint: the type usedfor the constraint is sealed, which means the constraint could only be satisfied by at most one solution

neg97.fs(36,20,36,32): typecheck error FS0064: This construct causes codeto be less generic than indicated by the type annotations. The type variable 'T has been constrainedto be type 'string'.

neg97.fs(36,12,36,14): typecheck error FS0663: This type parameter has been usedin a way that constrains itto always be 'string'

neg97.fs(42,20,42,22): typecheck error FS0039: The type parameter 'T isnot defined. Maybe you want one of the following:

'U

let mutablev={ X=1.0; Y=1.0}

use p=fixed&v.Y

typeX<'T>= Yof'T

static membertake(s:'T)= s

typeX<'T>= Yof'T

static membertake(s:'T)= s