... | ... | @@ -17,6 +17,12 @@ |
|
|
<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>
|
... | ... | @@ -197,6 +203,12 @@ |
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>RebindableSyntax?</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> Some
|
|
|
</th></tr>
|
|
|
<tr><th>NamedFieldPuns?</th>
|
|
|
<th> False </th>
|
|
|
<th> True </th>
|
... | ... | @@ -257,12 +269,6 @@ |
|
|
<th> False </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>RebindableSyntax?</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> Some
|
|
|
</th></tr>
|
|
|
<tr><th>RecursiveModules?</th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
... | ... | @@ -326,8 +332,8 @@ |
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
|
<th> Partial </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> ?
|
|
|
<th> Partial </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th>ClassAliases?</th>
|
|
|
<th> False </th>
|
... | ... | @@ -335,12 +341,6 @@ |
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th></tr>
|
|
|
<tr><th>[HierarchicalModules](hierarchical-modules)</th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True </th>
|
|
|
<th> True
|
|
|
</th></tr>
|
|
|
<tr><th>[DottedHierarchicalModules](dotted-hierarchical-modules)</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
... | ... | @@ -350,12 +350,13 @@ |
|
|
|
|
|
## Extensions supported by two compilers
|
|
|
|
|
|
- [HierarchicalModules](hierarchical-modules)
|
|
|
- [ForeignFunctionInterface](foreign-function-interface)
|
|
|
- [RecursiveDo](recursive-do)
|
|
|
- [ParallelListComp](parallel-list-comp)
|
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
|
- Rank2Types
|
|
|
- [Rank2Types](rank2-types)
|
|
|
- [ExistentialQuantification](existential-quantification)
|
|
|
- [ImplicitParams](implicit-params)
|
|
|
- [EmptyDataDecls](empty-data-decls)
|
... | ... | @@ -368,7 +369,6 @@ |
|
|
- [IncoherentInstances](incoherent-instances)
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
- CPP
|
|
|
- [HierarchicalModules](hierarchical-modules)
|
|
|
|
|
|
## Extensions used in fptools
|
|
|
|
... | ... | |