| typ2-> goutput_typ env os typ2

if inst.Length=0then()

output_string os"<";

ifnot(List.isEmpty inst)then

output_string os"<"

output_seq","(goutput_gactual env) os inst

output_string os">";

output_string os">"

andgoutput_gactual env os ty= goutput_typ env os ty

| Some typ-> output_string os"extends";(goutput_typ_with_shortened_class_syntax env) os typ

output_string os"implements";

output_seq","(goutput_typ_with_shortened_class_syntax env) os imp

output_string os"implements"

output_seq","(goutput_typ_with_shortened_class_syntax env) os imp

output_string os"implements";

output_seq","(goutput_typ_with_shortened_class_syntax env) os imp

output_string os"implements"

output_seq","(goutput_typ_with_shortened_class_syntax env) os imp

letthe=function Some x-> x| None-> failwith"the"

| tagwhen tag= tdor_TypeDef-> seekReadTypeDefAsType ctxt boxity ginst idx

| tagwhen tag= tdor_TypeRef-> seekReadTypeRefAsType ctxt boxity ginst idx

| tagwhen tag= tdor_TypeSpec->

ifginst.Length>0then dprintn("type spec used as type constructor for a generic instantiation: ignoring instantiation")

ifnot(List.isEmpty ginst)then dprintn("type spec used as type constructor for a generic instantiation: ignoring instantiation")

readBlobHeapAsType ctxt numtypars(seekReadTypeSpecRow ctxt idx)

|_-> failwith"seekReadTypeDefOrRef ctxt"

getUncodedToken tab idx

getUncodedToken TableNames.MethodSpec(GetMethodSpecInfoAsMethodSpecIdxcenv env minfo)

GetMethodDefOrRefAsUncodedToken(GetMethodRefInfoAsMethodRefOrDeffalsecenv env(GetMethodRefInfoOfMethodSpecInfominfo))

GetMethodDefOrRefAsUncodedToken(GetMethodRefInfoAsMethodRefOrDeffalsecenv env(GetMethodRefInfoOfMethodSpecInfominfo))

getUncodedToken TableNames.MethodSpec(GetMethodSpecInfoAsMethodSpecIdxcenv env minfo)

GetMethodSpecInfoAsUncodedToken cenv env(InfoOfMethodSpec mspec)

emitBytesViaBuffer(fun bb->

bb.EmitByte(callconvToByte mdef.GenericParams.Length mdef.CallingConv)

if mdef.GenericParams.Length>0then bb.EmitZ32 mdef.GenericParams.Length

ifnot(List.isEmptymdef.GenericParams)then bb.EmitZ32 mdef.GenericParams.Length

bb.EmitZ32 mdef.Parameters.Length

EmitType cenv env bb mdef.Return.Type

mdef.ParameterTypes|> List.iter(EmitType cenv env bb))

|> List.distinctBy(fun s->try Path.GetFileNameWithoutExtension(s)with_-> s)

letpermissionSets= CreatePermissionSets cenv.g cenv.amap eenv securityAttributes

letilAttrsCompilerGenerated=if v.IsCompilerGeneratedthen[ cenv.g.CompilerGeneratedAttribute]else[]

letisExplicitEntryPoint= HasFSharpAttribute cenv.g cenv.g.attrib_EntryPointAttribute attrs

letmdef= mdef.WithSecurity(securityAttributes.Length>0).WithPInvoke(hasDllImport)

letmdef= mdef.WithSecurity(not(List.isEmpty securityAttributes)).WithPInvoke(hasDllImport)

letmdef= mdef.WithPreserveSig(hasPreserveSigImplFlag|| hasPreserveSigNamedArg).WithSynchronized(hasSynchronizedImplFlag).WithNoInlining(hasNoInliningFlag).WithAggressiveInlining(hasAggressiveInliningImplFlag)

{ mdefwith

not(HasFSharpAttribute cenv.g cenv.g.attrib_DebuggerTypeProxyAttribute tycon.Attribs))

letpermissionSets= CreatePermissionSets cenv.g cenv.amap eenv securityAttrs

[yield! GenAttrs cenv eenv debugDisplayAttrs

|_-> failwith"??"

lettdef= tdef.WithHasSecurity(securityAttrs.Length>0)

lettdef= tdef.WithHasSecurity(not(List.isEmpty securityAttrs))

{ tdefwith

SecurityDecls= secDecls}

letangles= txt|> Seq.takeWhile(fun c-> c='>')|> Seq.toList

letafterAngles= txt|> Seq.skipWhile(fun c-> c='>')|> Seq.toList

ifangles.Length=0then Noneelse

ifList.isEmpty anglesthen Noneelse

match(new System.String(Array.ofSeq afterAngles))with

GetIntrinsicMethInfosOfType infoReader(Some(memberName.idText), ad, AllowMultiIntfInstantiations.Yes) IgnoreOverrides bindm ty

letdispatchSlots= minfos|> List.filter(fun minfo-> minfo.IsDispatchSlot)

lettopValSynArities= SynInfo.AritiesOfArgs valSynData

lettopValSynArities=iftopValSynArities.Length>0then topValSynArities.Tailelse topValSynArities

lettopValSynArities=ifList.isEmpty topValSynAritiesthen topValSynAritieselse topValSynArities.Tail

letdispatchSlotsArityMatch= dispatchSlots|> List.filter(fun minfo-> minfo.NumArgs= topValSynArities)

dispatchSlots,dispatchSlotsArityMatch

if apinfo.Names.Length=0then nenvelse

ifList.isEmptyapinfo.Namesthen nenvelse

letapresl= List.indexed apinfo.Names

{ nenvwith

eUnqualifiedItems=

|_-> Item.UnqualifiedType[tcref]))

tab

if isILOrRequiredQualifiedAccess||ucrefs.Length=0then

if isILOrRequiredQualifiedAccess||List.isEmpty ucrefsthen

tab

AddUnionCases2 bulkAddMode tab ucrefs

if isILOrRequiredQualifiedAccess||ucrefs.Length=0then

if isILOrRequiredQualifiedAccess||List.isEmpty ucrefsthen

nenv.ePatItems

AddUnionCases1 nenv.ePatItems ucrefs

typeNameResInfo.StaticArgsInfo.HasNoStaticArgsInfo&&

tcref.Typars(m).Length>0&&

not(List.isEmpty(tcref.Typars m))&&

(tcrefs|> Seq.distinctBy(fun(_,tcref)-> tcref.Typars(m).Length)|> Seq.length>1)->

[for(resInfo,tcref)in tcrefsdo

letresInfo= resInfo.AddWarning(fun _typarChecker-> errorR(Error(FSComp.SR.nrTypeInstantiationNeededToDisambiguateTypesWithSameName(tcref.DisplayName, tcref.DisplayNameWithStaticParametersAndUnderscoreTypars),m)))

yield(resInfo,tcref)]

|[(resInfo,tcref)]when typeNameResInfo.StaticArgsInfo.HasNoStaticArgsInfo&& tcref.Typars(m).Length>0&& typeNameResInfo.ResolutionFlag= ResolveTypeNamesToTypeRefs->

|[(resInfo,tcref)]when typeNameResInfo.StaticArgsInfo.HasNoStaticArgsInfo&&not(List.isEmpty(tcref.Typars m))&& typeNameResInfo.ResolutionFlag= ResolveTypeNamesToTypeRefs->

resInfo.AddWarning(fun(ResultTyparCheckertyparChecker)->

ifnot(typarChecker())then

| Item.CtorGroup(_,minfos)-> minfos.Length>1|| minfos|> List.exists(fun minfo->not(isNil minfo.FormalMethodInst))

| Item.Property(_,pinfos)-> pinfos.Length>1

| Item.ImplicitOp(_,{ contents= Some(TraitConstraintSln.FSMethSln(_, vref,_))})

| Item.Value vref| Item.CustomBuilder(_,vref)-> vref.Typars.Length>0

| Item.Value vref| Item.CustomBuilder(_,vref)->not(List.isEmptyvref.Typars)

| Item.CustomOperation(_,_,Some minfo)->not(isNil minfo.FormalMethodInst)

| Item.ActivePatternCase apref-> apref.ActivePatternVal.Typars.Length>0

| Item.ActivePatternCase apref->not(List.isEmptyapref.ActivePatternVal.Typars)

match args.[0]with

| Expr.Val(vref,_,_)when vref.BaseOrThisInfo= BaseVal->true

// If we have got an explicit instantiation then use that

| Some(vrefFlags, checkTys) ->

let checkInst (tinst:TypeInst) =

if not v.IsMember && not v.PermitsExplicitTypeInstantiation &&tinst.Length > 0&& v.Typars.Length > 0 then

if not v.IsMember && not v.PermitsExplicitTypeInstantiation &&not (List.isEmpty tinst)&&not (List.isEmptyv.Typars) then

warning(Error(FSComp.SR.tcDoesNotAllowExplicitTypeArguments(v.DisplayName), m))

match vrec with

| ValInRecScope false ->

| StripApps(SingleIdent nm, [StripApps(SingleIdent nm2, args); arg2]) when

PrettyNaming.IsInfixOperator nm.idText &&

expectedArgCountForCustomOperator nm2 > 0 &&

args.Length > 0 ->

not (List.isEmpty args) ->

let estimatedRangeOfIntendedLeftAndRightArguments = unionRanges (List.last args).Range arg2.Range

errorR(Error(FSComp.SR.tcUnrecognizedQueryBinaryOperator(), estimatedRangeOfIntendedLeftAndRightArguments))

true

| SynExpr.Tuple( (StripApps(SingleIdent nm2, args) :: _), _, m) when

expectedArgCountForCustomOperator nm2 > 0 &&

args.Length > 0 ->

not (List.isEmpty args) ->

let estimatedRangeOfIntendedLeftAndRightArguments = unionRanges (List.last args).Range m.EndRange

errorR(Error(FSComp.SR.tcUnrecognizedQueryBinaryOperator(), estimatedRangeOfIntendedLeftAndRightArguments))

true

let prelimTyscheme = TypeScheme(enclosingDeclaredTypars@declaredTypars, ty)

let partialValReprInfo = TranslateTopValSynInfo mBinding (TcAttributes cenv envinner) valSynInfo

let topValInfo = UseSyntacticArity declKind prelimTyscheme partialValReprInfo

let hasDeclaredTypars =declaredTypars.Length > 0

let hasDeclaredTypars =not (List.isEmpty declaredTypars)

let prelimValScheme = ValScheme(bindingId, prelimTyscheme, topValInfo, memberInfoOpt, false, inlineFlag, NormalVal, vis, false, false, false, hasDeclaredTypars)

// Check the literal r.h.s., if any

let ad = env.eAccessRights

let mvvs = ForceRaise (ResolveLongIndentAsModuleOrNamespace cenv.tcSink ResultCollectionSettings.AllResults cenv.amap m OpenQualified env.eNameResEnv ad p false)

let modrefs = mvvs |> List.map p23

ifmodrefs.Length > 0 && modrefs |> List.forall (fun modref -> modref.IsNamespace) then

ifnot (List.isEmpty modrefs) && modrefs |> List.forall (fun modref -> modref.IsNamespace) then

errorR(Error(FSComp.SR.tcModuleAbbreviationForNamespace(fullDisplayTextOfModRef (List.head modrefs)), m))

let modrefs = modrefs |> List.filter (fun mvv -> not mvv.IsNamespace)

if List.isEmpty modrefs then env else

modrefs |> List.iter (fun modref -> CheckEntityAttributes cenv.g modref m |> CommitOperationResult)

let env =(if modrefs.Length > 0 thenAddModuleAbbreviationAndReport cenv.tcSink scopem id modrefs env else env)

let env = AddModuleAbbreviationAndReport cenv.tcSink scopem id modrefs env

env

/// Update the contents accessible via the recursive namespace declaration, if any

let TcMutRecDefns_UpdateNSContents mutRecNSInfo =

match mutRecNSInfo with

if allowed then

if kind = explicitKind then

warning(PossibleUnverifiableCode(m))

elif thisTyconRef.Typars(m).Length > 0 then

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

else

elif List.isEmpty (thisTyconRef.Typars m) then

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

else

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

| None -> ()

let hiddenReprChecks(hasRepr) =

let modrefs = unfilteredModrefs |> List.filter (fun modref -> not modref.IsNamespace)

ifunfilteredModrefs.Length > 0 && List.isEmpty modrefs then

ifnot (List.isEmpty unfilteredModrefs) && List.isEmpty modrefs then

errorR(Error(FSComp.SR.tcModuleAbbreviationForNamespace(fullDisplayTextOfModRef (List.head unfilteredModrefs)), m))

if List.isEmpty modrefs then return env else

modrefs |> List.iter (fun modref -> CheckEntityAttributes cenv.g modref m |> CommitOperationResult)

let env =

if modrefs.Length > 0 then AddModuleAbbreviationAndReport cenv.tcSink scopem id modrefs env

else env

let env = AddModuleAbbreviationAndReport cenv.tcSink scopem id modrefs env

return env

| SynModuleSigDecl.HashDirective _ ->