-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Thu, 16 May 2002, Simon Peyton-Jones wrote:
> GHC doesn't remove intermediate lists down both
> branches of a zip, so yes, you'll get intermediate lists.
Does deforestation not apply in this situation?
- --
Russell O'Connor
> Currently -fallow-overlapping-instances only allows overlapping instances
> if one is a strict subset of the other. This is good (determinate), but
> sometimes you really need two instances that partially overlap.
>From a type-theoretic viewpoint,
instance declarations are relations between
Currently -fallow-overlapping-instances only allows overlapping instances
if one is a strict subset of the other. This is good (determinate), but
sometimes you really need two instances that partially overlap. It would
be nice if this could be disambiguated simply with another instance
declara
