Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17535 17536 17537 17538 17539 17540 17541 17542 17543 17544 17545 .. 17991
— 1,799,013 events total
2026-02-12 10:08:38 <Lears> % :t 1 == 1
2026-02-12 10:08:38 <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 10:08:52 <Lears> % :seti -Wno-type-defaults
2026-02-12 10:08:52 <yahb2> <no output>
2026-02-12 10:10:03 <castan> oh I see, thanks
2026-02-12 10:10:42 → Alex_test_ joins (~al_test@85.174.182.59)
2026-02-12 10:11:25 <davean> Morj: Just set the defaulting to an implimentation of the abstract concept of a number.
2026-02-12 10:12:12 <[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 10:12:32 <[exa]> castan: a pretty good way to find everything the type is able to do is `:i Int` in ghci
2026-02-12 10:13:00 → AlexZenon joins (~alzenon@85.174.182.59)
2026-02-12 10:16:11 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-12 10:16:22 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 10:16:27 <davean> Also, == says "whatever is on my two sides must be instances of Eq" not "must be instances of Num"
2026-02-12 10:18:59 → chele joins (~chele@user/chele)
2026-02-12 10:19:02 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-12 10:19:06 → lucabtz joins (~lucabtz@user/lucabtz)
2026-02-12 10:19:22 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2026-02-12 10:19:29 × AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:19:30 <castan> makes sense. I'm trying to understand the defaulting behavior from the 2010 report but it's quite dense
2026-02-12 10:21:47 <[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 10:22:47 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 252 seconds)
2026-02-12 10:23:07 <Lears> Defaulting is a bunch of ad hoc rules pragmatic for ghci. It's not really worth digging into the details.
2026-02-12 10:23:27 <mauke> not just ghci
2026-02-12 10:23:28 <dutchie> lots of defaulting complaints this morning
2026-02-12 10:24:45 → AlexZenon joins (~alzenon@85.174.182.59)
2026-02-12 10:25:35 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 10:27:34 <castan> alright, that intuition will do ;) thanks [exa]
2026-02-12 10:29:55 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 10:30:27 <[exa]> castan: btw try `read "123"`, that's the common victim of defaulting
2026-02-12 10:31:35 × AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:35:45 → AlexZenon joins (~alzenon@85.174.182.59)
2026-02-12 10:36:19 <chromoblob> > read "123"
2026-02-12 10:36:20 <lambdabot> *Exception: Prelude.read: no parse
2026-02-12 10:38:49 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 10:39:25 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 10:39:56 → karenw joins (~karenw@user/karenw)
2026-02-12 10:42:35 × AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds)
2026-02-12 10:46:45 → AlexZenon joins (~alzenon@85.174.182.59)
2026-02-12 10:51:09 → qqq joins (~qqq@185.54.22.240)
2026-02-12 10:53:45 <comerijn> Lears: Defaulting also happens in compiled code
2026-02-12 10:53:54 <comerijn> but the default list is more minimal in GHC
2026-02-12 10:54:04 × castan quits (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) (Ping timeout: 245 seconds)
2026-02-12 10:54:04 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 10:54:55 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-02-12 10:55:09 <comerijn> Just enable -Wall and you'll get warning for type defaults and you should probably use that anyway
2026-02-12 10:55:38 → castan joins (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f)
2026-02-12 10:57:31 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-12 10:57:35 → divlamir joins (~divlamir@user/divlamir)
2026-02-12 10:58:14 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 11:02:15 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 11:02:17 → trickard___ joins (~trickard@cpe-61-98-47-163.wireline.com.au)
2026-02-12 11:02:24 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2026-02-12 11:06:21 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 244 seconds)
2026-02-12 11:06:33 → Vizious joins (~bes@user/Vizious)
2026-02-12 11:10:46 × trickard___ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-12 11:11:00 → trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au)
2026-02-12 11:13:00 × otto_s quits (~user@p4ff27e90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-02-12 11:13:35 × castan quits (~castan@2a02:2f0f:8210:d800:3a15:8357:b194:ec9f) (Quit: castan)
2026-02-12 11:14:45 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-12 11:16:23 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 11:19:33 → xff0x joins (~xff0x@2405:6580:b080:900:bb2a:3aa9:d99:94fb)
2026-02-12 11:20:07 × Googulator88 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-12 11:20:12 → Googulator18 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-12 11:20:44 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-12 11:22:44 → sixfourtwelve joins (~ethanmorg@82.18.82.103)
2026-02-12 11:24:54 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 245 seconds)
2026-02-12 11:24:54 × trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection)
2026-02-12 11:25:15 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 11:25:42 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 11:26:00 <Lears> I meant "ad hoc rules (pragmatic for ghci)", not "ad hoc rules (pragmatic) for ghci"---I'm well aware of where it happens.
2026-02-12 11:26:01 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 11:27:34 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer)
2026-02-12 11:27:53 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 11:29:59 → Miroboru joins (~myrvoll@188.113.115.67)
2026-02-12 11:32:05 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 252 seconds)
2026-02-12 11:35:39 × Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed)
2026-02-12 11:36:39 × Miroboru quits (~myrvoll@188.113.115.67) (Quit: Lost terminal)
2026-02-12 11:54:44 × sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving)
2026-02-12 11:58:44 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-12 11:58:44 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-12 11:59:06 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2026-02-12 11:59:08 → ec joins (~ec@gateway/tor-sasl/ec)
2026-02-12 11:59:44 → __monty__ joins (~toonn@user/toonn)
2026-02-12 12:01:52 → haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-12 12:01:52 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-12 12:01:52 → haritz joins (~hrtz@user/haritz)
2026-02-12 12:11:00 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 12:12:03 → hakutaku joins (~textual@user/hakutaku)
2026-02-12 12:12:29 × akegalj quits (~akegalj@78-3-67-163.adsl.net.t-com.hr) (Ping timeout: 244 seconds)
2026-02-12 12:12:45 × KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-12 12:13:04 → KindFoxo joins (~KindFoxo@user/KindoFoxo)
2026-02-12 12:18:02 → Square joins (~Square4@user/square)
2026-02-12 12:21:26 → fp joins (~Thunderbi@wireless-86-50-141-119.open.aalto.fi)
2026-02-12 12:23:27 → sixfourtwelve joins (~ethanmorg@82.18.82.103)
2026-02-12 12:24:51 × sixfourtwelve quits (~ethanmorg@82.18.82.103) (Client Quit)
2026-02-12 12:27:33 Alex_test_ is now known as Alex_delenda_est
2026-02-12 12:33:14 × karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-02-12 12:38:53 → akegalj joins (~akegalj@141-136-187-120.dsl.iskon.hr)
2026-02-12 12:50:51 × Alex_delenda_est quits (~al_test@85.174.182.59) (Quit: ;-)
2026-02-12 12:52:03 × AlexZenon quits (~alzenon@85.174.182.59) (Quit: ;-)
←Prev  Next→
Page 1 .. 17535 17536 17537 17538 17539 17540 17541 17542 17543 17544 17545 .. 17991

All times are in UTC.