Skip to content

Create FS-1150-Literal-inferred-types.md #800

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 57 commits into
base: main
Choose a base branch
from
Draft

Create FS-1150-Literal-inferred-types.md #800

Changes from all commits
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
114b543
Create FS-1150-Literal-inferred-types.md
Happypig375 May 30, 2025
52321aa
Update FS-1150-Literal-inferred-types.md
Happypig375 May 30, 2025
12f6ef4
Update FS-1150-Literal-inferred-types.md
Happypig375 May 30, 2025
3bbd252
Update FS-1150-Literal-inferred-types.md
Happypig375 May 30, 2025
91e289f
Type-directed resolution of pattern matching
Happypig375 May 30, 2025
0ac5529
Tuple patterns for KeyValuePair<_, _>
Happypig375 May 30, 2025
a352faa
Fix wording
Happypig375 May 30, 2025
eabada5
no rune
Happypig375 May 30, 2025
b32d753
Fix collection separator
Happypig375 May 30, 2025
e3104e0
stronger wording
Happypig375 May 30, 2025
24b1304
error for chars inferred as bytes
Happypig375 May 30, 2025
20c1a4c
¶ banned
Happypig375 May 30, 2025
de95825
wording
Happypig375 May 30, 2025
dbe537a
Type-directed resolution of infinity and nan
Happypig375 May 31, 2025
2c68362
Fix snippet
Happypig375 May 31, 2025
ac23371
dictionary snippet
Happypig375 May 31, 2025
5b28a2d
Optimize list literals for ReadOnlySpan<byte>
Happypig375 May 31, 2025
3cc20d3
Writing type defaulting
Happypig375 May 31, 2025
ceccf63
Update FS-1150-Literal-inferred-types.md
Happypig375 Jun 10, 2025
8f5a908
Succinctness - Robustness - Performance
Happypig375 Jun 12, 2025
6dad46b
Overhaul using statically resolved constraints
Happypig375 Jun 22, 2025
0763d72
Update motivation for Span overloads
Happypig375 Jun 22, 2025
5f39880
Breaking change
Happypig375 Jun 22, 2025
1a11d99
Better?
Happypig375 Jun 22, 2025
f27be8d
Not potential
Happypig375 Jun 22, 2025
e0aa314
Overload resolution
Happypig375 Jun 22, 2025
2117ee1
Break?
Happypig375 Jun 22, 2025
7d01d2e
Fix headers
Happypig375 Jun 22, 2025
41678f5
Fix header
Happypig375 Jun 22, 2025
651f8d5
Unapprove
Happypig375 Jun 22, 2025
2561fc3
Don't touch union cases
Happypig375 Jun 23, 2025
e1c7a1b
Update FS-1150-Literal-inferred-types.md
Happypig375 Jun 23, 2025
68a602b
Update FS-1150-Literal-inferred-types.md
Happypig375 Jun 23, 2025
af6e8cf
Tuple patterns
Happypig375 Jun 24, 2025
4cfc878
Better diagnostics
Happypig375 Jun 24, 2025
e65a6b1
Levels of implementation
Happypig375 Jun 25, 2025
6c1ba64
spec wip
Happypig375 Jun 26, 2025
46959a8
spec wip continued
Happypig375 Jun 27, 2025
346a605
spec for numeric constraints
Happypig375 Jun 28, 2025
47a019a
spec for a to d
Happypig375 Jun 29, 2025
7dd0a6f
Default typing
Happypig375 Jun 29, 2025
bfa2c86
Support Half and (U)Int128
Happypig375 Jun 29, 2025
794c9bd
tuple constraint
Happypig375 Jul 1, 2025
030ab77
Tuple expression spec wip
Happypig375 Jul 2, 2025
0b2bddd
Tuple conversion preferences
Happypig375 Jul 3, 2025
dde725f
units of measure proposal
Happypig375 Jul 4, 2025
315dd5b
Units of measure clarified
Happypig375 Jul 6, 2025
de63ecc
playing with units of measure
Happypig375 Jul 6, 2025
c485a45
Start measurable constraint spec
Happypig375 Jul 17, 2025
0743688
Optimized list literals for maps and sets draft
Happypig375 Jul 20, 2025
4a239ef
Measurable spec wip
Happypig375 Jul 21, 2025
6cb124b
records or not?
Happypig375 Jul 22, 2025
d6a2896
Record updates only.
Happypig375 Jul 22, 2025
51d1b5b
WIP units of measure
Happypig375 Jul 24, 2025
a568618
Fix typo
Happypig375 Aug 5, 2025
f2e7d79
DU case fields covered
Happypig375 Aug 5, 2025
ba77f3c
WIP type inference dimensions
Happypig375 Aug 8, 2025
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
Loading