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) |
| 2026-04-30 18:50:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 18:52:58 | <gentauro> | janus: the problem is that diff versions of GHC will get triggered … |
| 2026-04-30 18:54:28 | → | Arman999 joins (~Arman999@user/Arman999) |
| 2026-04-30 18:54:33 | × | Arman999 quits (~Arman999@user/Arman999) (Client Quit) |
| 2026-04-30 18:57:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-30 18:59:36 | <geekosaur> | both cabal and xmonad have things that set off warnings in both older and newer versions of ghc, because of backward compatibility and occasionally bugs |
| 2026-04-30 19:00:31 | <geekosaur> | (iirc the missing cases warning is broken on 8.10) |
| 2026-04-30 19:01:21 | <gentauro> | geekosaur: that is exactly what I was experiencing (foldl1 and foldl1') |
| 2026-04-30 19:01:36 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-04-30 19:02:14 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-04-30 19:03:22 | × | hsw quits (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2026-04-30 19:03:41 | → | hsw joins (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) |
| 2026-04-30 19:12:10 | Digitteknohippie | is now known as Digit |
| 2026-04-30 19:13:17 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-30 19:13:17 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-30 19:13:17 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 19:27:15 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 245 seconds) |
| 2026-04-30 19:27:35 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2026-04-30 19:27:45 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-30 19:27:45 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-30 19:27:45 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 19:33:17 | → | gawen joins (~gawen@user/gawen) |
| 2026-04-30 19:35:20 | <tomsmeding> | geekosaur: re my ad-hoc @, that was very soon after the liberachat switch iirc |
| 2026-04-30 19:37:54 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2026-04-30 19:39:45 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-30 19:44:24 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-30 19:54:45 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 245 seconds) |
| 2026-04-30 19:57:02 | × | Athas quits (athas@sigkill.dk) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-04-30 19:57:45 | → | Enrico63 joins (~Enrico63@85.255.235.90) |
| 2026-04-30 19:59:03 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2026-04-30 19:59:38 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-30 20:00:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-04-30 20:00:19 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-04-30 20:00:49 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-04-30 20:02:16 | × | Googulator quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-30 20:02:30 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-30 20:02:30 | → | Googulator joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-04-30 20:02:35 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2026-04-30 20:05:16 | → | gawen joins (~gawen@user/gawen) |
| 2026-04-30 20:11:23 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) |
| 2026-04-30 20:11:39 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-30 20:11:39 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-30 20:11:39 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-30 20:12:56 | → | Athas joins (athas@sigkill.dk) |
| 2026-04-30 20:13:23 | × | feetwind quits (~mike@user/feetwind) (Ping timeout: 252 seconds) |
All times are in UTC.