Re: Newtype over (~#)

2021-02-04 Thread Edward Kmett
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

Newtype over (~#)

2021-02-04 Thread Igor Popov
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

Re: Plan for GHC 9.2

2021-02-04 Thread Joachim Breitner
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

Re: Plan for GHC 9.2

2021-02-04 Thread Sebastian Graf
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

Plan for GHC 9.2

2021-02-04 Thread Ben Gamari
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

[ANNOUNCE] GHC 9.0.1 released

2021-02-04 Thread Ben Gamari
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

initIface* usage in plugins

2021-02-04 Thread Josh Meredith
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