Newest at the top
| 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. |
| 2026-02-12 11:10:42 +0100 | Alex_test_ | (~al_test@85.174.182.59) |
| 2026-02-12 11:10:03 +0100 | <castan> | oh I see, thanks |
| 2026-02-12 11:08:52 +0100 | <yahb2> | <no output> |
| 2026-02-12 11:08:52 +0100 | <Lears> | % :seti -Wno-type-defaults |
| 2026-02-12 11:08:38 +0100 | <yahb2> | <interactive>:1:3: warning: [GHC-18042] [-Wtype-defaults] ; • Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints ; (Eq a0) arising from a use of ‘==’ at <i... |
| 2026-02-12 11:08:38 +0100 | <Lears> | % :t 1 == 1 |
| 2026-02-12 11:08:34 +0100 | <yahb2> | <no output> |
| 2026-02-12 11:08:34 +0100 | <Lears> | % :seti -Wtype-defaults |
| 2026-02-12 11:08:29 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 11:08:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-12 11:07:37 +0100 | <castan> | great, I'm a bit confused as to why 1 == 1 typechecks, since Num does not inherit Eq |
| 2026-02-12 11:07:23 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 11:06:26 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-12 11:06:05 +0100 | trickard_ | trickard |
| 2026-02-12 11:05:47 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-12 11:05:25 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2026-02-12 11:04:26 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-12 11:04:24 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 11:03:58 +0100 | foul_owl | (~kerry@94.156.149.92) foul_owl |
| 2026-02-12 11:03:57 +0100 | AlexZenon | (~alzenon@85.174.182.59) |
| 2026-02-12 11:03:25 +0100 | <[exa]> | castan: always |
| 2026-02-12 11:03:19 +0100 | <chromoblob> | hi castan |
| 2026-02-12 11:03:00 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) |
| 2026-02-12 11:02:35 +0100 | <castan> | hi! is this thing on |
| 2026-02-12 11:00:01 +0100 | castan | (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) |
| 2026-02-12 10:59:41 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 10:59:24 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |