Logs: freenode/#haskell
| 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.