From mail at joachim-breitner.de  Fri Apr  8 14:58:50 2022
From: mail at joachim-breitner.de (Joachim Breitner)
Date: Fri, 08 Apr 2022 16:58:50 +0200
Subject: Types differ, but they look the same
Message-ID: <8811d8e704a6c539287314621438a3c62126fffb.camel@joachim-breitner.de>

Hi,

sorry for not providing a mwe, but while I dig deeper, maybe someone
has a “this is typically a problem with X” idea…

This is in the context of a Core plugin (Conal’s Compiling to
Categories), and I observe an oddity: I have two 'Types' that _should_
be equal, that ppr’int equal, but where eqType says False.

The type looks like this:

(SymRAD1
     windowFunctor_a3e0Q
     kernelFunctor_a3e0R
     channelsFunctor_a3e0S
     numType_a3e0T,
   SymRAD2
     paddedWindowFunctor_a3e0P
     windowFunctor_a3e0Q
     kernelFunctor_a3e0R
     channelsFunctor_a3e0S
     numType_a3e0T)

what might make eqType go False that is _not_ visible in the pretty-
printed view?

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/


From mail at joachim-breitner.de  Fri Apr  8 15:24:10 2022
From: mail at joachim-breitner.de (Joachim Breitner)
Date: Fri, 08 Apr 2022 17:24:10 +0200
Subject: Types differ, but they look the same
In-Reply-To: <8811d8e704a6c539287314621438a3c62126fffb.camel@joachim-breitner.de>
References: <8811d8e704a6c539287314621438a3c62126fffb.camel@joachim-breitner.de>
Message-ID: <134f8b3116dc99d224405e830f4c13c1de22f13f.camel@joachim-breitner.de>

Hi,

Am Freitag, dem 08.04.2022 um 16:58 +0200 schrieb Joachim Breitner:
> what might make eqType go False that is _not_ visible in the pretty-
> printed view?

I have a hunch: `(%,%) a b` differs from `(,) a b`, but both are
pretty-printed as (a, b)`… I’ll shout if that wasn’t it.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/


From ben at well-typed.com  Sun Apr 17 20:09:58 2022
From: ben at well-typed.com (Ben Gamari)
Date: Sun, 17 Apr 2022 16:09:58 -0400
Subject: Haskell.org outage
Message-ID: <87k0bn1nhx.fsf@smart-cactus.org>

Hello everyone,

Unfortunately Haskell.org, downloads.haskell.org, and hoogle.haskell.org
are currently down. We are currently investigating the cause. Updates
will be posted as they are available.

Cheers,

- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20220417/24366e2d/attachment.sig>

From ben at well-typed.com  Mon Apr 18 04:59:13 2022
From: ben at well-typed.com (Ben Gamari)
Date: Mon, 18 Apr 2022 00:59:13 -0400
Subject: Haskell.org outage
In-Reply-To: <87k0bn1nhx.fsf@smart-cactus.org>
References: <87k0bn1nhx.fsf@smart-cactus.org>
Message-ID: <87fsmb0yyb.fsf@smart-cactus.org>

Ben Gamari <ben at well-typed.com> writes:

> Hello everyone,
>
> Unfortunately Haskell.org, downloads.haskell.org, and hoogle.haskell.org
> are currently down. We are currently investigating the cause. Updates
> will be posted as they are available.
>
A quick update: It sounds as though the outage is due to a hardware
issue which our hosting provider is currently investigating but
naturally responses are a bit slower than usual due to the holiday. More
updates to follow tomorrow.

Cheers,

- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20220418/4725d97e/attachment.sig>