Eric Allen Wohlstadter writes:
> I find myself very often needing to use this function and was wondering if
> there was already a way to do this using zip,maps, and folds.
>
> zipMap::[a->b]->[a]->[b]
> zipMap [] _ = []
> zipMap _ [] = []
> zipMap (f:fs) (x:xs) = (f x):(zipMap fs xs)
>
> We agreed that it would be a Jolly Good Thing if GHC could
> be persuaded to produce GHC-independent Core output,
> ready to feed into some other compiler. For example,
> Karl-Filip might be able to use it.
> ANDREW will write a specification, and
When I asked about overlapping types, Tom Pledger wrote:
> It means that when the system sees a class method of Bindable (I'm
> guessing there's one called bind) applied to a value of type Canvas
> (which must be a synonym for PWidget something, in order for there to
> be an overlap), it can
