That's great to hear because it looks like this will need all the support
it can get to ever be allowed into upstream...
On Fri, Aug 12, 2022, 10:43 Edward Kmett wrote:
> FWIW, Gergo, I've been following what you've been doing pretty closely, so
> there's at least two of us tracking it in the ba
FWIW, Gergo, I've been following what you've been doing pretty closely, so
there's at least two of us tracking it in the background. =) I might have
some clever(?) (ab)uses for it in the future in my linear haskell code.
-Edward
On Thu, Aug 11, 2022 at 10:33 PM ÉRDI Gergő wrote:
> Hi Richard,
>
Hi Richard,
Thanks for getting back to me! My replies are inline below.
On Thu, 11 Aug 2022, Richard Eisenberg wrote:
You want a third:
C. invisible parameters that are filled in with a fresh wildcard.
We would need to have some way of writing out the type of such a thing
(i.e. what kind wo
> On Aug 5, 2022, at 6:17 AM, ÉRDI Gergő wrote:
>
> 1. Defining partial type synonyms
>
This makes some sense to me. You're introducing a new form of invisible
(implicit) parameter, adding to the two we already have. Today, we have
A. invisible parameters that are filled in via unification.
Thanks Matthew. I've now found my example, which I share bellow for the
record.
Cheers!
Facundo
> module A where
>
> a :: Bool
> a = False
>
> a2 :: Bool
> a2 = True
> module B where
>
> import A
>
> b :: Bool
> b = not a
Building I get
> $ ghc A.hs B.hs
> [1 of 2] Compiling A(
Facundo,
If the interface in question is from a home package module, then it's
required that the ABI of the specifically used function is modified
rather than the ABI hash of the whole module. If the interface is from
an external package then if the ABI of the entire module changes then
that is su
Dear devs,
rules_haskell [1] recently earned the ability to skip recompiling modules
when the ABI hashes of dependencies don't change in interface files.
We have noticed since then that sometimes ghc --make does avoid rebuilding
even when ABI hashes change. However, so far I've been unable to rep
