Newest at the top
| 2026-04-30 17:41:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 17:38:55 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-30 17:37:16 +0000 | Square | (~Square@user/square) Square |
| 2026-04-30 17:34:09 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 17:32:28 +0000 | <janus> | there must be two separate base changes here, because the linked wiki page talks about GHC 7.8 which is much older than base-4.18 (GHC 9.6) |
| 2026-04-30 17:32:00 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-30 17:30:49 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-04-30 17:26:45 +0000 | <janus> | you wouldn't be able to do this with the old definition, because proxy would be Type -> Type, right |
| 2026-04-30 17:26:28 +0000 | <yahb2> | Monad |
| 2026-04-30 17:26:28 +0000 | <janus> | % typeRep (undefined :: Proxy Monad) |
| 2026-04-30 17:25:32 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-30 17:20:54 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 17:20:28 +0000 | Comstar | (~Comstar@user/Comstar) (Quit: Leaving) |
| 2026-04-30 17:19:36 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-30 17:11:49 +0000 | <mauke> | https://gitlab.haskell.org/ghc/ghc/-/wikis/ghc-kinds/poly-typeable |
| 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 |