... | ... | @@ -22,9 +22,9 @@ |
|
|
<th>HUGS</th>
|
|
|
<th>JHC
|
|
|
</th></tr>
|
|
|
<tr><th> [OverlappingInstances](overlapping-instances) </th>
|
|
|
<tr><th> [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
... | ... | @@ -40,19 +40,13 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [MultiParamTypeClasses](multi-param-type-classes) </th>
|
|
|
<tr><th> [ScopedTypeVariables](scoped-type-variables) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [NoMonomorphismRestriction](no-monomorphism-restriction) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [FunctionalDependencies](functional-dependencies) </th>
|
|
|
<tr><th> [PolymorphicComponents](polymorphic-components) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
... | ... | @@ -70,30 +64,30 @@ |
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [PolymorphicComponents](polymorphic-components) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ExistentialQuantification](existential-quantification) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ScopedTypeVariables](scoped-type-variables) </th>
|
|
|
<tr><th> [ImplicitParams](implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ImplicitParams](implicit-params) </th>
|
|
|
<tr><th> [EmptyDataDecls](empty-data-decls) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [NoMonomorphismRestriction](no-monomorphism-restriction) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [FlexibleContexts](flexible-contexts) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -106,46 +100,52 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [EmptyDataDecls](empty-data-decls) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> CPP? </th>
|
|
|
<tr><th> [MultiParamTypeClasses](multi-param-type-classes) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [OverlappingInstances](overlapping-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
<tr><th> [IncoherentInstances](incoherent-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> TemplateHaskell? </th>
|
|
|
<tr><th> [UndecidableInstances](undecidable-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [FunctionalDependencies](functional-dependencies) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [UndecidableInstances](undecidable-instances) </th>
|
|
|
<tr><th> CPP? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> [IncoherentInstances](incoherent-instances) </th>
|
|
|
<tr><th> TemplateHaskell? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> InlinePhase? </th>
|
... | ... | @@ -207,21 +207,21 @@ |
|
|
## Extensions supported by two compilers
|
|
|
|
|
|
|
|
|
- [OverlappingInstances](overlapping-instances)
|
|
|
- [ForeignFunctionInterface](foreign-function-interface)
|
|
|
- [RecursiveDo](recursive-do)
|
|
|
- [ParallelListComp](parallel-list-comp)
|
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
|
- [NoMonomorphismRestriction](no-monomorphism-restriction)
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
- Rank2Types
|
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
|
- Rank2Types
|
|
|
- [ExistentialQuantification](existential-quantification)
|
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
|
- [ImplicitParams](implicit-params)
|
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
|
- [NoMonomorphismRestriction](no-monomorphism-restriction)
|
|
|
- [FlexibleContexts](flexible-contexts)
|
|
|
- [FlexibleInstances](flexible-instances)
|
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
|
- CPP
|
|
|
- [TypeSynonymInstances](type-synonym-instances)
|
|
|
- [ForeignFunctionInterface](foreign-function-interface)
|
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
|
- [OverlappingInstances](overlapping-instances)
|
|
|
- [IncoherentInstances](incoherent-instances)
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
- CPP |