... | ... | @@ -58,6 +58,12 @@ In the paper we describe the implementation in [ UHC](http://www.cs.uu.nl/wiki/U |
|
|
|
|
|
- Give better error messages when we cannot derive Representable0 (currently we say only `Cannot derive Representable`)
|
|
|
|
|
|
- Register the `DeriveRepresentable` extension with Cabal.
|
|
|
|
|
|
- Do we want `Show`, etc. instances for types like `U1`, `:+:`, ...?
|
|
|
|
|
|
- Can `HsNumTy` and `TypePat` go?
|
|
|
|
|
|
## Testing
|
|
|
|
|
|
- Tests are available under the `generics` directory of the testsuite. |