Newest at the top
2025-09-08 09:45:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-08 09:44:53 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
2025-09-08 09:44:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-08 09:43:53 +0200 | chele | (~chele@user/chele) chele |
2025-09-08 09:42:53 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
2025-09-08 09:38:44 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-08 09:38:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-08 09:35:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
2025-09-08 09:35:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-08 09:34:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-08 09:29:32 +0200 | img | (~img@user/img) img |
2025-09-08 09:29:07 +0200 | <tomsmeding> | if you do that and then proceed to use Typeable stuff, GHC raises an internal error, lol |
2025-09-08 09:28:47 +0200 | <tomsmeding> | there is a flag to GHC that tells it to not generate Typeable instances: -dno-typeable-binds |
2025-09-08 09:28:34 +0200 | <tomsmeding> | and it seems GHC also blindly assumes it's there |
2025-09-08 09:28:22 +0200 | qqe | (~qqq@185.54.23.136) |
2025-09-08 09:27:57 +0200 | <tomsmeding> | ghci is just an interactive interface to ghc |
2025-09-08 09:27:52 +0200 | <tomsmeding> | ghc automatically adds it |
2025-09-08 09:27:16 +0200 | <Square3> | so ghci automatically adds it? |
2025-09-08 09:23:01 +0200 | <tomsmeding> | I don't think it is possible to define a data type in ghc haskell that does _not_ implement Typeable |
2025-09-08 09:23:00 +0200 | <mauke> | should be easy to test with Foo directly |
2025-09-08 09:22:35 +0200 | <tomsmeding> | it's just not being shown in the :i output, and I'm not sure why |
2025-09-08 09:22:24 +0200 | <tomsmeding> | I'm fairly sure your Foo does have a Typeable instance |
2025-09-08 09:22:01 +0200 | <Square3> | i can do `typeRep (Proxy :: Proxy Foo)` at least. *shrug* |
2025-09-08 09:21:40 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 09:21:32 +0200 | <Square3> | tomsmeding, yes. I'm sure it doesn't derive Typeable |
2025-09-08 09:20:37 +0200 | <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 09:16:18 +0200 | <tomsmeding> | GHC magically generates Typeable instances for all data type declarations these days |
2025-09-08 09:15:42 +0200 | <tomsmeding> | Square3: are you sure that Foo doesn't have a Typeable instance? |
2025-09-08 09:13:34 +0200 | akegalj | (~akegalj@213.202.92.55) akegalj |
2025-09-08 09:13:26 +0200 | <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 09:11:45 +0200 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
2025-09-08 09:11:29 +0200 | fp | (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) fp |
2025-09-08 09:11:06 +0200 | acidjnk | (~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) acidjnk |
2025-09-08 09:11:03 +0200 | img | (~img@user/img) img |
2025-09-08 09:09:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 09:00:46 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-08 09:00:05 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-08 08:56:57 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-08 08:50:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-08 08:49:06 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-08 08:49:00 +0200 | qqe | (~qqq@185.54.23.136) (Quit: Lost terminal) |
2025-09-08 08:41:11 +0200 | Guest8 | (~Guest50@50.219.86.2) (Quit: Client closed) |
2025-09-08 08:32:04 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-08 08:22:26 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-08 08:22:12 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-08 08:21:58 +0200 | raym | (~ray@user/raym) raym |
2025-09-08 08:20:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |