Skip to content

Commit 43d9b7b

Browse files
forkibaronfel
forki
authored and
baronfel
committed
tryDestAppTy should be called tryTcrefOfAppTy (#8264)
1 parent 78f210e commit 43d9b7b

File tree

12 files changed

+61
-61
lines changed

12 files changed

+61
-61
lines changed

‎src/fsharp/ConstraintSolver.fs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1973,7 +1973,7 @@ and SolveTypeSupportsComparison (csenv: ConstraintSolverEnv) ndeep m2 trace ty =
19731973
AddConstraint csenv ndeep m2 trace destTypar (TyparConstraint.SupportsComparison m)
19741974
| ValueNone ->
19751975
// Check it isn't ruled out by the user
1976-
match tryDestAppTy g ty with
1976+
match tryTcrefOfAppTy g ty with
19771977
| ValueSome tcref when HasFSharpAttribute g g.attrib_NoComparisonAttribute tcref.Attribs ->
19781978
ErrorD (ConstraintSolverError(FSComp.SR.csTypeDoesNotSupportComparison1(NicePrint.minimalStringOfType denv ty), m, m2))
19791979
| _ ->
@@ -2016,7 +2016,7 @@ and SolveTypeSupportsEquality (csenv: ConstraintSolverEnv) ndeep m2 trace ty =
20162016
| ValueSome destTypar ->
20172017
AddConstraint csenv ndeep m2 trace destTypar (TyparConstraint.SupportsEquality m)
20182018
| _ ->
2019-
match tryDestAppTy g ty with
2019+
match tryTcrefOfAppTy g ty with
20202020
| ValueSome tcref when HasFSharpAttribute g g.attrib_NoEqualityAttribute tcref.Attribs ->
20212021
ErrorD (ConstraintSolverError(FSComp.SR.csTypeDoesNotSupportEquality1(NicePrint.minimalStringOfType denv ty), m, m2))
20222022
| _ ->
@@ -2150,13 +2150,13 @@ and SolveTypeRequiresDefaultConstructor (csenv: ConstraintSolverEnv) ndeep m2 tr
21502150
if GetIntrinsicConstructorInfosOfType csenv.InfoReader m ty
21512151
|> List.exists (fun x -> x.IsNullary && IsMethInfoAccessible amap m AccessibleFromEverywhere x)
21522152
then
2153-
match tryDestAppTy g ty with
2153+
match tryTcrefOfAppTy g ty with
21542154
| ValueSome tcref when HasFSharpAttribute g g.attrib_AbstractClassAttribute tcref.Attribs ->
21552155
ErrorD (ConstraintSolverError(FSComp.SR.csGenericConstructRequiresNonAbstract(NicePrint.minimalStringOfType denv origTy), m, m2))
21562156
| _ ->
21572157
CompleteD
21582158
else
2159-
match tryDestAppTy g ty with
2159+
match tryTcrefOfAppTy g ty with
21602160
| ValueSome tcref when
21612161
tcref.PreEstablishedHasDefaultConstructor ||
21622162
// F# 3.1 feature: records with CLIMutable attribute should satisfy 'default constructor' constraint
@@ -2582,7 +2582,7 @@ and ResolveOverloading
25822582
(calledArg1.CalledArgumentType, calledArg2.CalledArgumentType) ||> compareCond (fun ty1 ty2 ->
25832583

25842584
// Func<_> is always considered better than any other delegate type
2585-
match tryDestAppTy csenv.g ty1 with
2585+
match tryTcrefOfAppTy csenv.g ty1 with
25862586
| ValueSome tcref1 when
25872587
tcref1.DisplayName = "Func" &&
25882588
(match tcref1.PublicPath with Some p -> p.EnclosingPath = [| "System" |] | _ -> false) &&

‎src/fsharp/IlxGen.fs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3950,7 +3950,7 @@ and GenDefaultValue cenv cgbuf eenv (ty, m) =
39503950
if isRefTy g ty then
39513951
CG.EmitInstr cgbuf (pop 0) (Push [ilTy]) AI_ldnull
39523952
else
3953-
match tryDestAppTy g ty with
3953+
match tryTcrefOfAppTy g ty with
39543954
| ValueSome tcref when (tyconRefEq g g.system_SByte_tcref tcref ||
39553955
tyconRefEq g g.system_Int16_tcref tcref ||
39563956
tyconRefEq g g.system_Int32_tcref tcref ||

‎src/fsharp/InfoReader.fs‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,7 @@ let rec GetImmediateIntrinsicMethInfosOfTypeAux (optFilter, ad) g amap m origTy
7878
GetImmediateIntrinsicMethInfosOfTypeAux (optFilter, ad) g amap m origTy betterMetadataTy
7979
|> List.filter (fun minfo -> not minfo.IsInstance)
8080
else
81-
match tryDestAppTy g metadataTy with
81+
match tryTcrefOfAppTy g metadataTy with
8282
| ValueNone -> []
8383
| ValueSome tcref ->
8484
SelectImmediateMemberVals g optFilter (TrySelectMemberVal g optFilter origTy None) tcref
@@ -166,7 +166,7 @@ let rec GetImmediateIntrinsicPropInfosOfTypeAux (optFilter, ad) g amap m origTy
166166
let betterMetadataTy = convertToTypeWithMetadataIfPossible g metadataTy
167167
GetImmediateIntrinsicPropInfosOfTypeAux (optFilter, ad) g amap m origTy betterMetadataTy
168168
else
169-
match tryDestAppTy g metadataTy with
169+
match tryTcrefOfAppTy g metadataTy with
170170
| ValueNone -> []
171171
| ValueSome tcref ->
172172
let propCollector = new PropertyCollector(g, amap, m, origTy, optFilter, ad)
@@ -185,7 +185,7 @@ let rec GetImmediateIntrinsicPropInfosOfType (optFilter, ad) g amap m ty =
185185
let IsIndexerType g amap ty =
186186
isArray1DTy g ty ||
187187
isListTy g ty ||
188-
match tryDestAppTy g ty with
188+
match tryTcrefOfAppTy g ty with
189189
| ValueSome tcref ->
190190
let _, entityTy = generalizeTyconRef tcref
191191
let props = GetImmediateIntrinsicPropInfosOfType (None, AccessibleFromSomeFSharpCode) g amap range0 entityTy
@@ -265,7 +265,7 @@ type InfoReader(g: TcGlobals, amap: Import.ImportMap) =
265265

266266
/// Get the F#-declared record fields or class 'val' fields of a type
267267
let GetImmediateIntrinsicRecdOrClassFieldsOfType (optFilter, _ad) _m ty =
268-
match tryDestAppTy g ty with
268+
match tryTcrefOfAppTy g ty with
269269
| ValueNone -> []
270270
| ValueSome tcref ->
271271
// Note;secret fields are not allowed in lookups here, as we're only looking
@@ -420,7 +420,7 @@ type InfoReader(g: TcGlobals, amap: Import.ImportMap) =
420420
| flds ->
421421
// multiple fields with the same name can come from different classes,
422422
// so filter them by the given type name
423-
match tryDestAppTy g ty with
423+
match tryTcrefOfAppTy g ty with
424424
| ValueNone -> ValueNone
425425
| ValueSome tcref ->
426426
match flds |> List.filter (fun rfinfo -> tyconRefEq g tcref rfinfo.TyconRef) with
@@ -466,7 +466,7 @@ let rec GetIntrinsicConstructorInfosOfTypeAux (infoReader: InfoReader) m origTy
466466
let betterMetadataTy = convertToTypeWithMetadataIfPossible g metadataTy
467467
GetIntrinsicConstructorInfosOfTypeAux infoReader m origTy betterMetadataTy
468468
else
469-
match tryDestAppTy g metadataTy with
469+
match tryTcrefOfAppTy g metadataTy with
470470
| ValueNone -> []
471471
| ValueSome tcref ->
472472
tcref.MembersOfFSharpTyconByName

‎src/fsharp/NameResolution.fs‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -536,7 +536,7 @@ let ExtensionPropInfosOfTypeInScope collectionSettings (infoReader:InfoReader) (
536536
let extMemsFromHierarchy =
537537
infoReader.GetEntireTypeHierarchy(AllowMultiIntfInstantiations.Yes, m, ty)
538538
|> List.collect (fun ty ->
539-
match tryDestAppTy g ty with
539+
match tryTcrefOfAppTy g ty with
540540
| ValueSome tcref ->
541541
let extMemInfos = nenv.eIndexedExtensionMembers.Find tcref
542542
SelectPropInfosFromExtMembers infoReader ad optFilter ty m extMemInfos
@@ -606,7 +606,7 @@ let ExtensionMethInfosOfTypeInScope (collectionSettings: ResultCollectionSetting
606606
infoReader.GetEntireTypeHierarchy(AllowMultiIntfInstantiations.Yes, m, ty)
607607
|> List.collect (fun ty ->
608608
let g = infoReader.g
609-
match tryDestAppTy g ty with
609+
match tryTcrefOfAppTy g ty with
610610
| ValueSome tcref ->
611611
let extValRefs = nenv.eIndexedExtensionMembers.Find tcref
612612
SelectMethInfosFromExtMembers infoReader optFilter ty m extValRefs
@@ -2352,7 +2352,7 @@ let rec ResolveLongIdentInTypePrim (ncenv: NameResolver) nenv lookupKind (resInf
23522352

23532353
match lookupKind with
23542354
| LookupKind.Expr | LookupKind.Pattern ->
2355-
match tryDestAppTy g ty with
2355+
match tryTcrefOfAppTy g ty with
23562356
| ValueSome tcref ->
23572357
for uc in tcref.UnionCasesArray do
23582358
addToBuffer uc.DisplayName
@@ -2365,7 +2365,7 @@ and ResolveLongIdentInNestedTypes (ncenv: NameResolver) nenv lookupKind resInfo
23652365
tys
23662366
|> CollectAtMostOneResult (fun ty ->
23672367
let resInfo =
2368-
match tryDestAppTy ncenv.g ty with
2368+
match tryTcrefOfAppTy ncenv.g ty with
23692369
| ValueSome tcref ->
23702370
resInfo.AddEntity(id.idRange, tcref)
23712371
| _ ->
@@ -3222,7 +3222,7 @@ let ResolveFieldPrim sink (ncenv: NameResolver) nenv ad ty (mp, id: Ident) allFi
32223222
|> ListSet.setify (fun fref1 fref2 -> tyconRefEq g fref1.TyconRef fref2.TyconRef)
32233223
|> List.map (fun x -> ResolutionInfo.Empty, FieldResolution(x, false))
32243224

3225-
match tryDestAppTy g ty with
3225+
match tryTcrefOfAppTy g ty with
32263226
| ValueSome tcref ->
32273227
match ncenv.InfoReader.TryFindRecdOrClassFieldInfoOfType(id.idText, m, ty) with
32283228
| ValueSome (RecdFieldInfo(_, rfref)) -> [ResolutionInfo.Empty, FieldResolution(rfref, false)]
@@ -3536,7 +3536,7 @@ let ItemOfTyconRef ncenv m (x: TyconRef) =
35363536

35373537
let ItemOfTy g x =
35383538
let nm =
3539-
match tryDestAppTy g x with
3539+
match tryTcrefOfAppTy g x with
35403540
| ValueSome tcref -> tcref.DisplayName
35413541
| _ -> "?"
35423542
Item.Types (nm, [x])

‎src/fsharp/PatternMatchCompilation.fs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ let RefuteDiscrimSet g m path discrims =
255255
match c' with
256256
| None -> raise CannotRefute
257257
| Some c ->
258-
match tryDestAppTy g ty with
258+
match tryTcrefOfAppTy g ty with
259259
| ValueSome tcref when tcref.IsEnumTycon ->
260260
// We must distinguish between F#-defined enums and other .NET enums, as they are represented differently in the TAST
261261
let enumValues =

‎src/fsharp/PostInferenceChecks.fs‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -477,7 +477,7 @@ let CheckTypeForAccess (cenv: cenv) env objName valAcc m ty =
477477
let visitType ty =
478478
// We deliberately only check the fully stripped type for accessibility,
479479
// because references to private type abbreviations are permitted
480-
match tryDestAppTy cenv.g ty with
480+
match tryTcrefOfAppTy cenv.g ty with
481481
| ValueNone -> ()
482482
| ValueSome tcref ->
483483
let thisCompPath = compPathOfCcu cenv.viewCcu
@@ -493,7 +493,7 @@ let WarnOnWrongTypeForAccess (cenv: cenv) env objName valAcc m ty =
493493
let visitType ty =
494494
// We deliberately only check the fully stripped type for accessibility,
495495
// because references to private type abbreviations are permitted
496-
match tryDestAppTy cenv.g ty with
496+
match tryTcrefOfAppTy cenv.g ty with
497497
| ValueNone -> ()
498498
| ValueSome tcref ->
499499
let thisCompPath = compPathOfCcu cenv.viewCcu
@@ -618,7 +618,7 @@ let CheckTypeAux permitByRefLike (cenv: cenv) env m ty onInnerByrefError =
618618
let visitAppTy (tcref, tinst) =
619619
if isByrefLikeTyconRef cenv.g m tcref then
620620
let visitType ty0 =
621-
match tryDestAppTy cenv.g ty0 with
621+
match tryTcrefOfAppTy cenv.g ty0 with
622622
| ValueNone -> ()
623623
| ValueSome tcref2 ->
624624
if isByrefTyconRef cenv.g tcref2 then
@@ -1024,7 +1024,7 @@ and CheckExpr (cenv: cenv) (env: env) origExpr (context: PermitByRefExpr) : Limi
10241024
when not virt && baseVal.BaseOrThisInfo = BaseVal ->
10251025

10261026
// Disallow calls to abstract base methods on IL types.
1027-
match tryDestAppTy g baseVal.Type with
1027+
match tryTcrefOfAppTy g baseVal.Type with
10281028
| ValueSome tcref when tcref.IsILTycon ->
10291029
try
10301030
// This is awkward - we have to explicitly re-resolve back to the IL metadata to determine if the method is abstract.

‎src/fsharp/TastOps.fs‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -826,7 +826,7 @@ let tcrefOfAppTy g ty = ty |> stripTyEqns g |> (function TType_app(tcref, _) ->
826826
let argsOfAppTy g ty = ty |> stripTyEqns g |> (function TType_app(_, tinst) -> tinst | _ -> [])
827827
let tryDestTyparTy g ty = ty |> stripTyEqns g |> (function TType_var v -> ValueSome v | _ -> ValueNone)
828828
let tryDestFunTy g ty = ty |> stripTyEqns g |> (function TType_fun (tyv, tau) -> ValueSome(tyv, tau) | _ -> ValueNone)
829-
let tryDestAppTy g ty = ty |> stripTyEqns g |> (function TType_app(tcref, _) -> ValueSome tcref | _ -> ValueNone)
829+
let tryTcrefOfAppTy g ty = ty |> stripTyEqns g |> (function TType_app(tcref, _) -> ValueSome tcref | _ -> ValueNone)
830830
let tryDestAnonRecdTy g ty = ty |> stripTyEqns g |> (function TType_anon (anonInfo, tys) -> ValueSome (anonInfo, tys) | _ -> ValueNone)
831831

832832
let tryAnyParTy g ty = ty |> stripTyEqns g |> (function TType_var v -> ValueSome v | TType_measure unt when isUnitParMeasure g unt -> ValueSome(destUnitParMeasure g unt) | _ -> ValueNone)
@@ -1707,17 +1707,17 @@ let isFSharpObjModelRefTy g ty =
17071707
| TTyconStruct | TTyconEnum -> false
17081708

17091709
let isFSharpClassTy g ty =
1710-
match tryDestAppTy g ty with
1710+
match tryTcrefOfAppTy g ty with
17111711
| ValueSome tcref -> tcref.Deref.IsFSharpClassTycon
17121712
| _ -> false
17131713

17141714
let isFSharpStructTy g ty =
1715-
match tryDestAppTy g ty with
1715+
match tryTcrefOfAppTy g ty with
17161716
| ValueSome tcref -> tcref.Deref.IsFSharpStructOrEnumTycon
17171717
| _ -> false
17181718

17191719
let isFSharpInterfaceTy g ty =
1720-
match tryDestAppTy g ty with
1720+
match tryTcrefOfAppTy g ty with
17211721
| ValueSome tcref -> tcref.Deref.IsFSharpInterfaceTycon
17221722
| _ -> false
17231723

@@ -1728,7 +1728,7 @@ let isDelegateTy g ty =
17281728
#endif
17291729
| ILTypeMetadata (TILObjectReprData(_, _, td)) -> td.IsDelegate
17301730
| FSharpOrArrayOrByrefOrTupleOrExnTypeMetadata ->
1731-
match tryDestAppTy g ty with
1731+
match tryTcrefOfAppTy g ty with
17321732
| ValueSome tcref -> tcref.Deref.IsFSharpDelegateTycon
17331733
| _ -> false
17341734

@@ -1749,12 +1749,12 @@ let isClassTy g ty =
17491749
| FSharpOrArrayOrByrefOrTupleOrExnTypeMetadata -> isFSharpClassTy g ty
17501750

17511751
let isStructOrEnumTyconTy g ty =
1752-
match tryDestAppTy g ty with
1752+
match tryTcrefOfAppTy g ty with
17531753
| ValueSome tcref -> tcref.Deref.IsStructOrEnumTycon
17541754
| _ -> false
17551755

17561756
let isStructRecordOrUnionTyconTy g ty =
1757-
match tryDestAppTy g ty with
1757+
match tryTcrefOfAppTy g ty with
17581758
| ValueSome tcref -> tcref.Deref.IsStructRecordOrUnionTycon
17591759
| _ -> false
17601760

@@ -1763,7 +1763,7 @@ let isStructTyconRef (tcref: TyconRef) =
17631763
tycon.IsStructRecordOrUnionTycon || tycon.IsStructOrEnumTycon
17641764

17651765
let isStructTy g ty =
1766-
match tryDestAppTy g ty with
1766+
match tryTcrefOfAppTy g ty with
17671767
| ValueSome tcref ->
17681768
isStructTyconRef tcref
17691769
| _ ->
@@ -1794,7 +1794,7 @@ let isRefTy g ty =
17941794
// [Note: Constructed types and type-parameters are never unmanaged-types. end note]
17951795
let rec isUnmanagedTy g ty =
17961796
let ty = stripTyEqnsAndMeasureEqns g ty
1797-
match tryDestAppTy g ty with
1797+
match tryTcrefOfAppTy g ty with
17981798
| ValueSome tcref ->
17991799
let isEq tcref2 = tyconRefEq g tcref tcref2
18001800
if isEq g.nativeptr_tcr || isEq g.nativeint_tcr ||
@@ -1826,7 +1826,7 @@ let isInterfaceTycon x =
18261826
let isInterfaceTyconRef (tcref: TyconRef) = isInterfaceTycon tcref.Deref
18271827

18281828
let isEnumTy g ty =
1829-
match tryDestAppTy g ty with
1829+
match tryTcrefOfAppTy g ty with
18301830
| ValueNone -> false
18311831
| ValueSome tcref -> tcref.IsEnumTycon
18321832

@@ -3084,7 +3084,7 @@ let destNativePtrTy g ty =
30843084
| _ -> failwith "destNativePtrTy: not a native ptr type"
30853085

30863086
let isRefCellTy g ty =
3087-
match tryDestAppTy g ty with
3087+
match tryTcrefOfAppTy g ty with
30883088
| ValueNone -> false
30893089
| ValueSome tcref -> tyconRefEq g g.refcell_tcr_canon tcref
30903090

@@ -3109,7 +3109,7 @@ let mkOptionTy (g: TcGlobals) ty = TType_app (g.option_tcr_nice, [ty])
31093109
let mkListTy (g: TcGlobals) ty = TType_app (g.list_tcr_nice, [ty])
31103110

31113111
let isOptionTy (g: TcGlobals) ty =
3112-
match tryDestAppTy g ty with
3112+
match tryTcrefOfAppTy g ty with
31133113
| ValueNone -> false
31143114
| ValueSome tcref -> tyconRefEq g g.option_tcr_canon tcref
31153115

@@ -3124,7 +3124,7 @@ let destOptionTy g ty =
31243124
| ValueNone -> failwith "destOptionTy: not an option type"
31253125

31263126
let isNullableTy (g: TcGlobals) ty =
3127-
match tryDestAppTy g ty with
3127+
match tryTcrefOfAppTy g ty with
31283128
| ValueNone -> false
31293129
| ValueSome tcref -> tyconRefEq g g.system_Nullable_tcref tcref
31303130

@@ -3149,7 +3149,7 @@ let (|StripNullableTy|) g ty =
31493149
| _ -> ty
31503150

31513151
let isLinqExpressionTy g ty =
3152-
match tryDestAppTy g ty with
3152+
match tryTcrefOfAppTy g ty with
31533153
| ValueNone -> false
31543154
| ValueSome tcref -> tyconRefEq g g.system_LinqExpression_tcref tcref
31553155

@@ -4877,7 +4877,7 @@ let decideStaticOptimizationConstraint g c =
48774877
checkTypes a b
48784878
| TTyconIsStruct a ->
48794879
let a = normalizeEnumTy g (stripTyEqnsAndMeasureEqns g a)
4880-
match tryDestAppTy g a with
4880+
match tryTcrefOfAppTy g a with
48814881
| ValueSome tcref1 -> if tcref1.IsStructOrEnumTycon then StaticOptimizationAnswer.Yes else StaticOptimizationAnswer.No
48824882
| ValueNone -> StaticOptimizationAnswer.Unknown
48834883

@@ -5986,7 +5986,7 @@ let isRecdOrStructTyconRefReadOnly g m tcref =
59865986
isRecdOrStructTyconRefReadOnlyAux g m false tcref
59875987

59885988
let isRecdOrStructTyReadOnlyAux (g: TcGlobals) m isInref ty =
5989-
match tryDestAppTy g ty with
5989+
match tryTcrefOfAppTy g ty with
59905990
| ValueNone -> false
59915991
| ValueSome tcref -> isRecdOrStructTyconRefReadOnlyAux g m isInref tcref
59925992

@@ -6532,7 +6532,7 @@ let mkMinusOne g m = mkInt g m (-1)
65326532
let destInt32 = function Expr.Const (Const.Int32 n, _, _) -> Some n | _ -> None
65336533

65346534
let isIDelegateEventType g ty =
6535-
match tryDestAppTy g ty with
6535+
match tryTcrefOfAppTy g ty with
65366536
| ValueSome tcref -> tyconRefEq g g.fslib_IDelegateEvent_tcr tcref
65376537
| _ -> false
65386538

@@ -7956,15 +7956,15 @@ let TypeNullNever g ty =
79567956
let TypeNullIsExtraValue g m ty =
79577957
if isILReferenceTy g ty || isDelegateTy g ty then
79587958
// Putting AllowNullLiteralAttribute(false) on an IL or provided type means 'null' can't be used with that type
7959-
not (match tryDestAppTy g ty with ValueSome tcref -> TryFindTyconRefBoolAttribute g m g.attrib_AllowNullLiteralAttribute tcref = Some false | _ -> false)
7959+
not (match tryTcrefOfAppTy g ty with ValueSome tcref -> TryFindTyconRefBoolAttribute g m g.attrib_AllowNullLiteralAttribute tcref = Some false | _ -> false)
79607960
elif TypeNullNever g ty then
79617961
false
79627962
else
79637963
// Putting AllowNullLiteralAttribute(true) on an F# type means 'null' can be used with that type
7964-
match tryDestAppTy g ty with ValueSome tcref -> TryFindTyconRefBoolAttribute g m g.attrib_AllowNullLiteralAttribute tcref = Some true | _ -> false
7964+
match tryTcrefOfAppTy g ty with ValueSome tcref -> TryFindTyconRefBoolAttribute g m g.attrib_AllowNullLiteralAttribute tcref = Some true | _ -> false
79657965

79667966
let TypeNullIsTrueValue g ty =
7967-
(match tryDestAppTy g ty with
7967+
(match tryTcrefOfAppTy g ty with
79687968
| ValueSome tcref -> IsUnionTypeWithNullAsTrueValue g tcref.Deref
79697969
| _ -> false) || (isUnitTy g ty)
79707970

‎src/fsharp/TastOps.fsi‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -668,7 +668,7 @@ val destAppTy : TcGlobals -> TType -> TyconRef * TypeInst
668668

669669
val tcrefOfAppTy : TcGlobals -> TType -> TyconRef
670670

671-
val tryDestAppTy : TcGlobals -> TType -> ValueOption<TyconRef>
671+
val tryTcrefOfAppTy : TcGlobals -> TType -> ValueOption<TyconRef>
672672

673673
val tryDestTyparTy : TcGlobals -> TType -> ValueOption<Typar>
674674

0 commit comments

Comments
 (0)