Newest at the top
| 2026-04-10 08:39:46 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:84a:b712:d1d0:a9d4) (Ping timeout: 248 seconds) |
| 2026-04-10 08:34:28 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-04-10 08:34:24 +0000 | <tomsmeding> | I think the part until 6.5.5.1 answers your question |
| 2026-04-10 08:34:13 +0000 | <tomsmeding> | gentauro: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/duplicate_record_fields.html#extens… |
| 2026-04-10 08:27:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 08:23:53 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-10 08:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-10 08:15:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 08:13:20 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-10 08:12:08 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-10 08:10:55 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-04-10 08:09:53 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-10 08:09:36 +0000 | krei-se | (~krei-se@p5b15768c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-10 08:09:12 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-10 08:09:09 +0000 | krei-se- | (~krei-se@2003:a:67f:b77c::c8c6) krei-se |
| 2026-04-10 08:07:14 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-04-10 08:04:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-10 08:02:22 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-10 07:56:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 07:50:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-10 07:48:37 +0000 | Guest62 | (~Guest62@p200300ca8f075300066cfcebe99f05bc.dip0.t-ipconnect.de) |
| 2026-04-10 07:45:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 07:44:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-10 07:44:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:e481:bbc9:3363:2734) (Changing host) |
| 2026-04-10 07:44:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:e481:bbc9:3363:2734) |
| 2026-04-10 07:43:14 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-10 07:39:35 +0000 | Enrico63 | (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) Enrico63 |
| 2026-04-10 07:34:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-10 07:31:49 +0000 | califax_ | califax |
| 2026-04-10 07:30:49 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-10 07:30:34 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-04-10 07:30:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 07:25:09 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-10 07:20:42 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-10 07:19:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-10 07:14:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 07:13:18 +0000 | <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}`? |
| 2026-04-10 07:09:06 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) |
| 2026-04-10 07:04:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-10 07:01:30 +0000 | Milan_Vanca | (~milan@88.212.61.169) |
| 2026-04-10 07:01:02 +0000 | Googulator85 | (~Googulato@94-21-172-213.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-10 06:59:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 06:57:01 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2026-04-10 06:56:34 +0000 | constxd | (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2026-04-10 06:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-10 06:47:47 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:84a:b712:d1d0:a9d4) synchromesh |
| 2026-04-10 06:46:26 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:e029:fa8c:cb38:398f) (Read error: Connection reset by peer) |
| 2026-04-10 06:44:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-10 06:41:40 +0000 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-04-10 06:36:34 +0000 | attlin | (~user@user/attlin) attlin |