IRCBrowse

2026/02/12

Newest at the top

2026-02-12 11:24:45 +0100AlexZenon(~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 +0100hakutaku(~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 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:19:22 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-12 11:19:06 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2026-02-12 11:19:02 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-12 11:18:59 +0100chele(~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 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-12 11:16:11 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-12 11:13:00 +0100AlexZenon(~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 +0100Alex_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 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:08:17 +0100tromp(~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 +0100Alex_delenda_est(~al_test@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 11:06:26 +0100mud(~mud@user/kadoban) kadoban
2026-02-12 11:06:05 +0100trickard_trickard
2026-02-12 11:05:47 +0100tromp(~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-12 11:05:25 +0100mud(~mud@user/kadoban) (Ping timeout: 264 seconds)
2026-02-12 11:04:26 +0100Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 11:04:24 +0100Googulator88(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 11:03:58 +0100foul_owl(~kerry@94.156.149.92) foul_owl
2026-02-12 11:03:57 +0100AlexZenon(~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 +0100Alex_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 +0100castan(~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0)
2026-02-12 10:59:41 +0100Alex_delenda_est(~al_test@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:59:24 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:59:07 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds)
2026-02-12 10:58:35 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:57:49 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2026-02-12 10:55:32 +0100comerijn(~merijn@77.242.116.146) merijn