Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-02 10:31:39 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 245 seconds)
2021-04-02 10:32:05 Alleria joins (~textual@mskresolve-a.mskcc.org)
2021-04-02 10:32:28 Alleria is now known as Guest80407
2021-04-02 10:33:58 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-02 10:34:08 <romesrf> can anyone help me with Parsec? I'm writing a lambda calculus parser and im trying to fix something with chainl1 but not being able to do it
2021-04-02 10:35:13 <Rembane> romesrf: Pastebin the smallest, non-working example and it will be easier for us to help you. :)
2021-04-02 10:35:24 <Rembane> romesrf: https://paste.tomsmeding.com/ <- I recommend this one
2021-04-02 10:35:36 <romesrf> :)
2021-04-02 10:36:16 alexelcu joins (~alexelcu@142.93.180.198)
2021-04-02 10:37:31 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 10:39:15 zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 10:40:34 <romesrf> perhaps this is illustrative, i wrote some short comments explaining my problem, but i can explain it better if needed :)
2021-04-02 10:40:35 <romesrf> https://paste.tomsmeding.com/babCWSGQ
2021-04-02 10:40:39 gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-02 10:41:41 anandprabhu joins (~anandprab@94.203.250.121)
2021-04-02 10:42:11 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-02 10:43:26 × alexelcu quits (~alexelcu@142.93.180.198) (Remote host closed the connection)
2021-04-02 10:43:35 xiinotulp joins (~q@ppp-27-55-65-96.revip3.asianet.co.th)
2021-04-02 10:45:31 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-02 10:45:41 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-04-02 10:47:01 <romesrf> im still very unexperienced with haskell :), the wording of the question might be a bit weird
2021-04-02 10:47:02 × plutoniix quits (~q@ppp-223-24-155-53.revip6.asianet.co.th) (Ping timeout: 260 seconds)
2021-04-02 10:49:38 <mniip> how do I use `alaf` with a custom newtype?
2021-04-02 10:53:24 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 10:54:18 <mniip> % data D x = C x deriving stock (GHC.Generics.Generic) deriving anyclass (Wrapped)
2021-04-02 10:54:18 <yahb> mniip: ; <interactive>:48:73: error:; * Could not deduce (Profunctor p0) arising from the 'deriving' clause of a data type declaration; from the context: (Profunctor p, Functor f) bound by the deriving clause for `Wrapped (D x)' at <interactive>:48:73-79; The type variable `p0' is ambiguous; These potential instances exist:; instance Monad m => Profunctor (Kleisli m) -- Defined in
2021-04-02 10:54:27 <mniip> looks like I'm doing it wrong
2021-04-02 10:56:04 <mniip> seems to work with _Wrapped' = coerced
2021-04-02 10:58:00 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-02 10:58:26 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 10:58:47 Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it)
2021-04-02 10:59:41 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-02 11:01:06 son0p joins (~son0p@181.58.39.182)
2021-04-02 11:01:46 ericsagn1 joins (~ericsagne@2405:6580:0:5100:a872:2684:1e7e:5b64)
2021-04-02 11:02:13 Guest_1 joins (50e9336c@80.233.51.108)
2021-04-02 11:02:18 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-04-02 11:02:42 hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 11:03:09 × ericsagnes quits (~ericsagne@2405:6580:0:5100:cd2f:1fbd:8893:b1fd) (Ping timeout: 246 seconds)
2021-04-02 11:03:45 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 11:04:08 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 11:05:09 peanut_ joins (~peanut_@2a02:8388:a101:2600:878f:d4f3:897a:b4b0)
2021-04-02 11:07:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-02 11:08:28 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:08:46 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 11:09:00 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 11:10:38 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-02 11:11:31 idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 11:13:24 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-02 11:14:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 11:14:20 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:15:57 v01d4lph4 joins (~v01d4lph4@223.190.20.92)
2021-04-02 11:17:38 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 11:19:39 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-02 11:20:29 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:21:19 DavidEichmann joins (~david@47.27.93.209.dyn.plus.net)
2021-04-02 11:22:06 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:5243:c3c3:53a1:2d62)
2021-04-02 11:25:04 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 11:25:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 11:26:21 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:27:25 × bitmagie quits (~Thunderbi@200116b806b3d300e5607f55ad4ccacb.dip.versatel-1u1.de) (Quit: bitmagie)
2021-04-02 11:28:32 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds)
2021-04-02 11:28:38 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-02 11:29:03 nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 11:30:10 × Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving)
2021-04-02 11:31:11 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-02 11:31:26 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds)
2021-04-02 11:31:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 11:31:50 solvr joins (57e3c46d@87.227.196.109)
2021-04-02 11:32:12 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:33:24 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 11:35:46 × totte quits (~totte@chakra/totte) (Ping timeout: 240 seconds)
2021-04-02 11:37:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 11:37:27 totte joins (~totte@chakra/totte)
2021-04-02 11:37:45 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:38:13 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-02 11:38:21 × average quits (uid473595@gateway/web/irccloud.com/x-wwdbavuosvjdgwrm) (Quit: Connection closed for inactivity)
2021-04-02 11:39:59 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 11:40:33 ADG1089 joins (~aditya@106.214.245.108)
2021-04-02 11:40:52 <ADG1089> Is there any tool to visualize *.prof files?
2021-04-02 11:43:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 11:43:26 <Uniaika> ADG1089: the tears in your eyes make an exellent lens
2021-04-02 11:43:28 <Uniaika> :P
2021-04-02 11:44:02 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:44:29 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-02 11:46:05 <ADG1089> >:-(
2021-04-02 11:46:08 <nut> How to pattern match on vectors? (x:x) is for list
2021-04-02 11:46:19 <nut> I mean x:xs
2021-04-02 11:47:05 <ADG1089> nut: probably not possible
2021-04-02 11:53:55 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-02 11:54:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-02 11:55:25 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:55:49 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 11:56:59 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-04-02 11:57:33 andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2021-04-02 11:58:47 liyang joins (~liyang@90.253.54.54)
2021-04-02 11:59:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 12:00:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 12:00:25 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 12:01:17 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 12:02:45 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)

All times are in UTC.