Re: [ANNOUNCE] GHC 8.4.1-rc1 available

Hello Ben, > As always, do let us know if you encounter any trouble in the course of > testing. Thanks for your help! I tried GHC 8.4.1rc1 to understand how SemigroupMonoid and MonadFail proposals work. GHC 8.4.1rc1 surely detects Monoid data types if they are not instances of Semigroup.

Re: FFI-free NaN checks? (isDoubleNan and friends)

If the FFI version is done with "safe", consider using "unsafe" instead. There are technical reasons why this is slightly incorrect, but unless you're fiddling with the CPU's FP control flags they're mostly irrelevant and you can treat isNaN as pure and non-side-effectful, significantly reducing

FFI-free NaN checks? (isDoubleNan and friends)

Hi, Recently at a client I was profiling some code and isDoubleNaN lit up. We were checking a lot of doubles for NaN as that's what customer would send in. I went to investigate and I found that FFI is used to achieve this. I was always under the impression that FFI costs a little. I had at the

Re: End of Windows Vista support in GHC-8.6?

Thanks everyone! I have updated https://ghc.haskell.org/trac/ghc/wiki/Platforms/Windows accordingly. Cheers, Simon 2018-03-05 18:29 GMT+01:00 Phyx : > > > On Mon, Mar 5, 2018, 17:23 Ben Gamari wrote: > >> Simon Jakobi via ghc-devs

Re: End of Windows Vista support in GHC-8.6?

On Mon, Mar 5, 2018, 17:23 Ben Gamari wrote: > Simon Jakobi via ghc-devs writes: > > > Hi! > > > > Given that Vista’s EOL was in April 2017 > > < > https://support.microsoft.com/en-us/help/22882/windows-vista-end-of-support > > > > i assume that

Re: End of Windows Vista support in GHC-8.6?

Simon Jakobi via ghc-devs writes: > Hi! > > Given that Vista’s EOL was in April 2017 > > i assume that there’s no intention to keep supporting it in GHC-8.6!? > > I’m asking because I intend to

Re: Type checking expressions

Simon: I would like to keep the constraints as much as possible. So if x :: C a => a then [x] :: C a => [a]. Also in the case of patterns if I have f 5 = 5, then the pattern 5 should have type Num a => a, but currently the type is stored without the Num context (using hsPatType). I don't to

Re: Perf for T5837

Simon Peyton Jones via ghc-devs writes: > Ben > Why did you revert this? > As Bartosz mentioned, Harbormaster didn't reproduce the change. I've also not seen it locally. Admittedly, it possible that it does change on Harbormaster, just by a much different amount than what

Re: Type checking expressions

I wondered if https://downloads.haskell.org/~ghc/7.8.1/docs/html/users_guide/defer-type-errors.html could help. I tried to click around in the GHC 8.2 tree of http://stuff.codereview.me/ghc/#ghc/compiler/typecheck/TcErrors.hs?corpus=ghc-8.2.1-rc2=120, but it seems deferring type errors just

RE: Type checking expressions

Always cc ghc-devs! Bottle-necking on me may well yield a slow response! Or even Haskell-café. What is the type of (\x -> [x,y])? Where y is in scope with type y::a. Presumably something like a -> [a]? Or is it forall a. a -> [a]? And would your answer change if you had just (\x ->

Re: Perf for T5837

I commented on https://phabricator.haskell.org/rGHCd675a354e8db67d87d1f257c3d1d2bf2d58c2b3f that Harbormaster started failing after this. It reproduced locally for me. You can see here: https://phabricator.haskell.org/diffusion/GHC/history/master/ that the revert fixed the build. 2018-03-05 8:50

ghcpkg05

ghcpkg05 is failing on my Linux box. Any ideas? This is a clean build. Simon => ghcpkg05(normal) 1 of 1 [0, 0, 0] cd "./ghcpkg05.run" && $MAKE -s --no-print-directory ghcpkg05 Actual stderr output differs from expected: diff -uw "./ghcpkg05.run/ghcpkg05.stderr.normalised"

RE: tigetnum etc -- help!

I think that was it (submodule update). It's building away now. Sorry for the noise, everyone. Simon | -Original Message- | From: Simon Peyton Jones | Sent: 05 March 2018 10:57 | To: 'Herbert Valerio Riedel' | Cc: ghc-devs@haskell.org | Subject: RE: tigetnum

RE: tigetnum etc -- help!

| just to check the obvious, have you made sure to `git submodule | update` everything? have you properly cleaned your build-tree? Thanks. I did clean; and I usually obsessively do git submodule update, but I may have forgotten this time. I think for cabal and hsc2hs. Trying again now...

RE: tigetnum etc -- help!

Thanks libraries/terminfo/config.log is attached. Does not look informative. Simon From: Brandon Allbery [mailto:allber...@gmail.com] Sent: 05 March 2018 09:35 To: Simon Peyton Jones Cc: ghc-devs@haskell.org Subject: Re: tigetnum etc -- help! Do you have configure /

Re: tigetnum etc -- help!

Do you have configure / build log output for the terminfo package? On Mon, Mar 5, 2018 at 4:25 AM, Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote: > My stage-1 build (from clean) has started failing thus (on Linux). Any > ideas? It’s pretty disabling because I can’t build GHC

tigetnum etc -- help!

My stage-1 build (from clean) has started failing thus (on Linux). Any ideas? It's pretty disabling because I can't build GHC any more. Simon make ===--- building phase 0 make --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for 'phase_0_builds'. ===---

Perf for T5837

Ben Why did you revert this? commit 2756117bd26c2cb70d3f51954a88b7d7bdf3d3f2 Author: Ben Gamari Date: Thu Mar 1 14:06:04 2018 -0500 Revert "Better stats for T5837" This reverts commit d675a354e8db67d87d1f257c3d1d2bf2d58c2b3f. - (wordsize(64),

RE: Type checking expressions

Peter My goal is to determine the type of every expression, pattern etc. in the syntax tree After type checking is complete, the syntax tree is liberally annotated with types. We do not yet have a function hsExprType :: HsExpr Id -> Type but we do have TcHsTyn.hsPatType