Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 .. 5022
— 502,152 events total
2021-03-15 20:37:19 <lambdabot> error:
2021-03-15 20:37:19 <lambdabot> • Couldn't match expected type ‘[a]’
2021-03-15 20:37:19 <lambdabot> with actual type ‘(b0 -> a0 -> b0) -> b0 -> t0 a0 -> b0’
2021-03-15 20:37:35 <epstein> > foldl (++) "" (repeat "Lube")
2021-03-15 20:37:39 → zceejkr joins (~wintermut@cpe-92-37-88-51.dynamic.amis.net)
2021-03-15 20:37:41 <lambdabot> mueval-core: Time limit exceeded
2021-03-15 20:38:04 <epstein> >foldr (++) (repeat "Lube") (++)
2021-03-15 20:38:13 <epstein> >foldr (++) (repeat "Lube") ""
2021-03-15 20:38:29 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 246 seconds)
2021-03-15 20:38:44 tomsmeding wonders if there is a moderator around
2021-03-15 20:38:57 ChanServ sets mode +q *!*@193.27.14.135
2021-03-15 20:39:16 <tomsmeding> thank you kind person!
2021-03-15 20:40:09 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-15 20:40:22 <hololeap> 🎉️
2021-03-15 20:41:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-15 20:41:59 <jess> hi epstein
2021-03-15 20:42:04 <jess> oh
2021-03-15 20:42:05 <jess> im late
2021-03-15 20:42:37 <Gurkenglas> @let overS f (S x) = S $ f x; eval :: (Int -> Int) -> VeryLazyNaturals -> VeryLazyNaturals; eval f = foldr (.) (overS $ eval $ subtract (f 0) . f . (+1)) $ replicate (f 0) S -- tomsmeding, this applies any monotonic Int function to a VeryLazyNatural :)
2021-03-15 20:42:39 <lambdabot> Defined.
2021-03-15 20:42:41 <__minoru__shirae> codygman`: whether resourcet is a source of error or not depends on whether it runs the freeing function in response to an async exception, and also depends on what is written in that freeing function
2021-03-15 20:43:01 → ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-03-15 20:43:03 → Tene joins (~tene@mail.digitalkingdom.org)
2021-03-15 20:43:03 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2021-03-15 20:43:03 → Tene joins (~tene@poipu/supporter/slacker/tene)
2021-03-15 20:44:47 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-03-15 20:46:43 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 245 seconds)
2021-03-15 20:47:36 → dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net)
2021-03-15 20:47:53 → aarvar joins (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb)
2021-03-15 20:48:48 <tomsmeding> Gurkenglas: for which 'f' is 'eval f x' not equal to 'iterate S x !! f 0'
2021-03-15 20:49:08 → todda7 joins (~torstein@2a02:587:1b10:ea00:db5:2d40:d00d:cce4)
2021-03-15 20:49:12 <tomsmeding> (assuming we're only talking about functions 'f' that map naturals to naturals)
2021-03-15 20:49:17 × tsaka__ quits (~torstein@ppp-2-87-239-251.home.otenet.gr) (Read error: Connection reset by peer)
2021-03-15 20:49:36 × supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-03-15 20:49:36 → ByteEater joins (57cd846a@gateway/web/cgi-irc/kiwiirc.com/ip.87.205.132.106)
2021-03-15 20:52:11 <Gurkenglas> (actually that eval is slightly wrong but not in the way you say, lemme fix)
2021-03-15 20:54:22 <hololeap> this seems messed up as far as the docs and the links. publishing didn't seem to help: https://hackage.haskell.org/package/unlift-stm-0.1.0.0
2021-03-15 20:54:38 <hololeap> i'd appreciate any help
2021-03-15 20:54:39 → pincel joins (~pyon@unaffiliated/pyon)
2021-03-15 20:56:02 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-15 20:56:41 <hololeap> if anyone missed the context, this is my first upload to hackage and the docs and links were messed up in the candidate version. geekosaur seemed to think the docs would be built once it was fully published
2021-03-15 20:56:45 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (*.net *.split)
2021-03-15 20:56:45 × ent quits (entgod@kapsi.fi) (*.net *.split)
2021-03-15 20:56:45 × oleks quits (~oleks@188.166.34.97) (*.net *.split)
2021-03-15 20:56:45 × gekh09 quits (~gkh@thor.kevinhill.nl) (*.net *.split)
2021-03-15 20:56:45 × styledash quits (~styledash@157.230.173.136) (*.net *.split)
2021-03-15 20:56:45 × frozen_burnman_ quits (~frozen_bu@80-90-135-76.static.oxid.cz) (*.net *.split)
2021-03-15 20:56:45 × LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (*.net *.split)
2021-03-15 20:56:45 × dhil quits (~dhil@80.208.56.181) (*.net *.split)
2021-03-15 20:56:45 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (*.net *.split)
2021-03-15 20:56:45 × cheater quits (~user@unaffiliated/cheater) (*.net *.split)
2021-03-15 20:56:45 × sudden quits (~lax@unaffiliated/laxask) (*.net *.split)
2021-03-15 20:56:45 × quaestor quits (~quaestor@griffith.christophrauch.de) (*.net *.split)
2021-03-15 20:56:45 × wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-03-15 20:56:45 × energizer quits (~energizer@unaffiliated/energizer) (*.net *.split)
2021-03-15 20:56:45 × cohn quits (~noone@unaffiliated/cohn) (*.net *.split)
2021-03-15 20:56:45 × chindy_ quits (~quassel@51.15.63.78) (*.net *.split)
2021-03-15 20:56:45 × dminuoso quits (~dminuoso@unaffiliated/dminuoso) (*.net *.split)
2021-03-15 20:56:45 × ptrcmd_ quits (~ptrcmd@unaffiliated/petercommand) (*.net *.split)
2021-03-15 20:56:45 × dddddd quits (~dddddd@unaffiliated/dddddd) (*.net *.split)
2021-03-15 20:56:45 × Logio quits (em@kapsi.fi) (*.net *.split)
2021-03-15 20:56:45 × DustyDingo quits (~nonamen@v2202001112302107134.ultrasrv.de) (*.net *.split)
2021-03-15 20:56:45 × Aleksejs quits (~Aleksejs@haskell.lv) (*.net *.split)
2021-03-15 20:56:45 × a3Dman quits (~3Dman@unaffiliated/a3dman) (*.net *.split)
2021-03-15 20:56:45 × averell quits (~averell@unaffiliated/averell) (*.net *.split)
2021-03-15 20:56:45 × TMA quits (tma@twin.jikos.cz) (*.net *.split)
2021-03-15 20:56:45 × Sparad0x quits (~etienne@ns3123347.ip-51-68-152.eu) (*.net *.split)
2021-03-15 20:56:45 × maerwald quits (~maerwald@mail.hasufell.de) (*.net *.split)
2021-03-15 20:56:45 × arw quits (~arw@impulse.informatik.uni-erlangen.de) (*.net *.split)
2021-03-15 20:56:45 × chrisosa1rus quits (chris@segfault.net.nz) (*.net *.split)
2021-03-15 20:56:45 × brettgilio_ quits (~brettgili@brettgilio.com) (*.net *.split)
2021-03-15 20:56:45 × ahri quits (~ahri@178.209.40.84) (*.net *.split)
2021-03-15 20:56:45 × leothrix quits (~leothrix@elastic/staff/leothrix) (*.net *.split)
2021-03-15 20:56:45 × absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2021-03-15 20:56:45 × M2tias quits (m2@seri.fi) (*.net *.split)
2021-03-15 20:56:45 × bcoppens quits (~bartcopp@kde/coppens) (*.net *.split)
2021-03-15 20:56:45 × connrs_ quits (~connrs@runciter.connrs.uk) (*.net *.split)
2021-03-15 20:56:45 × sea-gull quits (~sea-gull@li1815-136.members.linode.com) (*.net *.split)
2021-03-15 20:56:45 × tristanC quits (~tristanC@unaffiliated/tristanc) (*.net *.split)
2021-03-15 20:56:45 × adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-03-15 20:56:45 × hwabyong quits (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (*.net *.split)
2021-03-15 20:56:45 × eldritch quits (~eldritch@unaffiliated/eldritch) (*.net *.split)
2021-03-15 20:56:45 × crtschin quits (~crtschin@104.131.9.149) (*.net *.split)
2021-03-15 20:56:45 × dilinger quits (~dilinger@spindle.queued.net) (*.net *.split)
2021-03-15 20:56:45 × sdx23 quits (~sdx23@unaffiliated/sdx23) (*.net *.split)
2021-03-15 20:56:45 × blackdog quits (~blackdog@198.211.112.85) (*.net *.split)
2021-03-15 20:56:45 × iptq quits (~michael@142.93.75.170) (*.net *.split)
2021-03-15 20:56:45 × joeytwiddle quits (~joeytwidd@162.243.115.31) (*.net *.split)
2021-03-15 20:56:45 × mantovani quits (~mantovani@104.131.207.121) (*.net *.split)
2021-03-15 20:56:45 × xe4 quits (~xe4@157.245.246.119) (*.net *.split)
2021-03-15 20:56:45 × Uniaika quits (~uniaika@163.172.211.189) (*.net *.split)
2021-03-15 20:56:45 × amosbird quits (~amosbird@13.75.119.182) (*.net *.split)
2021-03-15 20:56:45 × mjrosenb quits (~mrosenbe@nyc.schrodinger.com) (*.net *.split)
2021-03-15 20:56:45 × geal quits (~geal@195-154-200-217.rev.poneytelecom.eu) (*.net *.split)
2021-03-15 20:56:45 × electrocat quits (~michiel@revan.derhaeg.be) (*.net *.split)
2021-03-15 20:56:45 × anderson quits (~ande@159.65.95.130) (*.net *.split)
2021-03-15 20:56:45 × deni quits (~deni@unaffiliated/deni) (*.net *.split)
2021-03-15 20:56:45 × Eliel quits (~jojkaart@163.172.153.251) (*.net *.split)
2021-03-15 20:57:05 <tomsmeding> hololeap: it says "Docs pending" under status; perhaps patience is in order?
2021-03-15 20:57:16 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
←Prev  Next→
Page 1 .. 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 .. 5022

All times are in UTC.