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 it
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
https://gitlab.haskell.org/ghc/ghc/-/merge_requests
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
https://gitlab.ha
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
made
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 Linea
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 with