Logs on 2026-04-10 (liberachat/#haskell)
| 00:03:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 00:04:15 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 00:04:21 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 00:11:42 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 00:14:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:18:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:25:52 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 00:29:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:30:55 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 272 seconds) |
| 00:33:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:38:41 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:44:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:51:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:57:27 | × | slomp quits (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 00:59:30 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 01:00:19 | → | slomp joins (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 01:00:25 | × | xff0x quits (~xff0x@ai112096.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 01:02:33 | → | _d0t_ joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 01:02:42 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 01:02:42 | _d0t_ | is now known as _d0t |
| 01:02:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:04:41 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 01:07:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:09:50 | → | slomp_ joins (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 01:12:41 | × | slomp quits (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 248 seconds) |
| 01:14:54 | → | slomp joins (~slomp@47-158-198-45.lsan.ca.frontiernet.net) |
| 01:17:35 | × | slomp_ quits (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 244 seconds) |
| 01:18:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:22:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:34:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:39:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:55:39 | × | slomp quits (~slomp@47-158-198-45.lsan.ca.frontiernet.net) (Ping timeout: 255 seconds) |
| 01:56:21 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 01:57:53 | → | slomp joins (~slomp@47-158-198-45.lsan.ca.frontiernet.net) |
| 02:03:45 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 02:03:46 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 02:04:17 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 02:04:17 | ChanServ | sets mode +v haskellbridge |
| 02:05:04 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:05:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:07:48 | × | slomp quits (~slomp@47-158-198-45.lsan.ca.frontiernet.net) (Quit: Lost terminal) |
| 02:10:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:10:50 | → | slomp joins (~slomp@47-158-198-45.lsan.ca.frontiernet.net) |
| 02:15:28 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 02:18:18 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 02:18:25 | → | m1dnight_ joins (~m1dnight@d8D861A17.access.telenet.be) |
| 02:23:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:23:49 | → | slomp_ joins (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 02:26:26 | × | slomp quits (~slomp@47-158-198-45.lsan.ca.frontiernet.net) (Ping timeout: 248 seconds) |
| 02:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:40:17 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 02:41:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:41:50 | → | EvanR joins (~EvanR@user/evanr) |
| 02:45:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:56:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:00:00 | × | krei-se quits (~krei-se@p5b1642b0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 03:00:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:03:11 | → | krei-se joins (~krei-se@p5b15768c.dip0.t-ipconnect.de) |
| 03:11:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:16:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 03:24:26 | × | Googulator85 quits (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 03:24:51 | → | Googulator85 joins (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 03:27:22 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 03:27:35 | → | divlamir joins (~divlamir@user/divlamir) |
| 03:42:39 | → | merijn joins (~merijn@62.45.136.136) |
| 03:44:27 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 03:47:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 03:54:23 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:57:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:05:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 04:13:06 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 04:16:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:16:41 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 04:20:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 04:31:21 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 04:31:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:32:49 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 04:35:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:46:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:51:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:57:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:58:21 | → | michalz joins (~michalz@185.246.207.215) |
| 04:59:25 | × | squid64 quits (~user@fsf/member/squid64) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 05:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:12:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:17:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:21:43 | → | acidjnk_new joins (~acidjnk@p200300d6e700e53609e75ead6525121b.dip0.t-ipconnect.de) |
| 05:28:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:32:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:43:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:46:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 05:46:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 05:48:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:54:09 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 05:54:29 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 05:55:07 | × | acidjnk_new quits (~acidjnk@p200300d6e700e53609e75ead6525121b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 05:56:32 | → | karenw joins (~karenw@user/karenw) |
| 05:57:24 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 05:58:19 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 05:58:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:59:35 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 06:02:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:04:13 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 06:10:51 | × | mfc_kbs- quits (~keibisoft@mail.keibisoft.com) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:11:11 | → | mfc_kbs joins (~keibisoft@mail.keibisoft.com) |
| 06:13:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:18:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:24:21 | × | ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:24:36 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 06:24:52 | → | tusko joins (~uwu@user/tusko) |
| 06:28:48 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 06:29:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:55 | → | tusko joins (~uwu@user/tusko) |
| 06:32:21 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 06:33:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:36:34 | → | attlin joins (~user@user/attlin) |
| 06:41:40 | × | czan quits (~czan@user/mange) (Quit: Zzz...) |
| 06:44:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:46:26 | × | synchromesh quits (~john@2406:5a00:2412:2c00:e029:fa8c:cb38:398f) (Read error: Connection reset by peer) |
| 06:47:47 | → | synchromesh joins (~john@2406:5a00:2412:2c00:84a:b712:d1d0:a9d4) |
| 06:51:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:56:34 | × | constxd quits (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 06:57:01 | → | constxd joins (~constxd@user/constxd) |
| 06:59:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:01:02 | × | Googulator85 quits (~Googulato@94-21-172-213.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 07:01:30 | → | Milan_Vanca joins (~milan@88.212.61.169) |
| 07:04:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:09:06 | → | tromp joins (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) |
| 07:13:18 | <gentauro> | if you use the `DuplicateRecordFields` language pragma (duplicate record fields). How do you specify you want to use `Foo { foo :: String }` from `FooBar { foo :: String, bar :: String}`? |
| 07:14:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:19:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:20:42 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:25:09 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:30:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:30:34 | → | califax_ joins (~califax@user/califx) |
| 07:30:49 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 07:31:49 | califax_ | is now known as califax |
| 07:34:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:39:35 | → | Enrico63 joins (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) |
| 07:43:14 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 07:44:53 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:e481:bbc9:3363:2734) |
| 07:44:53 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:e481:bbc9:3363:2734) (Changing host) |
| 07:44:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:45:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:48:37 | → | Guest62 joins (~Guest62@p200300ca8f075300066cfcebe99f05bc.dip0.t-ipconnect.de) |
| 07:50:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:56:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:02:22 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:04:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:07:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 08:09:09 | → | krei-se- joins (~krei-se@2003:a:67f:b77c::c8c6) |
| 08:09:12 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:09:36 | × | krei-se quits (~krei-se@p5b15768c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 08:09:53 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 08:10:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 08:12:08 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:13:20 | → | karenw joins (~karenw@user/karenw) |
| 08:15:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:22:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:23:53 | → | danza joins (~danza@user/danza) |
| 08:27:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:34:13 | <tomsmeding> | gentauro: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/duplicate_record_fields.html#extension-DuplicateRecordFields |
| 08:34:24 | <tomsmeding> | I think the part until 6.5.5.1 answers your question |
| 08:34:28 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 08:39:46 | × | synchromesh quits (~john@2406:5a00:2412:2c00:84a:b712:d1d0:a9d4) (Ping timeout: 248 seconds) |
| 08:42:04 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 08:42:23 | → | __monty__ joins (~toonn@user/toonn) |
| 08:57:15 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 08:58:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 08:59:32 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 09:01:38 | <Milan_Vanca> | Do I understand that correctly that there is difference between exporting module M (S(S, x)) where .. and module M (S(S), x) where |
| 09:02:36 | <Milan_Vanca> | data S = S {x :: Int} |
| 09:03:39 | → | synchromesh joins (~john@2406:5a00:2412:2c00:84a:b712:d1d0:a9d4) |
| 09:10:04 | <Milan_Vanca> | Anyway I want to ask different question. I have noticed many libs (alost all) on hackage to specify upper bound for its dependencies. This article https://iscinumpy.dev/post/bound-version-constraints/ says libs should not do that. Do you think information in that article is relevant for haskell packages? |
| 09:11:22 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 09:11:32 | → | danza joins (~danza@user/danza) |
| 09:12:23 | <Milan_Vanca> | I don't want to start flame war I am asking in good faith. Like now I just manually "allow-newer" for every dependency but it tiresome |
| 09:14:40 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 276 seconds) |
| 09:15:16 | <Milan_Vanca> | To my knowledge cabal/ghc too uses "flat" structure of dependencies same as python, so arguments should be applicable. |
| 09:19:03 | <merijn> | I don't know what "flt structure oif dependencies" means |
| 09:19:32 | <merijn> | Milan_Vanca: Python's ecosystem is constantly broken, so I would ignore anything they say |
| 09:19:39 | <tomsmeding> | from the tldr in that article: |
| 09:19:42 | <tomsmeding> | > Anyone can fix a missing cap, but users cannot fix an over restrictive cap |
| 09:19:51 | <merijn> | They keep reinventing their build tools every year too, each time with the same problems |
| 09:19:51 | <tomsmeding> | well, no |
| 09:20:25 | <tomsmeding> | fixing a missing cap requires forking the project, whereas fixing an over-restrictive cap can be done with allow-newer or by asking for a non-maintainer update of the metadata on hackagte |
| 09:20:29 | <merijn> | Milan_Vanca: cabal is fundamentally different from python's dependencies management approach |
| 09:20:55 | <merijn> | Milan_Vanca: Have you read the PVP? |
All times are in UTC on 2026-04-10.