Newest at the top
| 2026-02-12 12:36:39 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-02-12 12:35:39 +0100 | Enrico63 | (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 2026-02-12 12:32:05 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds) |
| 2026-02-12 12:29:59 +0100 | Miroboru | (~myrvoll@188.113.115.67) Miroboru |
| 2026-02-12 12:27:53 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-12 12:27:34 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-12 12:26:01 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-12 12:26:00 +0100 | <Lears> | I meant "ad hoc rules (pragmatic for ghci)", not "ad hoc rules (pragmatic) for ghci"---I'm well aware of where it happens. |
| 2026-02-12 12:25:42 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-12 12:25:15 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-12 12:24:54 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2026-02-12 12:24:54 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds) |
| 2026-02-12 12:22:44 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
| 2026-02-12 12:20:44 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 2026-02-12 12:20:12 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 12:20:07 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-12 12:19:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bb2a:3aa9:d99:94fb) |
| 2026-02-12 12:16:23 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-12 12:14:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-12 12:13:35 +0100 | castan | (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) (Quit: castan) |
| 2026-02-12 12:13:00 +0100 | otto_s | (~user@p4ff27e90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-02-12 12:11:00 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-12 12:10:46 +0100 | trickard___ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-12 12:06:33 +0100 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-02-12 12:06:21 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 244 seconds) |
| 2026-02-12 12:02:24 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2026-02-12 12:02:17 +0100 | trickard___ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-12 12:02:15 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-12 11:58:14 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 245 seconds) |
| 2026-02-12 11:57:35 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-12 11:57:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-12 11:55:38 +0100 | castan | (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) |
| 2026-02-12 11:55:09 +0100 | <comerijn> | Just enable -Wall and you'll get warning for type defaults and you should probably use that anyway |
| 2026-02-12 11:54:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-02-12 11:54:04 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-12 11:54:04 +0100 | castan | (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) (Ping timeout: 245 seconds) |
| 2026-02-12 11:53:54 +0100 | <comerijn> | but the default list is more minimal in GHC |
| 2026-02-12 11:53:45 +0100 | <comerijn> | Lears: Defaulting also happens in compiled code |
| 2026-02-12 11:51:09 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-12 11:46:45 +0100 | AlexZenon | (~alzenon@85.174.182.59) |
| 2026-02-12 11:42:35 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 11:39:56 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-12 11:39:25 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-12 11:38:49 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-12 11:36:20 +0100 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2026-02-12 11:36:19 +0100 | <chromoblob> | > read "123" |
| 2026-02-12 11:35:45 +0100 | AlexZenon | (~alzenon@85.174.182.59) |
| 2026-02-12 11:31:35 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 11:30:27 +0100 | <[exa]> | castan: btw try `read "123"`, that's the common victim of defaulting |
| 2026-02-12 11:29:55 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 245 seconds) |