... | ... | @@ -34,6 +34,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>
|
... | ... | @@ -64,12 +76,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>
|
... | ... | @@ -154,12 +178,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>
|
... | ... | @@ -199,79 +217,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>
|
... | ... | @@ -317,9 +317,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>
|
... | ... | |