... | ... | @@ -23,101 +23,65 @@ |
|
|
<th> HUGS </th>
|
|
|
<th> JHC
|
|
|
</th></tr>
|
|
|
<tr><th> [HierarchicalModules](hierarchical-modules) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [RecursiveDo](recursive-do) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [AssociatedTypes](associated-types) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [ParallelListComp](parallel-list-comp) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [PatternGuards](pattern-guards) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> ClassAliases? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [Arrows](arrows) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> CoinductiveDictionaries? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [ScopedTypeVariables](scoped-type-variables) </th>
|
|
|
<tr><th> ContextStack? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [PolymorphicComponents](polymorphic-components) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [Rank2Types](rank2-types) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> DataKinds? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [RankNTypes](rank-n-types) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [DottedHierarchicalModules](dotted-hierarchical-modules) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [ExistentialQuantification](existential-quantification) </th>
|
|
|
<tr><th> [EmptyDataDecls](empty-data-decls) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [NewtypeDeriving](newtype-deriving) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [ImplicitParams](implicit-params) </th>
|
|
|
<tr><th> [ExistentialQuantification](existential-quantification) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [LinearImplicitParams](linear-implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> ExplicitDictionaries? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [EmptyDataDecls](empty-data-decls) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [NoMonomorphismRestriction](no-monomorphism-restriction) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> ExtensibleRecords? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [FlexibleContexts](flexible-contexts) </th>
|
|
|
<th> True </th>
|
... | ... | @@ -131,149 +95,173 @@ |
|
|
<th> True </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [ForeignData](foreign-data) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [MultiParamTypeClasses](multi-param-type-classes) </th>
|
|
|
<tr><th> [FunctionalDependencies](functional-dependencies) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [OverlappingInstances](overlapping-instances) </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> HereDocuments? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [IncoherentInstances](incoherent-instances) </th>
|
|
|
<tr><th> [HierarchicalModules](hierarchical-modules) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [UndecidableInstances](undecidable-instances) </th>
|
|
|
<tr><th> [ImplicitParams](implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [FunctionalDependencies](functional-dependencies) </th>
|
|
|
<tr><th> [IncoherentInstances](incoherent-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [AssociatedTypes](associated-types) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> CPP? </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> TemplateHaskell? </th>
|
|
|
<tr><th> InlinePhase? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> InlinePhase? </th>
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> ContextStack? </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> KindPolymorphism? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> Generics? </th>
|
|
|
<th> True </th>
|
|
|
<tr><th> [LambdaCase](lambda-case) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> NoImplicitPrelude? </th>
|
|
|
<tr><th> [LiberalTypeSynonyms](liberal-type-synonyms) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> RebindableSyntax? </th>
|
|
|
<tr><th> [LinearImplicitParams](linear-implicit-params) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> Some
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> NamedFieldPuns? </th>
|
|
|
<tr><th> [MagicUnderscore](magic-underscore) </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> ExtensibleRecords? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [MultiParamTypeClasses](multi-param-type-classes) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> RestrictedTypeSynonyms? </th>
|
|
|
<tr><th> [MultiWayIf](multi-way-if) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> HereDocuments? </th>
|
|
|
<tr><th> NamedFieldPuns? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> Assertions? </th>
|
|
|
<tr><th> [NewtypeDeriving](newtype-deriving) </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [Concurrency](concurrency) </th>
|
|
|
<tr><th> NoImplicitPrelude? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> Coop </th>
|
|
|
<th> Poor
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
<tr><th> [NoMonomorphismRestriction](no-monomorphism-restriction) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [GADTs](gad-ts) </th>
|
|
|
<tr><th> [OverlappingInstances](overlapping-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [ParallelListComp](parallel-list-comp) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
<tr><th> [PartialTypeSigs](partial-type-sigs) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [PatternGuards](pattern-guards) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [LiberalTypeSynonyms](liberal-type-synonyms) </th>
|
|
|
<tr><th> [PolymorphicComponents](polymorphic-components) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> RebindableSyntax? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> False </th>
|
|
|
<th> Some
|
|
|
</th></tr>
|
|
|
<tr><th> [RecursiveDo](recursive-do) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> RecursiveModules? </th>
|
|
|
<th> Partial </th>
|
... | ... | @@ -281,86 +269,98 @@ |
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> RewriteRules? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> RestrictedTypeSynonyms? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> Int
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> UnboxedTypes? </th>
|
|
|
<tr><th> RewriteRules? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> Int
|
|
|
</th></tr>
|
|
|
<tr><th> CoinductiveDictionaries? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [ScopedTypeVariables](scoped-type-variables) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [PartialTypeSigs](partial-type-sigs) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> TemplateHaskell? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> Impredicativity? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> ExplicitDictionaries? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> UnboxedTypes? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
<th> Int
|
|
|
</th></tr>
|
|
|
<tr><th> KindPolymorphism? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [UndecidableInstances](undecidable-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> DataKinds? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [Arrows](arrows) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [MagicUnderscore](magic-underscore) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> Assertions? </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [Concurrency](concurrency) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> Coop </th>
|
|
|
<th> Poor
|
|
|
</th></tr>
|
|
|
<tr><th> CPP? </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> ClassAliases? </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [GADTs](gad-ts) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [DottedHierarchicalModules](dotted-hierarchical-modules) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> Generics? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [ForeignData](foreign-data) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> Impredicativity? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [MultiWayIf](multi-way-if) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [Rank2Types](rank2-types) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [LambdaCase](lambda-case) </th>
|
|
|
<th> False </th>
|
|
|
<tr><th> [RankNTypes](rank-n-types) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
... | ... | |