Newest at the top
| 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) |
| 2026-02-12 11:27:34 +0100 | <castan> | alright, that intuition will do ;) thanks [exa] |
| 2026-02-12 11:25:35 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-12 11:24:45 +0100 | AlexZenon | (~alzenon@85.174.182.59) |
| 2026-02-12 11:23:28 +0100 | <dutchie> | lots of defaulting complaints this morning |
| 2026-02-12 11:23:27 +0100 | <mauke> | not just ghci |
| 2026-02-12 11:23:07 +0100 | <Lears> | Defaulting is a bunch of ad hoc rules pragmatic for ghci. It's not really worth digging into the details. |
| 2026-02-12 11:22:47 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 252 seconds) |
| 2026-02-12 11:21:47 +0100 | <[exa]> | castan: the intuition is that there's some kind of a default list, and it picks the first type from the default list that matches all the typeclass requirements |
| 2026-02-12 11:19:30 +0100 | <castan> | makes sense. I'm trying to understand the defaulting behavior from the 2010 report but it's quite dense |
| 2026-02-12 11:19:29 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 11:19:22 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-12 11:19:06 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-12 11:19:02 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-12 11:18:59 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-12 11:16:27 +0100 | <davean> | Also, == says "whatever is on my two sides must be instances of Eq" not "must be instances of Num" |
| 2026-02-12 11:16:22 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |