2025/09/08

Newest at the top

2025-09-08 09:45:06 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-09-08 09:44:53 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu)
2025-09-08 09:44:37 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-08 09:43:53 +0200chele(~chele@user/chele) chele
2025-09-08 09:42:53 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-08 09:40:36 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-08 09:40:36 +0200arandombit(~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host)
2025-09-08 09:40:36 +0200arandombit(~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 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-08 09:35:35 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu)
2025-09-08 09:35:25 +0200Googulator(~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-08 09:34:50 +0200tromp(~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e)
2025-09-08 09:29:32 +0200img(~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 +0200qqe(~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 +0200img(~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 +0200akegalj(~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 +0200forell(~forell@user/forell) (Ping timeout: 248 seconds)
2025-09-08 09:11:29 +0200fp(~Thunderbi@dhcp-101-136.eduroam.aalto.fi) fp
2025-09-08 09:11:06 +0200acidjnk(~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) acidjnk
2025-09-08 09:11:03 +0200img(~img@user/img) img
2025-09-08 09:09:52 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-08 09:00:46 +0200caconym747(~caconym@user/caconym) caconym
2025-09-08 09:00:05 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-08 08:56:57 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-09-08 08:50:46 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-08 08:49:06 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-08 08:49:00 +0200qqe(~qqq@185.54.23.136) (Quit: Lost terminal)
2025-09-08 08:41:11 +0200Guest8(~Guest50@50.219.86.2) (Quit: Client closed)
2025-09-08 08:32:04 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-08 08:22:26 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-09-08 08:22:12 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-08 08:21:58 +0200raym(~ray@user/raym) raym
2025-09-08 08:20:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)