... | ... | @@ -17,101 +17,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>
|
... | ... | @@ -125,149 +89,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>
|
... | ... | @@ -275,86 +263,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
|
... | ... | |