The docos say [User Guide 10.14.1. on Equality Constraints]
> Equality constraints can also appear in class and instance
contexts.
> The former enable a simple translation of programs using
> functional dependencies into programs using family
synonyms instead.
http://downloads.haskell.org/~ghc/8.
Sorry,
with the addendum, I have constructed a very small example:
https://ghc.haskell.org/trac/ghc/ticket/13623
This is new with ghc 8.2-rc1 and does not show up earlier.
Viele Gruesse,
Christian
* Simon Peyton Jones [28.04.2017 00:35]:
> I'm afraid I don't have enough context to understand t
I'm afraid I don't have enough context to understand this thread.
Could you offer a concrete example (as small as possible), and explain how to
reproduce the problem you are seeing. Don't forget to give the compiler
version you are using, and any libraries you depend on (as few as poss).
Is th
As an addendum,
I think what causes this is the following. I have a function
(|||) xs ys = \lu ij -> xs lu ij Stream.++ ys lu ij
xs and ys are two stream-generating functions and (Stream.++)
concatenates streams. In the example I have four streams:
xs_1 ||| xs_2 ||| xs_3 ||| xs_4
However, here I
Dear all,
have some of you experienced bad code generation in ghc-8.2-rc1 in
combination with stream fusion from the vector package?
Unfortunately, the problem occurs with ADPfusion code which means no
simple example, but I'm asking because of the following core below.
In ghc-8.0 I have nice cor