... | ... | @@ -19,9 +19,9 @@ |
|
|
<tr><th>[ForeignFunctionInterface](foreign-function-interface)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[RecursiveDo](recursive-do)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -73,9 +73,9 @@ |
|
|
<tr><th>[EmptyDataDecls](empty-data-decls)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[NoMonomorphismRestriction](no-monomorphism-restriction)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
... | ... | @@ -97,9 +97,9 @@ |
|
|
<tr><th>[TypeSynonymInstances](type-synonym-instances)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[MultiParamTypeClasses](multi-param-type-classes)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -195,7 +195,139 @@ |
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr></table>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Assertions </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Concurrency </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</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>
|
|
|
<th></th></tr>
|
|
|
<tr><th>[InfixTypeConstructors](infix-type-constructors)</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</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>
|
|
|
<th></th></tr>
|
|
|
<tr><th>RebindableSyntax?</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>RecursiveModules?</th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
|
|
<th> ? </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>RewriteRules?</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>UnboxedTypes?</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>CoinductiveDictionaries?</th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>[PartialTypeSigs](partial-type-sigs)</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Impredicativity </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>ExplicitDictionaries?</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>KindPolymorphism?</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>DataKinds?</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>[MagicUnderscore](magic-underscore)</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> ? </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> Class Aliases </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> ?
|
|
|
</th></tr></table>
|
|
|
|
|
|
## Extensions supported by two compilers
|
|
|
|
... | ... | |