... | @@ -52,12 +52,18 @@ |
... | @@ -52,12 +52,18 @@ |
|
<th> True
|
|
<th> True
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[RankNTypes](rank-n-types)</th>
|
|
<tr><th> Rank2Types </th>
|
|
<th> True </th>
|
|
<th> True </th>
|
|
<th> False </th>
|
|
<th> False </th>
|
|
<th> True
|
|
<th> True
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[RankNTypes](rank-n-types)</th>
|
|
|
|
<th> True </th>
|
|
|
|
<th> False </th>
|
|
|
|
<th> False
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[PolymorphicComponents](polymorphic-components)</th>
|
|
<tr><th>[PolymorphicComponents](polymorphic-components)</th>
|
|
<th> True </th>
|
|
<th> True </th>
|
|
<th> False </th>
|
|
<th> False </th>
|
... | @@ -109,7 +115,7 @@ |
... | @@ -109,7 +115,7 @@ |
|
<tr><th>[TypeSynonymInstances](type-synonym-instances)</th>
|
|
<tr><th>[TypeSynonymInstances](type-synonym-instances)</th>
|
|
<th> True </th>
|
|
<th> True </th>
|
|
<th> False </th>
|
|
<th> False </th>
|
|
<th> False
|
|
<th> True
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>TemplateHaskell?</th>
|
|
<tr><th>TemplateHaskell?</th>
|
... | @@ -133,7 +139,7 @@ |
... | @@ -133,7 +139,7 @@ |
|
<tr><th>[IncoherentInstances](incoherent-instances)</th>
|
|
<tr><th>[IncoherentInstances](incoherent-instances)</th>
|
|
<th> True </th>
|
|
<th> True </th>
|
|
<th> False </th>
|
|
<th> False </th>
|
|
<th> False
|
|
<th> True
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>InlinePhase?</th>
|
|
<tr><th>InlinePhase?</th>
|
... | @@ -189,12 +195,6 @@ |
... | @@ -189,12 +195,6 @@ |
|
<th> False </th>
|
|
<th> False </th>
|
|
<th> True
|
|
<th> True
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
|
|
<tr><th>UnsafeOverlappingInstances?</th>
|
|
|
|
<th> False </th>
|
|
|
|
<th> False </th>
|
|
|
|
<th> True
|
|
|
|
</th>
|
|
|
|
<th></th></tr></table>
|
|
<th></th></tr></table>
|
|
|
|
|
|
## Extensions supported by two compilers
|
|
## Extensions supported by two compilers
|
... | @@ -205,7 +205,7 @@ |
... | @@ -205,7 +205,7 @@ |
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
- [NoMonomorphismRestriction](no-monomorphism-restriction)
|
|
- [NoMonomorphismRestriction](no-monomorphism-restriction)
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
- RankNTypes
|
|
- Rank2Types
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
- [ExistentialQuantification](existential-quantification)
|
|
- [ExistentialQuantification](existential-quantification)
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
... | @@ -214,4 +214,6 @@ |
... | @@ -214,4 +214,6 @@ |
|
- [FlexibleInstances](flexible-instances)
|
|
- [FlexibleInstances](flexible-instances)
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
- CPP
|
|
- CPP
|
|
- [ForeignFunctionInterface](foreign-function-interface) |
|
- [TypeSynonymInstances](type-synonym-instances)
|
|
\ No newline at end of file |
|
- [ForeignFunctionInterface](foreign-function-interface)
|
|
|
|
- [IncoherentInstances](incoherent-instances) |
|
|
|
\ No newline at end of file |