Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 692 693 694 695 696 697 698 699 700 701 702 .. 5022
— 502,152 events total
2020-10-17 07:28:47 → LKoen joins (~LKoen@81.255.219.130)
2020-10-17 07:28:55 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-17 07:30:52 → thir joins (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de)
2020-10-17 07:40:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 07:42:37 × alp_ quits (~alp@2a01:e0a:58b:4920:7959:9b61:1d77:4ea5) (Ping timeout: 272 seconds)
2020-10-17 07:43:24 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-17 07:43:55 → falafel joins (~falafel@ip70-173-59-40.lv.lv.cox.net)
2020-10-17 07:44:29 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-17 07:44:53 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-17 07:47:12 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 07:47:28 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-17 07:48:27 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 07:49:15 → chris joins (~chris@81.96.113.213)
2020-10-17 07:49:39 chris is now known as Guest12530
2020-10-17 07:50:48 × avdb quits (~avdb@ip-83-134-26-198.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-17 07:51:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-17 07:51:21 → Guest91452 joins (~samuel@223.166.32.19)
2020-10-17 07:52:19 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-17 07:56:50 → avdb_ joins (~avdb@ip-83-134-26-198.dsl.scarlet.be)
2020-10-17 07:57:03 × Guest91452 quits (~samuel@223.166.32.19) (Quit: Leaving)
2020-10-17 07:58:18 × falafel quits (~falafel@ip70-173-59-40.lv.lv.cox.net) (Ping timeout: 260 seconds)
2020-10-17 08:00:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 08:00:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-17 08:04:15 → _ashbreeze_ joins (~mark@72-161-252-240.dyn.centurytel.net)
2020-10-17 08:04:58 hackage Z-IO 0.1.6.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.6.0 (winterland)
2020-10-17 08:05:40 × ashbreeze quits (~mark@72-161-252-240.dyn.centurytel.net) (Ping timeout: 256 seconds)
2020-10-17 08:05:58 hackage stm-queue 0.1.2.1 - An implementation of a real-time concurrent queue https://hackage.haskell.org/package/stm-queue-0.1.2.1 (sgschlesinger)
2020-10-17 08:08:52 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 08:10:08 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 08:11:08 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 08:11:11 × avdb_ quits (~avdb@ip-83-134-26-198.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-17 08:12:36 lep-delete is now known as Guest88073
2020-10-17 08:15:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-17 08:17:46 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-10-17 08:18:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-17 08:19:58 → cdepillabout joins (~cdepillab@pl35600.ag1001.nttpc.ne.jp)
2020-10-17 08:23:19 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
2020-10-17 08:23:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-17 08:23:38 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 08:28:58 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 272 seconds)
2020-10-17 08:29:23 × fragamus quits (~michaelgo@73.93.153.97) (Read error: Connection reset by peer)
2020-10-17 08:30:29 → SanchayanM joins (~Sanchayan@136.185.169.16)
2020-10-17 08:30:58 × Sanchayan quits (~Sanchayan@171.76.92.241) (Ping timeout: 260 seconds)
2020-10-17 08:31:35 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-17 08:32:12 → jneira_ joins (~jneira@80.30.100.250)
2020-10-17 08:33:26 → avdb joins (~avdb@ip-83-134-26-198.dsl.scarlet.be)
2020-10-17 08:34:01 × thir quits (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-17 08:34:14 → fragamus joins (~michaelgo@73.93.153.97)
2020-10-17 08:38:29 Guest88073 is now known as lep-delete
2020-10-17 08:42:35 → chaosmasttter joins (~chaosmast@p200300c4a710fa0165702c806d7b3e40.dip0.t-ipconnect.de)
2020-10-17 08:43:01 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-17 08:43:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 08:47:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-17 08:50:26 <tomsmeding> why does ghc, when giving me an error about an ambiguous type variable, not tell me where that type variable occurs?
2020-10-17 08:50:46 <tomsmeding> if that happens in a large expression it's less than helpful :p
2020-10-17 08:52:28 × drbean quits (~drbean@TC210-63-209-162.static.apol.com.tw) (Ping timeout: 246 seconds)
2020-10-17 08:56:28 hackage numhask-space 0.6.1 - numerical spaces https://hackage.haskell.org/package/numhask-space-0.6.1 (tonyday567)
2020-10-17 08:56:45 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-17 08:57:03 <Rembane> tomsmeding: Doesn't it? Do you have an example? :)
2020-10-17 08:57:06 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-17 08:57:19 <tomsmeding> well I have a huge one :p
2020-10-17 08:57:48 × Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 256 seconds)
2020-10-17 08:59:02 <tomsmeding> Rembane: https://paste.tomsmeding.com/oKOtSj3l
2020-10-17 08:59:56 <Rembane> tomsmeding: Yeah, that's not small, what would GHC say if you had your way?
2020-10-17 09:00:01 × agrajag` quits (~agrajag`@104.254.90.195) ()
2020-10-17 09:00:21 <tomsmeding> well presumably it's trying to help me by saying "the constraint (Elt x00)"
2020-10-17 09:01:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-17 09:01:09 <tomsmeding> if the x00 would occur somewhere else in a larger type too, then I'd like it to print the entire type (just "Elt x00" tells me nothing about where this x00 comes from)
2020-10-17 09:01:17 <tomsmeding> but now I realise that perhaps it _only_ occurs in this constraint
2020-10-17 09:02:09 <Rembane> I think it only exists in this constraint
2020-10-17 09:02:35 <tomsmeding> but in that case it would be nice if it said that this type variable occurs _only_ in a constraint -- because that particular situation is something you never want anyway, I think
2020-10-17 09:02:45 <tomsmeding> also that would be weird
2020-10-17 09:02:53 <tomsmeding> given the code, let me see if I can distill a smaller case
2020-10-17 09:03:10 <Rembane> Sounds like a good approach
2020-10-17 09:03:28 hackage hw-json 1.3.2.2 - Memory efficient JSON parser https://hackage.haskell.org/package/hw-json-1.3.2.2 (haskellworks)
2020-10-17 09:05:00 <nshepperd> arising from a use of zipWith? is this some sort of nontraditional exotic zipWith? not the list one
2020-10-17 09:05:31 <tomsmeding> it certainly is :)
2020-10-17 09:06:17 → Jonkimi727406120 joins (~Jonkimi@223.213.79.20)
2020-10-17 09:06:30 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 09:06:40 <nshepperd> i think you'll find that type variable occurs in the type of your exotic zipWith
2020-10-17 09:06:48 <nshepperd> in that case
2020-10-17 09:07:23 → tito_04 joins (~taurux@net-93-144-13-212.cust.vodafonedsl.it)
2020-10-17 09:07:26 × taurux quits (~taurux@net-93-144-64-237.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-17 09:07:38 <tomsmeding> nshepperd: true enough, but it has three Elt constraints: https://hackage.haskell.org/package/accelerate-1.3.0.0/docs/Data-Array-Accelerate.html#v:zipWith
2020-10-17 09:07:49 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 09:07:49 <tomsmeding> so basically my point is: constraint "Elt x00", okay, _WHICH_ Elt :p
2020-10-17 09:10:02 <tomsmeding> ah there is a different case, look at this: https://paste.tomsmeding.com/b8b4SRuW
2020-10-17 09:10:08 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 272 seconds)
2020-10-17 09:10:34 <tomsmeding> look at it giving a _different_ binding than what the problematic type variable occurs in, showing that indeed the variable occurs outside of the constraint
2020-10-17 09:10:42 → jneira_ joins (~jneira@111.red-176-83-68.dynamicip.rima-tde.net)
2020-10-17 09:10:44 <tomsmeding> (note a40f != a40)
2020-10-17 09:11:35 <tomsmeding> now I guess I'd like to see the type of a40f with that type variable x10 shown where it occurs (because it must; a40 is defined fairly trivially in terms of a40f)
2020-10-17 09:12:28 <tomsmeding> (indeed now I know it's that particular tuple element, I know how to solve it :p)
2020-10-17 09:13:23 <nshepperd> yeah i guess it would be nice if it printed the type signature of zipWith with the ambiguous variable highlighted or something
2020-10-17 09:13:46 <Rembane> I wonder if there's an issue on the GHC bug tracker about this, or if it's worth posting one.
2020-10-17 09:13:55 <tomsmeding> precisely (though highlighting is not even the primary concern :p)
2020-10-17 09:14:17 → plast1k_ joins (~plast1k_@196.207.181.246)
2020-10-17 09:14:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 09:18:51 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-17 09:20:36 <Rembane> Yeah, it's an x/y one. :)
←Prev  Next→
Page 1 .. 692 693 694 695 696 697 698 699 700 701 702 .. 5022

All times are in UTC.