Logs: liberachat/#haskell
| 2025-09-08 04:17:12 | trickard_ | is now known as trickard |
| 2025-09-08 04:17:12 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-08 04:17:59 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 04:19:18 | → | img joins (~img@user/img) |
| 2025-09-08 04:26:34 | → | michalz joins (~michalz@185.246.207.218) |
| 2025-09-08 04:26:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 04:29:59 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 04:31:15 | → | img joins (~img@user/img) |
| 2025-09-08 04:31:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 04:48:51 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 04:56:19 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-08 04:57:53 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 04:58:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 05:00:55 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-08 05:03:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:14:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 05:18:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:27:00 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-08 05:29:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 05:34:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 05:34:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-08 05:37:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 05:48:04 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-08 05:48:20 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-08 05:52:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 05:58:15 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 05:58:15 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 05:58:15 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 06:04:47 | → | Guest8 joins (~Guest50@50.219.86.2) |
| 2025-09-08 06:14:24 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-09-08 06:14:46 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2025-09-08 06:16:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 06:17:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 06:20:32 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-08 06:21:58 | → | raym joins (~ray@user/raym) |
| 2025-09-08 06:22:12 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 06:22:26 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 06:32:04 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-08 06:41:11 | × | Guest8 quits (~Guest50@50.219.86.2) (Quit: Client closed) |
| 2025-09-08 06:49:00 | × | qqe quits (~qqq@185.54.23.136) (Quit: Lost terminal) |
| 2025-09-08 06:49:06 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-08 06:50:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 06:56:57 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-09-08 07:00:05 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-08 07:00:46 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-08 07:09:52 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 07:11:03 | → | img joins (~img@user/img) |
| 2025-09-08 07:11:06 | → | acidjnk joins (~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) |
| 2025-09-08 07:11:29 | → | fp joins (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) |
| 2025-09-08 07:11:45 | × | forell quits (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2025-09-08 07:13:26 | <Square3> | Why does `Proxy :: Proxy Foo` in GHCI yield a a value that has a Typeable instance, even if Foo doesn't have one? |
| 2025-09-08 07:13:34 | → | akegalj joins (~akegalj@213.202.92.55) |
| 2025-09-08 07:15:42 | <tomsmeding> | Square3: are you sure that Foo doesn't have a Typeable instance? |
| 2025-09-08 07:16:18 | <tomsmeding> | GHC magically generates Typeable instances for all data type declarations these days |
| 2025-09-08 07:20:37 | <tomsmeding> | Square3: if you generate Core for this https://play.haskell.org/saved/3XxgXHMy you'll see the Eq stuff is generated, but also Typeable |
| 2025-09-08 07:21:32 | <Square3> | tomsmeding, yes. I'm sure it doesn't derive Typeable |
| 2025-09-08 07:21:40 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 07:22:01 | <Square3> | i can do `typeRep (Proxy :: Proxy Foo)` at least. *shrug* |
| 2025-09-08 07:22:24 | <tomsmeding> | I'm fairly sure your Foo does have a Typeable instance |
| 2025-09-08 07:22:35 | <tomsmeding> | it's just not being shown in the :i output, and I'm not sure why |
| 2025-09-08 07:23:00 | <mauke> | should be easy to test with Foo directly |
| 2025-09-08 07:23:01 | <tomsmeding> | I don't think it is possible to define a data type in ghc haskell that does _not_ implement Typeable |
| 2025-09-08 07:27:16 | <Square3> | so ghci automatically adds it? |
| 2025-09-08 07:27:52 | <tomsmeding> | ghc automatically adds it |
| 2025-09-08 07:27:57 | <tomsmeding> | ghci is just an interactive interface to ghc |
| 2025-09-08 07:28:22 | → | qqe joins (~qqq@185.54.23.136) |
| 2025-09-08 07:28:34 | <tomsmeding> | and it seems GHC also blindly assumes it's there |
| 2025-09-08 07:28:47 | <tomsmeding> | there is a flag to GHC that tells it to not generate Typeable instances: -dno-typeable-binds |
| 2025-09-08 07:29:07 | <tomsmeding> | if you do that and then proceed to use Typeable stuff, GHC raises an internal error, lol |
| 2025-09-08 07:29:32 | → | img joins (~img@user/img) |
| 2025-09-08 07:34:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 07:35:25 | × | Googulator quits (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 07:35:35 | → | Googulator joins (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 07:38:44 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-08 07:38:44 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-08 07:40:36 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 07:40:36 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 07:40:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 07:42:53 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 07:43:53 | → | chele joins (~chele@user/chele) |
| 2025-09-08 07:44:37 | × | Googulator quits (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 07:44:53 | → | Googulator joins (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 07:45:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-08 07:56:12 | <Square3> | tomsmeding, (sorry had a meeting) thanks. Well that explains it. |
| 2025-09-08 07:58:05 | <Square3> | > Since GHC 7.10, all types automatically have Typeable instances derived. This is in contrast to previous releases where Typeable had to be explicitly derived using the DeriveDataTypeable language extension. |
| 2025-09-08 07:58:06 | <lambdabot> | <hint>:1:15: error: parse error on input ‘,’ |
| 2025-09-08 08:06:53 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-08 08:16:49 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-08 08:17:00 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-08 08:17:00 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-08 08:17:00 | → | haritz joins (~hrtz@user/haritz) |
| 2025-09-08 08:19:22 | → | img joins (~img@user/img) |
| 2025-09-08 08:20:15 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-08 08:20:19 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-09-08 08:24:26 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 08:25:42 | → | img joins (~img@user/img) |
| 2025-09-08 08:30:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-08 08:31:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-08 08:41:13 | trickard_ | is now known as trickard |
| 2025-09-08 08:44:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
All times are in UTC.