Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
4ba648b
mkAppTy resolved
T-Gro Mar 14, 2024
1429960
mkFunTyWithNullness
T-Gro Mar 14, 2024
664416c
adding failing tests for fsharp types
T-Gro Mar 18, 2024
c812e13
Merge remote-tracking branch 'upstream/main' into feature-nullness-re…
T-Gro Mar 19, 2024
5247050
delayed checks of post-infered values for nullness-carrying capabilities
T-Gro Mar 20, 2024
a4b60a2
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
T-Gro Mar 20, 2024
e4c0bfd
more tests
T-Gro Mar 20, 2024
41cc2b7
Merge branch 'feature-nullness-resolveTODOs' of https://github.com/T-…
T-Gro Mar 20, 2024
ed01053
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
T-Gro Mar 21, 2024
07f190f
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
T-Gro Mar 22, 2024
4827b98
fix xliffs
T-Gro Mar 22, 2024
1a9d715
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
T-Gro Mar 25, 2024
cc102b4
Regression on passing null literal - to be fixed
T-Gro Mar 25, 2024
bd62198
regression with obj - captured as a test
T-Gro Mar 26, 2024
f0b4c38
autowiden tests change from preview to 8
T-Gro Mar 26, 2024
bc974da
invetigate CI test failures
T-Gro Mar 26, 2024
0a5b298
warnon 3262
T-Gro Mar 26, 2024
1e2e96b
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
T-Gro Mar 26, 2024
a22b560
null handling for obj type
T-Gro Mar 28, 2024
9e77b54
fantomas
T-Gro Mar 28, 2024
a7a72b2
Merge branch 'feature/nullness' into feature-nullness-objty
T-Gro Mar 28, 2024
877ee59
anon records nullness
T-Gro Apr 2, 2024
118346c
Merge remote-tracking branch 'upstream/main' into feature-nullness-objty
T-Gro Apr 3, 2024
f47bcce
Merge branch 'feature/nullness' into feature-nullness-objty
T-Gro Apr 5, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'feature/nullness' into feature-nullness-resolveTODOs
  • Loading branch information
T-Gro authored Mar 21, 2024
commit ed0105331dc56c70a4f871d5f8e761454900f432
3 changes: 3 additions & 0 deletions docs/release-notes/.FSharp.Compiler.Service/8.0.300.md
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,9 @@
* Parser: fix pattern range for idents with trivia ([PR #16824](https://github.com/dotnet/fsharp/pull/16824))
* Fix broken code completion after a record type declaration ([PR #16813](https://github.com/dotnet/fsharp/pull/16813))* Enforce AttributeTargets on enums ([PR #16887](https://github.com/dotnet/fsharp/pull/16887))
* Enforce AttributeTargets on delegates ([PR #16891](https://github.com/dotnet/fsharp/pull/16891))
* Enforce AttributeTargets on enums ([PR #16887](https://github.com/dotnet/fsharp/pull/16887))
* Completion: fix for unfinished record field decl ([PR #16893](https://github.com/dotnet/fsharp/pull/16893))


### Added

Expand Down
2 changes: 1 addition & 1 deletion docs/release-notes/.FSharp.Core/8.0.300.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,4 @@
* Enforce AttributeTargets on structs and classes. Also update `RequireQualifiedAccessAttribute` and `AutoOpenAttribute` to use `AttributeTargets.Struct` ([PR #16790](https://github.com/dotnet/fsharp/pull/16790))
* Enforce AttributeTargets on enums. Also update `RequireQualifiedAccessAttribute` to use `AttributeTargets.Enum` ([PR #16887](https://github.com/dotnet/fsharp/pull/16887))
* Enforce AttributeTargets on delegates. Also update `ReflectedDefinitionAttribute` to use `AttributeTargets.Delegate` ([PR #16891](https://github.com/dotnet/fsharp/pull/16891))
* Enforce AttributeTargets on enums. Also update `RequireQualifiedAccessAttribute` to use `AttributeTargets.Enum` ([PR #16887](https://github.com/dotnet/fsharp/pull/16887))

2 changes: 1 addition & 1 deletion src/FSharp.Core/prim-types.fs
Original file line number Diff line number Diff line change
Expand Up @@ -167,7 +167,7 @@ namespace Microsoft.FSharp.Core
AttributeTargets.Parameter ||| AttributeTargets.Method |||
AttributeTargets.Property ||| AttributeTargets.Constructor |||
AttributeTargets.Delegate, AllowMultiple=false)>]

[<Sealed>]
type ReflectedDefinitionAttribute(includeValue: bool) =
inherit Attribute()
Expand Down
1 change: 0 additions & 1 deletion src/FSharp.Core/prim-types.fsi
Original file line number Diff line number Diff line change
Expand Up @@ -130,7 +130,6 @@ namespace Microsoft.FSharp.Core
/// for use at runtime.</summary>
///
/// <category>Attributes</category>

[<AttributeUsage (AttributeTargets.Class ||| AttributeTargets.Struct ||| AttributeTargets.Parameter ||| AttributeTargets.Method ||| AttributeTargets.Property ||| AttributeTargets.Constructor ||| AttributeTargets.Delegate, AllowMultiple=false)>]
[<Sealed>]
type ReflectedDefinitionAttribute =
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -555,8 +555,8 @@ module CustomAttributes_AttributeUsage =
(Error 842, Line 20, Col 3, Line 20, Col 14, "This attribute is not valid for use on this language element")
(Error 842, Line 21, Col 3, Line 21, Col 18, "This attribute is not valid for use on this language element")
(Error 842, Line 22, Col 3, Line 22, Col 17, "This attribute is not valid for use on this language element")

]

// SOURCE=AttributeTargetsIsDelegate01.fs # AttributeTargetsIsDelegate01.fs
[<Theory; Directory(__SOURCE_DIRECTORY__, Includes=[|"AttributeTargetsIsDelegate01.fs"|])>]
let ``AttributeTargetsIsDelegate01_fs`` compilation =
Expand Down Expand Up @@ -591,5 +591,4 @@ module CustomAttributes_AttributeUsage =
(Error 842, Line 20, Col 3, Line 20, Col 15, "This attribute is not valid for use on this language element")
(Error 842, Line 21, Col 3, Line 21, Col 18, "This attribute is not valid for use on this language element")
(Error 842, Line 22, Col 3, Line 22, Col 13, "This attribute is not valid for use on this language element")

]
You are viewing a condensed version of this merge commit. You can view the full changes here.