... | ... | @@ -116,15 +116,15 @@ |
|
|
<tr><th> [FlexibleContexts](flexible-contexts) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> [FlexibleInstances](flexible-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -140,135 +140,135 @@ |
|
|
<tr><th> [OverlappingInstances](overlapping-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [IncoherentInstances](incoherent-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [UndecidableInstances](undecidable-instances) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> [FunctionalDependencies](functional-dependencies) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [AssociatedTypes](associated-types) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> CPP? </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> TemplateHaskell? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> InlinePhase? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> ContextStack? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> Generics? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> NoImplicitPrelude? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> NamedFieldPuns? </th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> ExtensibleRecords? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> RestrictedTypeSynonyms? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> HereDocuments? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> Assertions? </th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [Concurrency](concurrency) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> Coop
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> Coop </th>
|
|
|
<th> Poor
|
|
|
</th></tr>
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [GADTs](gad-ts) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> [LiberalTypeSynonyms](liberal-type-synonyms) </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th> RebindableSyntax? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> Some
|
|
|
</th></tr>
|
|
|
<tr><th> RecursiveModules? </th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
... | ... | @@ -278,51 +278,51 @@ |
|
|
<tr><th> RewriteRules? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> Int
|
|
|
</th></tr>
|
|
|
<tr><th> UnboxedTypes? </th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> Int
|
|
|
</th></tr>
|
|
|
<tr><th> CoinductiveDictionaries? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> [PartialTypeSigs](partial-type-sigs) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> Impredicativity? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> ExplicitDictionaries? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> KindPolymorphism? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> DataKinds? </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th> [MagicUnderscore](magic-underscore) </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
... | ... | @@ -339,7 +339,7 @@ |
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> ?
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th> [HierarchicalModules](hierarchical-modules) </th>
|
|
|
<th> True </th>
|
... | ... | |