replib
replib copied to clipboard
sweirich
Replib: generic programming & Unbound: generic treatment of binders
Does unbound semantics allow to create the shape functor for the AST? It would help a lot to implement the AST transformations using recursion schemes. I.e. in this short [closure...
For this semester's independent studies, I have worked on profiling and implementing a new backend of the unbound library. My work consists of 3 parts: - profiling the current performance...
``` [Reported by Hongbo Zhang] I rolled back my compiler to 7.2.1 tried to derive such data type data MyExp a where A :: Int -> MyExp Int B ::...
``` Should be able to detect & fail when capture occurs while substituting in patterns. For example, subst (Rebind x y) (Var x) will produce an invalid pattern. The variable...
``` [Reported by Tillmann Rendel] Hi again, unfortunately, the version with nested quotes via type-level naturals does not work out for me (GHC 7.0.3). The attached code leads to a...
``` Right now we cannot represent any datatype that has an existential component. For example: data Ex = forall a. MkT a or data ExR = forall a. Rep a...
``` There are a bunch of tests scattered throughout; these really ought to be extracted into some test suites using a standard test framework. ``` Original issue reported on code.google.com...
``` Specifically: import qualified Data.RepLib.Bind.LocallyNameless as LN data Foo = Foo (LN.Name) $(derive [''Foo]) fails because it looks for rName instead of LN.rName. Need to change the template Haskell code...
``` We currently generically derive aeq. It would be nice to also derive an acompare, so that terms can be used as keys for Maps etc. ``` Original issue reported...
``` This module is intended to implement all of the derivable type classes defined in Haskell 98. However, it misses two. ``` Original issue reported on code.google.com by `stephanie.weirich` on...