[Haskell-cafe] Data.Generics question
ndmitchell at gmail.com
Tue Dec 19 09:53:01 EST 2006
> nested type, but to do that I seem to have to create a whole other
> near-copy of the data declarations with slightly different names and the
> occasional constructor missing. I wonder if there's a better way.
Instead of getting the type system to enforce it, you can write
annotations that capture this restricted type.
Note that neither of these tools are publically available, but I
suspect both will be within a year or so. I'm hoping Catch will be
More information about the Haskell-Cafe