Commit graph

310 commits

Author SHA1 Message Date
Julien Couvreur
5239f5f901
Merge pull request #1635 from lindexi/patch-1
Fix code format
2018-07-29 11:14:19 -07:00
Julien Couvreur
65b8af18a9
Merge pull request #1636 from lindexi/patch-2
Code Formatted
2018-07-29 11:13:47 -07:00
Jared Parsons
72f9edccdd
Merge pull request #1730 from tannergooding/readonly-methods
Adding the readonly-methods proposal document.
2018-07-26 09:14:47 -07:00
Tanner Gooding
5b4b07a066 Adding the readonly-methods proposal document. 2018-07-26 09:07:40 -07:00
Jared Parsons
0b2da3d15f
Move proposal to the right folder 2018-07-19 15:28:59 -07:00
Fredric Silberberg
a9c33ef740
the -> and 2018-07-19 11:06:18 -07:00
Fredric Silberberg
7a80baa479
Address PR feedback. 2018-07-19 10:46:09 -07:00
Fredric Silberberg
ac7a40a0e7
Update null-coalescing-assignment proposal with changes from LDM. 2018-07-16 17:23:09 -07:00
Julien Couvreur
d2ce4cc3e1
Minor terminology tweaks 2018-07-13 15:05:57 -07:00
Jared Parsons
ca4da89ce1
Fixed lots of typos 2018-07-09 07:10:27 -07:00
Jared Parsons
c725278c68
Using declaration 2018-07-09 06:09:50 -07:00
Jared Parsons
0812c810b6
Using pattern 2018-07-09 05:50:00 -07:00
Jared Parsons
b8509a781e
Using Doc 2018-07-03 09:43:19 -07:00
Bill Barry
c26d8480d4
abstract/virtual parameters use InAttribute
An `in` parameter must have the attribute `[IsReadOnly]`. It may have the attribute `[In]` if and only if it is either abstract or virtual.
2018-06-22 12:58:01 -04:00
lindexi
2ac7b6e913
Code Formatted
We use Allman style braces, where each brace begins on a new line. 

See: [coding-style.md](https://github.com/dotnet/corefx/blob/master/Documentation/coding-guidelines/coding-style.md )
2018-06-15 14:35:30 +08:00
lindexi
ee7b1265d6
Fix code format
We use [Allman style](http://en.wikipedia.org/wiki/Indent_style#Allman_style) braces, where each brace begins on a new line. 

We should use `_camelCase` for internal and private fields

See: [coding-style.md](https://github.com/dotnet/corefx/blob/master/Documentation/coding-guidelines/coding-style.md )
2018-06-15 14:25:46 +08:00
Julien Couvreur
98043cdc88
Rename null-coalecing-assignment.md to null-coalescing-assignment.md 2018-06-14 15:08:28 -07:00
Julien Couvreur
62be28af5e
Delete nullable-reference-types-speclet.md 2018-06-10 10:33:47 -07:00
Julien Couvreur
d233ee377a
Move speclet for nullable feature to csharplang 2018-06-10 10:33:25 -07:00
Petr Onderka
6f8c1d8bf3
Fixed link formatting 2018-06-06 14:40:42 +02:00
Julien Couvreur
da34bb714b
The method name custom fixed is GetPinnableReference (#1605) 2018-06-04 13:57:50 -07:00
Jared Parsons
d0da082089
Respond to PR feedback 2018-06-04 10:25:36 -07:00
Jared Parsons
b3aaa91995
Clarify Span<T> rules
While discussing `Span<T>` safety rules with the F# team I realized we
hadn't fully documented our dependency on the shape of the `Span<T>`
API. Added that plus some of the future considerations we discussed for
`Span<T>`.

https://github.com/Microsoft/visualfsharp/pull/4888
2018-06-01 16:25:39 -07:00
Julien Couvreur
ec2b071c30
Remove unnecessary checkboxes from 7.3 speclets (#1519) 2018-05-13 20:05:44 -07:00
Julien Couvreur
3ee3c05dfa
Update pattern-based-fixed.md 2018-05-13 12:47:43 -07:00
Julien Couvreur
666f0f2e2a
Create ranges.cs 2018-05-08 15:21:24 -07:00
Hüseyin Yağlı
a50d39d09f
Update ref-local-reassignment.md
corrected typo
2018-05-08 02:14:57 +03:00
Omar Tawfik
7c8a788cb9 More comments 2018-04-19 13:44:50 -07:00
Omar Tawfik
3945f6c228 More PR Comments 2018-04-17 12:05:59 -07:00
Omar Tawfik
b6e53e8db2 PR Comments 2018-04-13 14:47:05 -07:00
Omar Tawfik
36bc9d56c4 Added ranges proposal 2018-04-13 12:21:36 -07:00
Julien Couvreur
849b28c948
Create improved-overload-candidates.md 2018-03-21 15:23:40 -07:00
Julien Couvreur
c94ec9391a
Move tuple equality speclet to 7.3 folder (#1401) 2018-03-20 14:18:29 -07:00
Julien Couvreur
351dc303a4
Proposal for tuple equality/inequality comparisons (#967) 2018-03-20 14:07:28 -07:00
Alireza Habibi
36e8ff8fda Create target-typed-new.md (#1306) 2018-03-17 13:32:59 -07:00
Julien Couvreur
d437a2a6aa
Move C# 7.3 proposals to sub-folder (#1384) 2018-03-15 23:36:16 -07:00
Vladimir Sadov
04ef8c064e
Proposal: allow indexing movable fixed fields without pinning. 2018-02-27 18:16:31 -08:00
Julien Couvreur
b650b02f3d
Update LDM history 2018-02-16 10:38:24 -08:00
stakx
38370edf77 Fix typos in proposals (#1267) 2018-01-25 13:32:23 -08:00
Bill Barry
195efa0780 should implement IAsyncDisposable correctly (#1250) 2018-01-25 13:14:20 -08:00
Bill Barry
894218d034 spelling mistake (#1275) 2018-01-25 13:08:35 -08:00
Jared Parsons
821f59691c PR feedback 2018-01-25 08:20:38 -08:00
Jared Parsons
277edadd54 PR feedback 2018-01-24 18:20:46 -08:00
Jared Parsons
42bf13e172 Blittable design update
This updates the blittable design to reflect the most recent design
meeting on the subject. Summary of the changes:

1. Decided on `unmanaged` over `blittable`: This is the term used by
the spec and prior art (in F#). Additionally `blittable` is actually
a stronger constraint than what we actually need here.
2. Removed the struct declaration section: After further examination
it was decided that forcing existing structs to be annotated with
`unmanaged` before meeting the `unmanaged` constraint would severely
limit the feature. Decided to focus on the constraint here only.

Note: even though we changed the name I still kept the doc as
blittable.md for now to avoid breaking links and keeping doc history.
2018-01-24 16:33:49 -08:00
Vladimir Sadov
c52436f0e5
Merge pull request #1166 from VSadov/buffers
More details on indexable fixed-sized buffers proposal.
2018-01-22 14:26:15 -08:00
Vladimir Sadov
3f42bec0fe
Merge pull request #1100 from VSadov/fixed
Proposal for the Pattern based fixed statement
2018-01-22 14:22:18 -08:00
Vladimir Sadov
e8b2a485d7
Merge pull request #1223 from VSadov/SkipLocalsInit
Allow suppressing emit of `localsinit` flag via an attribute.
2018-01-22 14:20:39 -08:00
Vladimir Sadov
107f795a57
Merge pull request #1122 from VSadov/StackArrInit
Stackalloc array initializers.
2018-01-22 13:51:49 -08:00
vsadov
b7e03b93ff fix summary 2017-12-27 17:31:47 -08:00
vsadov
d5afe2141f Allow suppressing emit of localsinit flag via an attribute. 2017-12-27 17:28:21 -08:00
vsadov
ae2150b996 Couple tweaks 2017-12-06 15:45:30 -10:00
vsadov
9d0cd3a875 PR feedback and other fixes 2017-12-06 15:19:44 -10:00
vsadov
ec8c4e7a4c More details on indexable fixed-sized buffers. 2017-12-02 23:14:51 -08:00
vsadov
6f99ef0d4f Updating readonly reference proposal to match the final form of features.
Incorporate decisions, changes and motivation from various sources, documents and discussions.
The goal is to have all the relevant information in one place and describe the expected behavior of the actual implementation.
2017-12-01 13:57:24 -08:00
vsadov
183b8d1eed Stackalloc array initializers.
Ordinary arrays can be created through the following syntax:

```C#
new int[3]
new int[3] { 1, 2, 3 }
new int[] { 1, 2, 3 }
new[] { 1, 2, 3 }
```

We should allow stack allocated arrays be created through:

```C#
stackalloc int[3]				// currently allowed
stackalloc int[3] { 1, 2, 3 }
stackalloc int[] { 1, 2, 3 }
stackalloc[] { 1, 2, 3 }
```
2017-11-20 13:38:51 -08:00
vsadov
9dc8b26c7d some more CR feedback 2017-11-13 16:52:26 -08:00
vsadov
8cbf7ce24c addressed some PR comments. Thanks!! 2017-11-12 11:40:27 -08:00
vsadov
89bceec3a8 pattern based fixed 2017-11-11 23:05:03 -08:00
James Ko
5971e753a2 Fix changes from #537 (#718) 2017-11-05 14:34:35 -08:00
Bruno Juchli
5339dde3e5 fixed typo representaion ==> representation (#1008) 2017-10-29 21:22:42 -07:00
Charles Stoner
d3fabc1289 Add declaration-expressions.md proposal (#977) 2017-10-17 00:50:27 -04:00
Julien Couvreur
f8af0632d2 Moving "ref local reassignment" out of csharp-7.2 folder (#996) 2017-10-15 14:13:36 -07:00
Jared Parsons
66f016558e Merge pull request #206 from jaredpar/blittable
Initial blittable proposal
2017-10-11 09:33:10 -07:00
Mads Torgersen
95c9267d0d Add design notes 2017-10-05 20:15:39 -07:00
Neal Gafter
ca982efb54 Spec for ref local reassignment. (#963) 2017-10-05 13:23:32 -07:00
Erik Schierboom
45681a8729 Fix missing parameter type argument (#940) 2017-10-03 16:48:50 -07:00
Vladimir Sadov
0b145f3eb4 Update span-safety rules to account for recent changes (#951)
We no longer assume that ` Span<T> span = new Span<T>(ref variable); ` can actually "wrap" the reference to the variable.

This allows to relax some of the safety requirements.
2017-10-03 16:48:15 -07:00
Neal Gafter
f1cdf14b6c Add "spec" for leading underscores in hex and binary literals. (#962) 2017-10-03 15:09:36 -07:00
Julien Couvreur
ac995bd794 Move feature specs for C# 7.2 to proper folder (#925) 2017-09-21 08:51:24 -07:00
Tanner Gooding
a60a3a3644 Merge pull request #685 from tannergooding/fixed-sized-buffers
Adding the 'fixed-sized-buffers' proposal.
2017-09-12 12:59:53 -07:00
James Ko
97dcc16c68 Update CAE spec for extension methods (#719) 2017-09-07 10:14:46 -07:00
Erik Schierboom
7715c3d07c Indent code samples in readonly-ref.md (#740)
The code samples were all indented 8 spaces on the left, which make them slightly harder to read. This PR fixes that.
2017-09-07 10:10:42 -07:00
Julien Couvreur
c5fbcd6f4e Move C# 7.1 proposals to 7.1 folder (#870) 2017-09-06 13:10:02 -07:00
Drew Noakes
b7e7879109 Capitalisation of ReadOnlySpan<T> (#875)
Although C# has the `readonly` keyword, the common usage is to have the term hyphenated as _read-only_.

This would mean the term should have a capital O. I.e. `ReadOnlySpan<T>` rather than `ReadonlySpan<T>`.

This matches `IReadOnlyCollection` and friends.
2017-09-02 07:53:10 -04:00
Stephen Toub
876bf163c7 Update async stream proposal based on design meeting 2017-08-30 17:32:50 -04:00
Stephen Toub
22eb67537f Fix typo in async streams proposal 2017-08-30 08:43:25 -04:00
Stephen Toub
cd5130970d Add strawman proposal for async iterators
This is by no means a finished design; rather, it's a starting point for subsequent discussions, design, and prototyping.
2017-08-30 08:39:38 -04:00
Neal Gafter
9bae7bfdf9 Update span-safety.md 2017-08-28 11:47:00 -07:00
Neal Gafter
568b395226 Further refinements to the span safety rules. (#855) 2017-08-27 22:52:26 -07:00
Neal Gafter
ee03f0d3fd Adjust span safety rules for in arguments and foreach (#844) 2017-08-24 12:26:11 -07:00
Neal Gafter
8580aeb506 Adjust span safety rules. (#824) 2017-08-23 15:51:00 -07:00
Neal Gafter
27980f7682 Update span-safety.md 2017-08-11 16:00:31 -07:00
Neal Gafter
aaa033c090 Update span-safety.md
Add an open issue asking if parameters act as if in the top-level scope.
2017-08-11 15:59:42 -07:00
Neal Gafter
94304b9645 Update span-safety.md
To describe the rule @VSadov is implementing for `in` arguments.
2017-08-11 15:16:01 -07:00
Neal Gafter
4521040ddc Adjust proposed rule for in parameters. 2017-08-10 10:45:22 -07:00
Neal Gafter
e95fa26b2f Add draft language rules for ref-like types. (#795) 2017-08-09 16:09:56 -07:00
Julien Couvreur
739cf48434 Update non-trailing named arguments proposal (#673) 2017-06-29 09:27:56 -07:00
Tanner Gooding
f4d64fbe8a Adding the 'fixed-sized-buffers' proposal. 2017-06-16 09:58:12 -07:00
Seth Rudesill
7c78f92764 Corrected typo in readonly-ref feature summary (#672) 2017-06-11 20:52:40 -07:00
Vladimir Sadov
6ec04f5433 Updated draft for the safety of ref-like types such as Span<T> (#472) 2017-06-08 16:55:10 -07:00
Neal Gafter
58744939e2 Clarify the specified semantics of a throw expression. (#661) 2017-06-06 17:51:52 -07:00
Omar Tawfik
1918cb06e1 Note on spec 7.5.3.1 violation (#649) 2017-06-05 12:59:57 -07:00
Eik Rentzow
236dff2783 Corrected patterns.md to use discard pattern ('_') in examples instead of star (*). (#610) 2017-06-05 12:57:57 -07:00
Neal Gafter
dc9a25da6e Update default interface methods doc. (#585) 2017-06-05 12:56:17 -07:00
Julien Couvreur
b6305624d6 Proposal for "non-trailing named arguments" (#638) 2017-06-02 13:19:15 -07:00
Neal Gafter
7f64711c0a API for the compiler to determine if the runtime supports traits. (#582) 2017-05-15 11:56:39 -07:00
faso
7fb6e60da9 Typo (#566) 2017-05-15 10:35:24 -07:00
faso
658e65403a Multiple typos (#565) 2017-05-15 10:34:23 -07:00
Julien Couvreur
0ee2415784 Inferred tuple names produce an error when LangVer is 7 2017-05-11 14:06:14 -07:00
Omar Tawfik
79cee63178 Updated syntax and metadata sections of ref-readonly proposal (#557) 2017-05-09 14:59:11 -07:00
Joseph Musser
7d6fe57574 Typo fixes (#537) 2017-05-04 10:57:40 -07:00
Leonardo Taglialegne
6598b96fed Add missing "not" (#309) 2017-05-03 14:32:29 -07:00
Neal Gafter
67e51abf2a Move some open and closed issues into the spec. (#439) 2017-05-03 14:31:44 -07:00
Greg Ingram
22f42429d2 Update records.md (#491) 2017-05-03 14:30:39 -07:00
James Ko
f0a63ca72c Add proposal for CallerArgumentExpression attribute (#347) 2017-05-03 14:17:53 -07:00
Yaakov
ec93a63fab Fix typo in default interface methods proposal (#456)
`iOs` -> `iOS`
2017-05-03 14:13:52 -07:00
Julien Couvreur
adbba029a8 Proposal document for infer tuple names (#482) 2017-04-24 16:27:27 -07:00
Neal Gafter
c6545f2ac8 Rename improved-common-type.md to nullable-enhanced-common-type.md 2017-04-19 17:08:35 -07:00
Neal Gafter
55ebc6ccd4 Change title of nullable-enhanced common type. 2017-04-19 17:08:05 -07:00
Neal Gafter
d07535b3ba Modify default interface methods proposal based on 2017-04-18 LDM (#462) 2017-04-19 12:52:21 -07:00
Neal Gafter
8279c47d29 Update improved-common-type.md 2017-04-18 12:27:04 -07:00
Neal Gafter
d8aa8cd375 change feature name to "pattern-matching with generics" 2017-04-18 12:12:59 -07:00
Neal Gafter
c4f6267ca0 Add proposal for #154. (#454) 2017-04-18 12:08:35 -07:00
Neal Gafter
4a40d9263b Update spec per recent LDM decisions. (#416) 2017-04-06 12:53:15 -07:00
Julien Couvreur
32817c755f Updating status on "default" literal implementation 2017-04-05 22:54:16 -07:00
Neal Gafter
b267d8863b Update default interface methods proposal (#405) 2017-04-05 15:35:20 -07:00
Neal Gafter
5a2fffed6e Add precise proposed spec for improved common type. (#386) 2017-04-04 14:47:39 -07:00
Stephen Toub
f7eb0e3e33 Add proposal for readonly locals 2017-04-04 14:18:15 -04:00
Stephen Toub
24b2ac2598 Add comment about return-targeted attributes 2017-03-29 06:35:57 -04:00
Stephen Toub
2531e639b6 Add proposal for attributes on lambdas 2017-03-28 13:27:18 -04:00
Neal Gafter
cd7964ed24 Clarify that a constant pattern must be constant after the conversion. 2017-03-27 14:43:38 -07:00
Neal Gafter
d7c01cd036 Add to the motivations section of the default interface methods proposal. 2017-03-20 17:15:09 -07:00
Neal Gafter
592158fa04 Correct a typo 2017-03-17 16:04:56 -07:00
Neal Gafter
713e5e6aa3 Correct an explanatory example 2017-03-17 16:04:29 -07:00
Tanner Gooding
c5de26f520 Merge pull request #126 from tannergooding/static-delegate
Adding the static-delegate proposal.
2017-03-16 16:53:44 -07:00
Neal Gafter
3524ad4e2b Add some details discussed in LDM. (#250) 2017-03-16 16:50:29 -07:00
Neal Gafter
5123ec0edf Update null-conditional-await.md 2017-03-15 12:25:12 -07:00
Neal Gafter
1a8ffd3975 Add implemented reachability spec for local functions. 2017-03-14 13:37:51 -07:00
Julien Couvreur
6e3d2dfe67 Create target-typed-default.md (#209) 2017-03-08 10:04:42 -08:00
Vladimir Sadov
8635b735e1 Proposal for the "conditional ref expression" feature (#224)
Proposal for the   "conditional ref expression" feature.
moved from https://github.com/dotnet/roslyn/issues/16473
2017-03-07 14:11:37 -08:00
Stephen Toub
fd33fa5b7d Update discussion of async void 2017-02-28 18:10:00 -05:00
Jared Parsons
4daf8b0bce Initial blittable proposal 2017-02-27 20:19:55 -08:00
Neal Gafter
81bbace212 Add some C# 7 feature proposals. (#201) 2017-02-27 12:47:39 -08:00
Neal Gafter
92be8b7c9f Update the spec for handling constant patterns (implementation in progress) (#81) 2017-02-27 12:46:08 -08:00
LouisFr81
9d957f97b1 I think there is a comma missing from record_parameter_list
* Update records.md
2017-02-27 12:44:49 -08:00
Neal Gafter
b7f7b22866 Change improved-common-type.md to handle nullable but not base classes 2017-02-26 12:27:13 -08:00
Tanner Gooding
e23c9e0ebd Clarifying on some points in the static-delegates proposal. 2017-02-16 08:02:34 -08:00
Tanner Gooding
6b8bd95f8b Adding a couple of drawbacks to the static-delegates proposal. 2017-02-16 07:19:41 -08:00
Tanner Gooding
d3672725b1 Adding the static-delegate proposal. 2017-02-15 21:15:08 -08:00
Stephen Toub
3d15be368b Add a proposal for async Main 2017-02-14 18:03:24 -08:00
Mads Torgersen
2bf35bd23e Update READMEs for discussion in GitHub issues 2017-02-13 16:20:11 -08:00
Eyal Solnik
30b064fd95 Remove abbreviations from the text (#68)
* Update proposal-template.md
* Remove abbreviation from the text

Some people aren't native English speakers and they might have problems understanding the text when abbreviations are used.
2017-02-13 14:59:12 -08:00
Neal Gafter
b6b3661add Add question regarding &&= to the ??= spec 2017-02-13 11:27:45 -08:00
Tanner Gooding
7c59892a00 Updating the intptr-operators proposal to include the list of operators. (#50)
* Updating the `intptr-operators` proposal to include the list of operators.
* Fixing some typos in the intptr-operators proposal.
* Fixing the comment for `explicit operator System.UIntPtr(int)` and `explicit operator System.UIntPtr(uint)` to indicate the value should Zero Extend
2017-02-13 11:05:50 -08:00
Neal Gafter
b421db7418 Add spec for default interface methods. (#51) 2017-02-09 16:30:35 -08:00
Neal Gafter
435958d343 Add proposal for covariant return types. (#47) 2017-02-09 13:06:45 -08:00
Mads Torgersen
c38b02979f Merge pull request #23 from tannergooding/intptr-operators
Adding the intptr-operators proposal.
2017-02-09 13:03:50 -08:00
Neal Gafter
42db01c2e6 Add an early (already out-of-date) draft of pattern-matching spec. (#44) 2017-02-09 12:24:13 -08:00
HaloFour
0198d1d9aa Create auto-prop field attributes proposal specification (#25) 2017-02-09 11:55:28 -08:00
Mads Torgersen
5b9fd170d6 Merge pull request #31 from gafter/gafter-champ-md
Add some championed proposals.
2017-02-09 10:11:09 -08:00
Neal Gafter
fab2157f7e Add some championed proposals. 2017-02-09 09:02:29 -08:00
Vladimir Sadov
e8a42bafa8 Adding the "Readonly references" proposal (#28) 2017-02-08 12:56:35 -08:00
Tanner Gooding
7a91a792ed Adding the intptr-operators proposal. 2017-02-06 08:06:33 -08:00
Hugh Bellamy
8da10979b7 Fix typo in the nullable reference types proposal 2017-02-03 11:18:41 +07:00
Scott Dorman
9093b4feda Consitency updates between C# and VB repos.
Updated the README.md files for consitency between the C# and VB repos.
2017-02-01 16:12:01 -05:00
Mads Torgersen
a5f82604ea Update READMEs 2017-01-31 13:07:49 -08:00
Mads Torgersen
b5bfafdb73 Updated proposal README 2017-01-27 16:52:16 -08:00
Mads Torgersen
6de398597a Add folders and READMEs 2017-01-27 11:02:27 -08:00
Mads Torgersen
7981ea1fb4 Added nullable proposal and related design notes 2017-01-09 15:21:19 -08:00
Anthony D. Green
908fcfb51f Add directory structure for repo. 2017-01-06 13:19:16 -08:00