... | ... | @@ -25,9 +25,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>
|
... | ... | @@ -79,9 +79,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>
|
... | ... | @@ -103,9 +103,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>
|
... | ... | @@ -201,7 +201,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
|
... | ... | |