IRCBrowse

2026/02/12

Newest at the top

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
2026-02-12 10:55:28 +0100Alex_delenda_est(~al_test@85.174.182.59)
2026-02-12 10:54:05 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-12 10:52:12 +0100sixfourtwelve(~ethanmorg@82.18.82.103) (Quit: leaving)
2026-02-12 10:49:41 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-12 10:49:24 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 10:47:19 +0100foul_owl(~kerry@94.156.149.97) (Read error: Connection reset by peer)
2026-02-12 10:47:07 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 264 seconds)
2026-02-12 10:39:38 +0100sixfourtwelve(~ethanmorg@82.18.82.103) sixfourtwelve
2026-02-12 10:34:28 +0100Enrico63(~Enrico63@host-82-63-21-32.business.telecomitalia.it) Enrico63
2026-02-12 10:33:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-12 10:32:36 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-12 10:32:19 +0100Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)