Hi all,
While there is a way to expand type synonyms in type errors
(-fprint-expanded-synonyms), as far as I know, the same doesn't exist for
type families. For example, the following
type family Foo a where Foo Int = String
type family Bar a :: Maybe (Foo Int) where Bar a = '()
results in the e
Ah, the result produced by !4149 does indeed look good. Thanks!
Jakob
On Mon, Nov 23, 2020 at 4:54 AM Richard Eisenberg wrote:
>
>
> > On Nov 21, 2020, at 10:38 PM, Jakob Brünker
> wrote:
> >
> > Three questions:
> > - Is there already a way to do this t
For what it's worth, there is an existing proposal about this topic, maybe
that's the right place to discuss it for a user-focused perspective.
See https://github.com/ghc-proposals/ghc-proposals/pull/325
Jakob
On Wed, Jun 2, 2021 at 9:10 PM Tom Ellis <
tom-lists-haskell-cafe-2...@jaguarpaw.co.uk
Hi,
for what it's worth, I just now got the same Email, so it's not just you.
Jakob
On Sat, Aug 14, 2021 at 5:26 PM Bryan Richter wrote:
> Hey all,
>
> I got this message from gitlab, which makes me think someone is trying to
> attack the system. I have not tried to log in recently.
>
> I have
Hi,
for what it's worth, as someone who has been using GitHub OAuth, it looks
like using the password reset functionality with one's github email address
is enough to be able to log in.
Best,
Jakob
On Sun, May 7, 2023 at 12:08 PM Bryan Richter via ghc-devs <
ghc-devs@haskell.org> wrote:
> Hi fo
Having written the MonadicBang plugin somewhat recently, where I don't care
about the exact-print annotations, I do have some snippets in my code that
look like this:
AsPat xa name tok pat -> do
tellName name
AsPat xa name tok <$> traverse (liftMaybeT . evacPats) pat
where the `to
Sure, done
Jakob
On Thu, Jul 13, 2023 at 3:32 PM Simon Peyton Jones <
simon.peytonjo...@gmail.com> wrote:
> Thanks Jakob -- but would it be possible to comment *on the ticket*, not
> here? (I should have said that more clearly.)
>
> Simon
>
> On Thu, 13 Jul 2023