A similar unlifted constraint style newtype that would be very valuable to
me would be to be able to talk about unlifted implicit parameters.
type GivenFoo = (?foo :: Int#)
(hopefully properly inhabiting TYPE 'IntRep)
This would go a long way towards removing the last bit of overhead when
using
Hello list!
Recently I've had this idea of letting Haskell source handle unboxed
equalities (~#) by the means of an unboxed newtype. The idea is pretty
straightforward: in Core Constraint is Type and (=>) is (->), so a
datatype like
data Eq a b = (a ~ b) => Refl
could become a newtype because
Hi,
Am Donnerstag, den 04.02.2021, 13:56 -0500 schrieb Ben Gamari:
> If you see something that you would like to see in 9.2.1 please do
> holler.
it’s hopefully not big deal technically, but support for GHC2021 would
be desirable. There is a MR
Hi Ben,
Since part of the changes of
https://gitlab.haskell.org/ghc/ghc/-/issues/14422 are already merged into
master (e.g. we ignore the "type signature" part of a COMPLETE sig now,
because there is nothing to disambiguate), it would be good if we merged
the solution outlined in
tl;dr. Provisional release schedule for 9.2 enclosed. Please discuss,
especially if you have something you would like merged for 9.2.1.
Hello all,
With GHC 9.0.1 at long-last out the door, it is time that we start
turning attention to GHC 9.2. I would like to avoid making the mistake
The GHC team is very pleased to announce the availability of GHC 9.0.1.
Source and binary distributions are available at the usual
place:
https://downloads.haskell.org/ghc/9.0.1/
In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new
features:
* A first cut of the new
Hi,
I'm trying to use initIfaceLoad and initIfaceLcl to lookup core `Name`s
within a plugin. My understanding is that functions such as
`lookupIfaceTop` are used for this, but I'm running into an issue that I
suspect is caused by some `Name`s being inappropriate for this function, so
they fail