Strict unlifted types

2018-02-06 Thread David Feuer
Sometimes there's an awkward expressive tension between saying that a type is *unboxed* and saying that it is *strict* in a field. For example, I can write data SMaybe a = SNothing | SJust !a or I can write type Maybe# a = (# (# #) | a #) but there doesn't seem to be a way to simultaneously get

Re: Can't typeset docs

2018-02-06 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > When I have > > BUILD_SPHINX_HTML= YES > > BUILD_SPHINX_PDF = YES > I get this error in my build. Any ideas? I think Sphinx is up to date. > Thanks > Simon > I suspect the cause here is the --no-clean, which doesn't run ./boot and ./confi

[ANNOUNCE] GHC 8.4.1-alpha3 available

2018-02-06 Thread Ben Gamari
The GHC development team is pleased to announce the third and likely last alpha release leading up to GHC 8.4.1. The usual release artifacts are available from https://downloads.haskell.org/~ghc/8.4.1-alpha3 Due to user demand we now offer a binary distribution for 64-bit Fedora 27, which li

Re: The BlockArguments extension has been added to Cabal

2018-02-06 Thread Takenobu Tani
Akio, thank you for telling me as well. I will also add `NumericUnderscores` extension to the Cabal library this weekend. Regards, Takenobu 2018-02-05 16:06 GMT+09:00 Akio Takano : > Dear GHC devs, > > The new `BlockArguments` extension has been added to the Cabal library. > > I'm sending out

Can't typeset docs

2018-02-06 Thread Simon Peyton Jones via ghc-devs
When I have BUILD_SPHINX_HTML= YES BUILD_SPHINX_PDF = YES I get this error in my build. Any ideas? I think Sphinx is up to date. Thanks Simon sh validate --fast --no-clean using THREADS=33 make: Entering directory '/5playpen/simonpj/HEAD-3/utils/checkUniques' ./check-uniques.