Logs: liberachat/#haskell
| 2026-04-30 18:05:48 | <dolio> | Are you sure it isn't just a haddock change? |
| 2026-04-30 18:06:09 | <dolio> | Or just generally the way types were printed. |
| 2026-04-30 18:06:56 | <int-e> | https://paste.debian.net/hidden/2609fe63 |
| 2026-04-30 18:08:29 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 18:08:29 | <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#someTypeRep shows the simple type. |
| 2026-04-30 18:09:01 | <janus> | i didn't know haddock could make printed types so much more verbose |
| 2026-04-30 18:09:48 | <dolio> | Yeah, I expect the actual change goes back pretty far, to when Typeable got redesigned. |
| 2026-04-30 18:10:04 | <janus> | by 'oh yes' i mean 'you are right, it was probably a haddock change' |
| 2026-04-30 18:10:55 | <janus> | well i'd like to know about the haddock change now... |
| 2026-04-30 18:12:09 | <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:17:15 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-04-30 18:17:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 18:20:10 | <gentauro> | finally realized why Hackage doesn't want you to use: `OPTIONS_GHC -Wall -Werror` :( |
| 2026-04-30 18:21:18 | <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:21:38 | <janus> | or in stack.yaml , of course |
| 2026-04-30 18:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-30 18:23:22 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 18:25:43 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 18:25:46 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-30 18:28:06 | × | Square quits (~Square@user/square) (Quit: Leaving) |
| 2026-04-30 18:28:27 | → | Square joins (~Square@user/square) |
| 2026-04-30 18:29:20 | → | Arman999 joins (~Arman999@user/Arman999) |
| 2026-04-30 18:30:01 | × | leppard quits (~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:30:17 | layline_ | is now known as layline-away |
| 2026-04-30 18:30:52 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 18:32:10 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-30 18:32:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 18:33:57 | × | Arman999 quits (~Arman999@user/Arman999) (Ping timeout: 245 seconds) |
| 2026-04-30 18:36:10 | layline-away | is now known as layline_ |
| 2026-04-30 18:36:27 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-04-30 18:36:35 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 252 seconds) |
| 2026-04-30 18:37:29 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-30 18:37:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.