Newest at the top
| 2026-04-30 18:30:52 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 18:30:17 +0000 | layline_ | layline-away |
| 2026-04-30 18:30:01 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 18:29:20 +0000 | Arman999 | (~Arman999@user/Arman999) Arman999 |
| 2026-04-30 18:28:27 +0000 | Square | (~Square@user/square) Square |
| 2026-04-30 18:28:06 +0000 | Square | (~Square@user/square) (Quit: Leaving) |
| 2026-04-30 18:25:46 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-30 18:25:43 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 18:23:22 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 18:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-30 18:21:38 +0000 | <janus> | or in stack.yaml , of course |
| 2026-04-30 18:21:18 +0000 | <janus> | gentauro: you can put -Werror in cabal.project{.local} to avoid it being used when the library is used a dependency |
| 2026-04-30 18:20:10 +0000 | <gentauro> | finally realized why Hackage doesn't want you to use: `OPTIONS_GHC -Wall -Werror` :( |
| 2026-04-30 18:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 18:17:15 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-04-30 18:12:09 +0000 | <dolio> | Yeah, if ghci 9.4 prints the types that way I'm not sure why haddock from that era doesn't. But I don't know much about haddock. |
| 2026-04-30 18:10:55 +0000 | <janus> | well i'd like to know about the haddock change now... |
| 2026-04-30 18:10:04 +0000 | <janus> | by 'oh yes' i mean 'you are right, it was probably a haddock change' |
| 2026-04-30 18:09:48 +0000 | <dolio> | Yeah, I expect the actual change goes back pretty far, to when Typeable got redesigned. |
| 2026-04-30 18:09:01 +0000 | <janus> | i didn't know haddock could make printed types so much more verbose |
| 2026-04-30 18:08:29 +0000 | <janus> | dolio: oh yes, see int-e snippet. and https://hackage-content.haskell.org/package/base-4.19.0.0/docs/src/Data.Typeable.Internal.html#som… shows the simple type. |
| 2026-04-30 18:08:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 18:06:56 +0000 | <int-e> | https://paste.debian.net/hidden/2609fe63 |
| 2026-04-30 18:06:09 +0000 | <dolio> | Or just generally the way types were printed. |
| 2026-04-30 18:05:48 +0000 | <dolio> | Are you sure it isn't just a haddock change? |
| 2026-04-30 18:04:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 18:01:55 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-30 17:59:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 17:52:50 +0000 | <janus> | this explicit version of typeRep appeared with GHC 9.8, so it must be related to one of the changes https://downloads.haskell.org/~ghc/9.8.4/docs/users_guide/9.8.1-notes.html |
| 2026-04-30 17:49:53 +0000 | koolazer | (~koo@user/koolazer) koolazer |
| 2026-04-30 17:49:01 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 276 seconds) |
| 2026-04-30 17:47:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-30 17:47:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 17:46:00 +0000 | <EvanR> | you're right I have no working intuition of polykinds |
| 2026-04-30 17:44:50 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-30 17:44:22 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 17:43:57 +0000 | <janus> | EvanR: what makes that one more polymorphic? surely it would depend on kind inferrence? and i would think that kind inferrence would depend on the setting of PolyKinds. but the explicit one is explicitly permitting any k, not just * (Type) |
| 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) |