Re: GHC 8.10 backports?

2021-03-22 Thread Phyx
Hi, I currently have https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5055 marked for backports but don't know if it was done or not. Thanks, Tamar Sent from my Mobile On Mon, Mar 22, 2021, 04:33 Moritz Angermann wrote: > Hi there! > > Does anyone have any backports they'd like to see for

Re: Type inference of singular matches on GADTs

2021-03-22 Thread Sebastian Graf
Cale made me aware of the fact that the "Type applications in patterns" proposal had already been implemented. See https://gitlab.haskell.org/ghc/ghc/-/issues/19577 where I adapt Alexis' use case into a test case that I'd like to see compiling. Am Sa., 20. März 2021 um 15:45 Uhr schrieb Sebastian

Call for Talks: Haskell Implementors' Workshop

2021-03-22 Thread Ningning Xie
Call for Talks ACM SIGPLAN Haskell Implementors' Workshop https://icfp21.sigplan.org/home/hiw-2021 Virtual, 22 Aug, 2021 Co-located with ICFP 2021 https://icfp21.sigplan

RE: Type inference of singular matches on GADTs

2021-03-22 Thread Simon Peyton Jones via ghc-devs
What would you expect of 1. \x -> case x of HNil -> blah Here the lambda and the case are separated. 1. \x -> (x, case x of HNil -> blah) Here the lambda and the case are separated more, and x is used twice. What if there are more data constructors that share a common return type?