Re: Type inference of singular matches on GADTs

2021-03-26 Thread Viktor Dukhovni
On Fri, Mar 26, 2021 at 07:41:09PM -0500, Alexis King wrote: > type applications in patterns are still not enough to satisfy me. I > provided the empty argument list example because it was simple, but I’d > also like this to typecheck: > > baz :: Int -> String -> Widget > baz = >

Re: config.sub

2021-03-26 Thread Simon Jakobi via ghc-devs
Hi Simon, I haven't experienced this issue myself, but I've seen a merge request intended to address it: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5372 Cheers, Simon Am Fr., 26. März 2021 um 18:38 Uhr schrieb Simon Peyton Jones via ghc-devs : > > Folks > > I’m getting a lot of this >

config.sub

2021-03-26 Thread Simon Peyton Jones via ghc-devs
Folks I'm getting a lot of this simonpj@MSRC-3645512:~/code/HEAD-3$ git status On branch wip/T19569 Your branch is up to date with 'origin/wip/T19569'. Changes not staged for commit: (use "git add ..." to update what will be committed) (use "git restore ..." to discard changes in

Re: HLint in the GHC CI, an eight-months retrospective

2021-03-26 Thread Hécate
Hi Richard, I am sorry, I have indeed forgotten one of the most important parts of my email. :) The Hadrian rules are lint:base lint:compiler You can invoke them as simply as: ./hadrian/build lint:base You need to have a recent version of HLint in your PATH. If you use ghc.nix, this

RE: Options for targeting Windows XP?

2021-03-26 Thread Simon Peyton Jones via ghc-devs
This link gives some (old) background https://wiki.haskell.org/GHC/FAQ#Why_isn.27t_GHC_available_for_.NET_or_on_the_JVM.3F Simon From: ghc-devs On Behalf Of Moritz Angermann Sent: 26 March 2021 08:00 To: Clinton Mead Cc: ghc-devs Subject: Re: Options for targeting Windows XP? I believe there

Re: Options for targeting Windows XP?

2021-03-26 Thread Moritz Angermann
I believe there is a bit of misconception about what requires a new backend or not. GHC is a bunch of different intermediate representations from which one can take off to build backends. The STG, or Cmm ones are the most popular. All our Native Code Generators and the LLVM code gen take off from