Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 356 357 358 359 360 361 362 363 364 365 366 .. 5022
— 502,152 events total
2020-10-01 21:28:25 <nshepperd> > let don't replicate a = [a] in don't replicate "this"
2020-10-01 21:28:27 <lambdabot> ["this"]
2020-10-01 21:28:34 <nshepperd> perfect
2020-10-01 21:30:38 → LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-01 21:31:58 × fendor quits (~fendor@178.115.131.145.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-01 21:32:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-01 21:34:10 → Franciman joins (~francesco@host-212-171-42-250.pool212171.interbusiness.it)
2020-10-01 21:35:41 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-01 21:37:51 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-10-01 21:39:16 → argent0 joins (~argent0@168.227.97.5)
2020-10-01 21:39:23 <jackdk> > let don't m = pure () in don't $ do { putStrLn "hahaha" }
2020-10-01 21:39:25 <lambdabot> error:
2020-10-01 21:39:26 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M453378805249...
2020-10-01 21:39:26 <lambdabot> prevents the constraint ‘(Show (f0 ()))’ from being solved.
2020-10-01 21:39:52 <jackdk> ah well. anyway, https://hackage.haskell.org/package/acme-dont exists
2020-10-01 21:40:39 × knupfer quits (~Thunderbi@i59F7FFF3.versanet.de) (Ping timeout: 256 seconds)
2020-10-01 21:40:41 → bitmagie joins (~Thunderbi@200116b806edc300f80afde6120444f9.dip.versatel-1u1.de)
2020-10-01 21:41:08 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-10-01 21:41:33 → todda7 joins (~torstein@athedsl-4367507.home.otenet.gr)
2020-10-01 21:41:48 <monochrom> If you have an "asType1Of :: m x -> m ()", then you can solve the ambiguous type error by: let don't m = pure () `asType1Of` m in don't (putStrLn "hahah")
2020-10-01 21:42:28 <monochrom> err, asType1Of :: m a -> m x -> m a; asType1Of = const
2020-10-01 21:42:31 <beka> anyone happen to know how to use megaparsec's indent parsing w/ try? it seems like if i put the try just around the keywords that indicate the start of a syntactic construct with whitespace sensitivity, then the parser gets stuck because the indentation stuff blocks backtracking, but if i put it around the intendation stuff as well, then the whole thing can fail because of failures internal to the construct that shouldn't be backtrackable
2020-10-01 21:43:11 <beka> ive considered moving the keyword pard outside the indentation component but i think that will just make it not track the indentation correctly?? i dont know
2020-10-01 21:45:47 × todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 240 seconds)
2020-10-01 21:50:08 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 21:51:53 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-01 21:52:04 → fajro joins (~fajro@193.56.252.210)
2020-10-01 21:53:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-01 21:54:11 × xcmw quits (~textual@dyn-72-33-0-89.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 21:55:04 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Remote host closed the connection)
2020-10-01 21:55:06 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-01 21:59:29 <hololeap> rofl: https://todo.sr.ht/~jack/acme-dont/2
2020-10-01 21:59:47 <hololeap> this is cutting edge stuff
2020-10-01 22:02:26 <hololeap> now if there is code that i never want to use, it no longer has to stay unwritten
2020-10-01 22:04:40 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-01 22:04:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-01 22:05:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 22:05:49 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-01 22:06:00 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 256 seconds)
2020-10-01 22:06:05 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-01 22:06:47 × madjestic quits (~madjestic@86.88.72.244) (Ping timeout: 240 seconds)
2020-10-01 22:08:29 → urdh joins (~urdh@unaffiliated/urdh)
2020-10-01 22:08:47 → st8less joins (~st8less@2603:a060:11fd:0:6883:ccc4:e325:916a)
2020-10-01 22:10:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-01 22:11:01 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 22:11:39 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 22:11:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-01 22:14:21 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-10-01 22:14:39 → alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-zctlkjvmpqfdbdtm)
2020-10-01 22:14:49 → systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2020-10-01 22:15:52 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-10-01 22:16:31 × xcmw quits (~textual@dyn-72-33-0-89.uwnet.wisc.edu) (Client Quit)
2020-10-01 22:20:05 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-01 22:20:52 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-01 22:22:35 × bitmagie quits (~Thunderbi@200116b806edc300f80afde6120444f9.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-01 22:22:40 × systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection)
2020-10-01 22:22:47 × motersen quits (~user@2001-4dd5-8af-0-fa3b-a793-4066-cc15.ipv6dyn.netcologne.de) (Ping timeout: 240 seconds)
2020-10-01 22:24:03 × thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.7.1 - https://znc.in)
2020-10-01 22:25:03 → thaumavorio joins (~thaumavor@thaumavor.io)
2020-10-01 22:26:27 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2020-10-01 22:27:15 × o1lo01ol_ quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2020-10-01 22:28:00 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-10-01 22:32:13 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:ec62:ae19:dbca:1ba7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 22:32:34 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 258 seconds)
2020-10-01 22:33:02 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-01 22:33:13 → inkbottle joins (~inkbottle@aaubervilliers-654-1-117-166.w86-198.abo.wanadoo.fr)
2020-10-01 22:33:23 × zebrag quits (~inkbottle@aaubervilliers-654-1-113-44.w86-198.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-01 22:36:38 × taurux quits (~taurux@net-188-216-0-240.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-01 22:37:39 → taurux joins (~taurux@net-188-216-115-55.cust.vodafonedsl.it)
2020-10-01 22:42:16 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-01 22:42:41 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-01 22:42:47 <koz_> Is there a combinator to apply parser p as many times as possible, but not more than n times?
2020-10-01 22:43:03 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-01 22:43:07 <koz_> (megaparsec in case it matters what kind of parser)
2020-10-01 22:45:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 22:46:29 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-01 22:48:26 <koz_> Sorry, more specifically: given a parser p, and a number n, apply at least once, and as many times as possible, up to a maximum of n times, collect into a list.
2020-10-01 22:48:38 <koz_> If an application fails due to anything other than EOF, blow up.
2020-10-01 22:48:41 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 265 seconds)
2020-10-01 22:50:25 <koz_> OK, count' works apparently.
2020-10-01 22:50:47 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-01 22:52:47 × st8less quits (~st8less@2603:a060:11fd:0:6883:ccc4:e325:916a) (Ping timeout: 240 seconds)
2020-10-01 22:54:25 × qzo quits (~qzo@c-73-229-59-252.hsd1.co.comcast.net) (Ping timeout: 240 seconds)
2020-10-01 22:57:07 → qzo joins (~qzo@c-73-229-59-252.hsd1.co.comcast.net)
2020-10-01 23:01:39 → polyrain joins (~polyrain@2001:8003:640b:b900:58f5:a1c1:c514:8c13)
2020-10-01 23:03:27 × mirrorbird quits (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f) (Ping timeout: 272 seconds)
2020-10-01 23:03:40 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 265 seconds)
2020-10-01 23:04:25 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 240 seconds)
2020-10-01 23:05:04 × Franciman quits (~francesco@host-212-171-42-250.pool212171.interbusiness.it) (Quit: Leaving)
2020-10-01 23:05:09 × polyrain quits (~polyrain@2001:8003:640b:b900:58f5:a1c1:c514:8c13) (Client Quit)
2020-10-01 23:06:37 → mirrorbird joins (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f)
2020-10-01 23:06:43 → cosimone joins (~cosimone@5.171.24.137)
2020-10-01 23:06:57 × whiteline quits (~whiteline@unaffiliated/whiteline) (Ping timeout: 244 seconds)
2020-10-01 23:07:52 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-01 23:08:10 → shatriff joins (~vitaliish@haunt.prize.volia.net)
2020-10-01 23:08:21 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-10-01 23:10:52 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-01 23:11:52 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-10-01 23:11:58 hackage wai-middleware-static 0.9.0 - WAI middleware that serves requests to static files. https://hackage.haskell.org/package/wai-middleware-static-0.9.0 (ryanglscott)
2020-10-01 23:12:42 <koz_> Is there something equivalent to 'maybe empty pure'?
←Prev  Next→
Page 1 .. 356 357 358 359 360 361 362 363 364 365 366 .. 5022

All times are in UTC.