Newest at the top
| 2026-04-30 17:07:28 +0000 | <mauke> | ?? |
| 2026-04-30 17:07:13 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-30 17:06:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-04-30 17:06:05 +0000 | <EvanR> | forall proxy a. Typeable a => proxy a -> TypeRep seems more polymorphic? |
| 2026-04-30 17:05:49 +0000 | m4 | (~travltux@user/travltux) travltux |
| 2026-04-30 17:05:36 +0000 | <geekosaur> | I thought so too |
| 2026-04-30 17:04:28 +0000 | <mauke> | that question seems backwards |
| 2026-04-30 17:03:58 +0000 | <EvanR> | it's not any a and any proxy independently |
| 2026-04-30 17:03:47 +0000 | <EvanR> | the a and proxy have to match up somehow |
| 2026-04-30 16:58:30 +0000 | <janus> | this was even made more polymorphic at some point, because in base-4.18 it was just forall proxy a. Typeable a => proxy a -> TypeRep |
| 2026-04-30 16:57:26 +0000 | <janus> | why does kindedness make a difference here? what is an example of a declaration that fits with typeRep without PolyKinds but fails with? |
| 2026-04-30 16:57:25 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-30 16:56:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 16:56:01 +0000 | <yahb2> | typeRep ; :: forall {k} (proxy :: k -> *) (a :: k). ; Typeable a => ; proxy a -> TypeRep |
| 2026-04-30 16:56:01 +0000 | <janus> | % :t typeRep |
| 2026-04-30 16:55:53 +0000 | <yahb2> | <no output> |
| 2026-04-30 16:55:53 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 16:55:53 +0000 | <janus> | % import Data.Typeable |
| 2026-04-30 16:53:46 +0000 | malte | (~malte@mal.tc) malte |
| 2026-04-30 16:49:05 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-30 16:48:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 16:44:39 +0000 | <EvanR> | janus, agreed old codebases with ancient bugs and unknown risks are bad. Better to make a brand new fresh code base with brand new bugs xD |
| 2026-04-30 16:37:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 16:35:49 +0000 | acarrico | (~acarrico@2606:1440:605:2500:ac3:5f1a:da7f:d2ac) |
| 2026-04-30 16:35:38 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-30 16:35:00 +0000 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2026-04-30 16:32:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 16:28:34 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-04-30 16:25:39 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-30 16:23:03 +0000 | acarrico | (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) (Ping timeout: 246 seconds) |
| 2026-04-30 16:22:03 +0000 | tok | (~user@user/tok) (Read error: Connection reset by peer) |
| 2026-04-30 16:20:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 16:17:41 +0000 | <geekosaur> | mm, not ircd, services |
| 2026-04-30 16:16:57 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-30 16:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 16:15:24 +0000 | <geekosaur> | (freenode's ircd didn't support that iirc, solanum does) |
| 2026-04-30 16:14:27 +0000 | <geekosaur> | how long ago? on freenode -offtopic wasn't part of the acl group so it needed its own ops |
| 2026-04-30 16:14:16 +0000 | <haskellbridge> | <shapr> haha! |
| 2026-04-30 16:10:11 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-30 16:09:57 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-30 16:06:57 +0000 | AlexNoo_ | AlexNoo |
| 2026-04-30 16:05:26 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-04-30 16:04:43 +0000 | nnm | (nnm@chainless.shells.chat) |
| 2026-04-30 16:03:39 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-04-30 16:02:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 15:59:14 +0000 | <tomsmeding> | janus: dunno about cringe; shapr gave me op in #haskell-offtopic a long time ago and I did the same. :P |
| 2026-04-30 15:59:03 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |