@@ -712,38 +712,38 @@ let CheckAugmentationAttribs isImplementation g amap (tycon: Tycon) =
712
712
// THESE ARE THE LEGITIMATE CASES
713
713
714
714
// [< >] on anything
715
- | _, _ , None , None, None , None, None , None , None
715
+ | _, _, None, None, None, None, None, None, None
716
716
717
717
// [<CustomEquality; CustomComparison>] on union/record/struct
718
- | true , _, None, Some( true ), None , None , None , Some( true ), None
718
+ | true , _, None, Some( true ), None, None, None, Some( true ), None
719
719
720
720
// [<CustomEquality; NoComparison>] on union/record/struct
721
- | true , _, None, Some( true ), None , None , Some( true ), None , None ->
721
+ | true , _, None, Some( true ), None, None, Some( true ), None, None ->
722
722
()
723
723
724
724
// [<ReferenceEquality; NoComparison>] on union/record/struct
725
- | true , _, None, None , Some( true ), None , Some( true ), None , None
725
+ | true , _, None, None, Some( true ), None, Some( true ), None, None
726
726
727
727
// [<ReferenceEquality>] on union/record/struct
728
- | true , _, None, None , Some( true ), None , None , None , None ->
728
+ | true , _, None, None, Some( true ), None, None, None, None ->
729
729
if isTrueFSharpStructTycon g tycon then
730
730
errorR( Error( FSComp.SR.augNoRefEqualsOnStruct(), m))
731
731
else ()
732
732
733
733
// [<StructuralEquality; StructuralComparison>] on union/record/struct
734
- | true , true , None, None , None , Some( true ), None , None , Some( true )
734
+ | true , true , None, None, None, Some( true ), None, None, Some( true )
735
735
736
736
// [<StructuralEquality; NoComparison>]
737
- | true , _, None, None , None , Some( true ), Some( true ), None , None
737
+ | true , _, None, None, None, Some( true ), Some( true ), None, None
738
738
739
739
// [<StructuralEquality; CustomComparison>]
740
- | true , _, None, None , None , Some( true ), None , Some( true ), None
740
+ | true , _, None, None, None, Some( true ), None, Some( true ), None
741
741
742
742
// [<NoComparison>] on anything
743
- | _ , _, None, None , None , None , Some( true ), None , None
743
+ | _, _, None, None, None, None, Some( true ), None, None
744
744
745
745
// [<NoEquality; NoComparison>] on anything
746
- | _ , _, Some( true ), None, None , None , Some( true ), None , None ->
746
+ | _, _, Some( true ), None, None, None, Some( true ), None, None ->
747
747
748
748
()
749
749
@@ -754,18 +754,18 @@ let CheckAugmentationAttribs isImplementation g amap (tycon: Tycon) =
754
754
errorR( Error( FSComp.SR.augNoEqualityNeedsNoComparison(), m))
755
755
756
756
// [<StructuralComparison(_)>]
757
- | true , true , _, _, _ , None , _, _, Some( true ) ->
757
+ | true , true , _, _, _, None, _, _, Some( true ) ->
758
758
errorR( Error( FSComp.SR.augStructCompNeedsStructEquality(), m))
759
759
// [<StructuralEquality(_)>]
760
- | true , _, _, _, _ , Some( true ), None, _, None ->
760
+ | true , _, _, _, _, Some( true ), None, _, None ->
761
761
errorR( Error( FSComp.SR.augStructEqNeedsNoCompOrStructComp(), m))
762
762
763
763
// [<StructuralEquality(_)>]
764
- | true , _, _, Some( true ), _ , _, None, None, _ ->
764
+ | true , _, _, Some( true ), _, _, None, None, _ ->
765
765
errorR( Error( FSComp.SR.augCustomEqNeedsNoCompOrCustomComp(), m))
766
766
767
767
// [<ReferenceEquality; StructuralEquality>]
768
- | true , _, _, _, Some( true ) , Some( true ) , _, _, _
768
+ | true , _, _, _, Some( true ), Some( true ), _, _, _
769
769
770
770
// [<ReferenceEquality; StructuralComparison(_) >]
771
771
| true , _, _, _, Some( true ), _, _, _, Some( true ) ->
@@ -774,9 +774,9 @@ let CheckAugmentationAttribs isImplementation g amap (tycon: Tycon) =
774
774
// non augmented type, [<ReferenceEquality; ... >]
775
775
// non augmented type, [<StructuralEquality; ... >]
776
776
// non augmented type, [<StructuralComparison(_); ... >]
777
- | false , _, _, _, Some( true ), _ , _ , _, _
778
- | false , _, _, _, _ , Some( true ), _ , _, _
779
- | false , _, _, _, _ , _ , _ , _, Some( true ) ->
777
+ | false , _, _, _, Some( true ), _, _, _, _
778
+ | false , _, _, _, _, Some( true ), _, _, _
779
+ | false , _, _, _, _, _, _, _, Some( true ) ->
780
780
errorR( Error( FSComp.SR.augOnlyCertainTypesCanHaveAttrs(), m))
781
781
// All other cases
782
782
| _ ->
@@ -829,7 +829,7 @@ let TyconIsCandidateForAugmentationWithCompare (g: TcGlobals) (tycon: Tycon) =
829
829
not ( TyconRefHasAttribute g tycon.Range g.attrib_ IsByRefLikeAttribute ( mkLocalTyconRef tycon)) &&
830
830
match getAugmentationAttribs g tycon with
831
831
// [< >]
832
- | true , true , None, None, None, None , None, None, None
832
+ | true , true , None, None, None, None, None, None, None
833
833
// [<StructuralEquality; StructuralComparison>]
834
834
| true , true , None, None, None, Some( true ), None, None, Some( true )
835
835
// [<StructuralComparison>]
@@ -845,7 +845,7 @@ let TyconIsCandidateForAugmentationWithEquals (g: TcGlobals) (tycon: Tycon) =
845
845
846
846
match getAugmentationAttribs g tycon with
847
847
// [< >]
848
- | true , _, None, None, None, None , _, _, _
848
+ | true , _, None, None, None, None, _, _, _
849
849
// [<StructuralEquality; _ >]
850
850
// [<StructuralEquality; StructuralComparison>]
851
851
| true , _, None, None, None, Some( true ), _, _, _ -> true
0 commit comments