... | ... | @@ -26,75 +26,75 @@ |
|
|
<tr><th>[RecursiveDo](recursive-do)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[ParallelListComp](parallel-list-comp)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[PatternGuards](pattern-guards)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[Arrows](arrows)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[ScopedTypeVariables](scoped-type-variables)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[PolymorphicComponents](polymorphic-components)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[Rank2Types](rank2-types)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[RankNTypes](rank-n-types)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[ExistentialQuantification](existential-quantification)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[NewtypeDeriving](newtype-deriving)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>[ImplicitParams](implicit-params)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[LinearImplicitParams](linear-implicit-params)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
<tr><th>[EmptyDataDecls](empty-data-decls)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
... | ... | @@ -104,9 +104,9 @@ |
|
|
<tr><th>[NoMonomorphismRestriction](no-monomorphism-restriction)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>[FlexibleContexts](flexible-contexts)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | @@ -128,9 +128,9 @@ |
|
|
<tr><th>[MultiParamTypeClasses](multi-param-type-classes)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<th> True </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[OverlappingInstances](overlapping-instances)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
... | ... | |