Newest at the top
| 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 |
| 2026-02-12 11:16:11 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-12 11:13:00 +0100 | AlexZenon | (~alzenon@85.174.182.59) |
| 2026-02-12 11:12:32 +0100 | <[exa]> | castan: a pretty good way to find everything the type is able to do is `:i Int` in ghci |
| 2026-02-12 11:12:12 +0100 | <[exa]> | castan: the Int (and Integer) type belongs to more typeclasses than Num, the issue is that you usually see the Num first because :t 1 tells you "it's some Num" |
| 2026-02-12 11:11:25 +0100 | <davean> | Morj: Just set the defaulting to an implimentation of the abstract concept of a number. |