Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 18034 18035 18036 18037 18038 18039 18040
— 1,803,910 events total
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)
2026-04-30 20:19:13 → weary-traveler joins (~user@user/user363627)
2026-04-30 20:22:22 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-30 20:26:43 × Enrico63 quits (~Enrico63@85.255.235.90) (Quit: Client closed)
2026-04-30 20:27:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-30 20:34:40 × Googulator quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-04-30 20:34:56 → Googulator joins (~Googulato@84-236-65-50.pool.digikabel.hu)
2026-04-30 20:36:00 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds)
2026-04-30 20:37:50 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2026-04-30 20:39:46 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-30 20:39:47 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-04-30 20:41:02 × mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .)
2026-04-30 20:42:55 → mrmonday joins (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15)
2026-04-30 20:44:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-30 20:45:06 → ephapticpulse joins (~user@user/ephapticpulse)
2026-04-30 20:55:08 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-30 20:56:43 × leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2026-04-30 20:57:53 → leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de)
2026-04-30 20:58:23 × michalz quits (~michalz@185.246.207.215) (Remote host closed the connection)
2026-04-30 20:59:33 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-30 21:00:24 → machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
2026-04-30 21:05:05 × 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 21:05:10 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 18034 18035 18036 18037 18038 18039 18040

All times are in UTC.