Seems related to https://gitlab.haskell.org/ghc/ghc/-/issues/18211
There is also a small section in my thesis (4.1.2) which explains why
changing the implementation of typed quotations would allow this
program to be accepted.
Matt
On Sun, Jan 23, 2022 at 7:08 PM David Feuer wrote:
>
> I've
I've been a bit upset by the challenges Template Haskell poses for type
inference. For example,
(3 :: Int) == $$(...)
may typecheck when
$$(...) == (3 :: Int)
does not. I don't imagine this problem can be solved in general, but I'm
rather curious whether it might be possible to solve for
I'm trying to use the retrie refactoring tool, but I'm getting a
mysterious error message:
nr@homedog ~/a/g/compiler [1]> retrie --adhoc "forall x . not
(backendNeedn'tLink x) == backendNeedsLink x"
parseAdhocs:1:80: error: parse error on input ‘#-}’
retrie: user error (parse
There's no such directory in the Hackage or GitHub source. I guess it must
have crept in on the GHC side?
On Sun, Jan 23, 2022, 4:13 AM Jens Petersen wrote:
> On Sun, 23 Jan 2022 at 15:40, David Feuer wrote:
>
>> Could you explain what you mean about the containers source not being
>> "clean"?
On Sun, 23 Jan 2022 at 15:40, David Feuer wrote:
> Could you explain what you mean about the containers source not being
> "clean"?
>
I forgot to say "in the source tarball" explicitly.
If you look in libraries/containers/containers/dist-install, you can see
what I am talking about.
(I first
I wrote WinIO a couple of times when I meant to type Win32. Sorry!
On 23 January 2022 1:32:15 pm IST, Zubin Duggal wrote:
>
>> - More serious: why was Win32 major bumped from 2.10 to 2.12?
>> - this breaks foundation, hence current Stackage Nightly is kind of
>> broken for Windows
- More serious: why was Win32 major bumped from 2.10 to 2.12?
- this breaks foundation, hence current Stackage Nightly is kind of
broken for Windows now:
https://github.com/commercialhaskell/stackage/issues/6400
We needed to bump Win32 as per a request from the maintainer