| ... | @@ -64,7 +64,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -64,7 +64,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Description
|
|
<th> Description
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -84,7 +84,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -84,7 +84,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add some kind of concurrency
|
|
<th> add some kind of concurrency
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -104,7 +104,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -104,7 +104,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [ForeignFunctionInterface](foreign-function-interface)
|
|
<th> add [ForeignFunctionInterface](foreign-function-interface)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> M </th>
|
|
<th> M </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -124,7 +124,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -124,7 +124,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add multi parameter type classes
|
|
<th> add multi parameter type classes
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -144,7 +144,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -144,7 +144,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add RankNTypes or Rank2Types
|
|
<th> add RankNTypes or Rank2Types
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -164,7 +164,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -164,7 +164,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add polymorphic components
|
|
<th> add polymorphic components
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -224,7 +224,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -224,7 +224,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> allow [TypeSynonymInstances](type-synonym-instances)
|
|
<th> allow [TypeSynonymInstances](type-synonym-instances)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -244,7 +244,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -244,7 +244,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Relax Dependency Analysis
|
|
<th> Relax Dependency Analysis
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y\* </th>
|
|
<tr><th> Y\* </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -264,7 +264,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -264,7 +264,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [ImpreciseExceptions](imprecise-exceptions)
|
|
<th> add [ImpreciseExceptions](imprecise-exceptions)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y\* </th>
|
|
<tr><th> Y\* </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th>Y(3)</th>
|
|
<th>Y(3)</th>
|
|
|
<th>Y(3)</th>
|
|
<th>Y(3)</th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -284,7 +284,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -284,7 +284,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [ExtensibleExceptions](extensible-exceptions)
|
|
<th> add [ExtensibleExceptions](extensible-exceptions)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -344,7 +344,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -344,7 +344,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Nondecreasing Indentation
|
|
<th> Nondecreasing Indentation
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -384,7 +384,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -384,7 +384,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> fix common pitfall with the do-notation and if-then-else
|
|
<th> fix common pitfall with the do-notation and if-then-else
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -484,7 +484,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -484,7 +484,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add Flexible Contexts
|
|
<th> add Flexible Contexts
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -504,7 +504,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -504,7 +504,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add Pattern Guards
|
|
<th> add Pattern Guards
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> M </th>
|
|
<tr><th> M </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -524,7 +524,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -524,7 +524,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add new pragmas
|
|
<th> add new pragmas
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> M </th>
|
|
<th> M </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -564,7 +564,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -564,7 +564,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Make underscore 'caseless'
|
|
<th> Make underscore 'caseless'
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> N </th>
|
|
<tr><th> N </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -604,7 +604,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -604,7 +604,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> replace the Read class
|
|
<th> replace the Read class
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -664,7 +664,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -664,7 +664,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [PartialTypeAnnotations](partial-type-annotations)?
|
|
<th> add [PartialTypeAnnotations](partial-type-annotations)?
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y\* </th>
|
|
<tr><th> Y\* </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -724,7 +724,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -724,7 +724,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> allow data consructors to be exported and imported readonly
|
|
<th> allow data consructors to be exported and imported readonly
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y\* </th>
|
|
<tr><th> Y\* </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> M </th>
|
|
<th> M </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -744,7 +744,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -744,7 +744,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> prelude re-organisation proposal
|
|
<th> prelude re-organisation proposal
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -764,7 +764,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -764,7 +764,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add Parallel List comprehensions
|
|
<th> add Parallel List comprehensions
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> Y </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -784,7 +784,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -784,7 +784,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Generalised deriving for newtype
|
|
<th> Generalised deriving for newtype
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> N </th>
|
|
<tr><th> N </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -844,7 +844,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -844,7 +844,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [MagicUnderscore](magic-underscore)
|
|
<th> add [MagicUnderscore](magic-underscore)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -864,7 +864,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -864,7 +864,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [LambdaCase](lambda-case)
|
|
<th> add [LambdaCase](lambda-case)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> M </th>
|
|
<tr><th> M </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -924,7 +924,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -924,7 +924,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> remove operator fixity resolution from the context-free grammar
|
|
<th> remove operator fixity resolution from the context-free grammar
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -964,7 +964,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -964,7 +964,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> improve defaulting rules
|
|
<th> improve defaulting rules
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -984,7 +984,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -984,7 +984,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add First Class Labels
|
|
<th> add First Class Labels
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1004,7 +1004,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1004,7 +1004,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Move existing named field (record) system to an addendum
|
|
<th> Move existing named field (record) system to an addendum
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1024,7 +1024,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1024,7 +1024,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Replace named fields with an extensible record system
|
|
<th> Replace named fields with an extensible record system
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1044,7 +1044,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1044,7 +1044,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Reform the monomorphism restriction
|
|
<th> Reform the monomorphism restriction
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
| ... | @@ -1184,7 +1184,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1184,7 +1184,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Eliminate tabs
|
|
<th> Eliminate tabs
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1204,7 +1204,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1204,7 +1204,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add recursive do syntax
|
|
<th> add recursive do syntax
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> M </th>
|
|
<th> M </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1224,7 +1224,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1224,7 +1224,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add GADTs
|
|
<th> add GADTs
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1244,7 +1244,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1244,7 +1244,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add views
|
|
<th> add views
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1264,7 +1264,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1264,7 +1264,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> Allow Undecidable Instances
|
|
<th> Allow Undecidable Instances
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1284,7 +1284,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1284,7 +1284,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add overlapping or incoherent instances
|
|
<th> add overlapping or incoherent instances
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> N </th>
|
|
<tr><th> N </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1304,7 +1304,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1304,7 +1304,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add Linear implicit params
|
|
<th> add Linear implicit params
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> M </th>
|
|
<tr><th> M </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1324,7 +1324,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1324,7 +1324,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [FunctionalDependencies](functional-dependencies)
|
|
<th> add [FunctionalDependencies](functional-dependencies)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> Y </th>
|
|
<tr><th> Y </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> Y </th>
|
|
<th> Y </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1344,7 +1344,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1344,7 +1344,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add [MultiWayIf](multi-way-if)
|
|
<th> add [MultiWayIf](multi-way-if)
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1364,7 +1364,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1364,7 +1364,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> allow tuple sections
|
|
<th> allow tuple sections
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> N </th>
|
|
<tr><th> N </th>
|
|
|
<th> </th>
|
|
<th> N </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | @@ -1384,7 +1384,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1384,7 +1384,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add implicit parameters
|
|
<th> add implicit parameters
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> M </th>
|
|
<tr><th> M </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
| ... | @@ -1404,7 +1404,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
... | @@ -1404,7 +1404,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
<th> add Associated Types
|
|
<th> add Associated Types
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> N </th>
|
|
<tr><th> N </th>
|
|
|
<th> </th>
|
|
<th> M </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> N </th>
|
|
<th> N </th>
|
| ... | | ... | |