... | ... | @@ -40,6 +40,18 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [PatternGuards](pattern-guards) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [Arrows](arrows) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ScopedTypeVariables](scoped-type-variables) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -70,12 +82,24 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [NewtypeDeriving](newtype-deriving) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ImplicitParams](implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [LinearImplicitParams](linear-implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [EmptyDataDecls](empty-data-decls) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
... | ... | @@ -160,12 +184,6 @@ |
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [Arrows](arrows) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Generics? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -205,79 +223,61 @@ |
|
|
<tr><th> Assertions </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Concurrency </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> Coop
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> GADTs </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [NewtypeDeriving](newtype-deriving) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [LiberalTypeSynonyms](liberal-type-synonyms) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [LinearImplicitParams](linear-implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [PatternGuards](pattern-guards) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> RebindableSyntax? </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> RecursiveModules? </th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> RewriteRules? </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> UnboxedTypes? </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> CoinductiveDictionaries? </th>
|
... | ... | @@ -323,9 +323,9 @@ |
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [NondecreasingIndentation](nondecreasing-indentation) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> Class Aliases </th>
|
... | ... | |