Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4818 4819 4820 4821 4822 4823 4824 4825 4826 4827 4828 .. 5022
— 502,152 events total
2021-05-10 18:52:54 × landonf quits (landonf@mac68k.info) (Excess Flood)
2021-05-10 18:52:55 <Andriamanitra> ah i see, so that's like pattern matching the result of "lex s1", and the reason lex is needed is that s1=="" wouldn't allow trailing whitespace?
2021-05-10 18:53:08 <ski> yes
2021-05-10 18:53:08 → landonf joins (landonf@mac68k.info)
2021-05-10 18:53:18 × carlomagno1 quits (~cararell@148.87.23.12) (Remote host closed the connection)
2021-05-10 18:53:18 → coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-10 18:53:24 <Andriamanitra> thanks for the explanation
2021-05-10 18:53:27 → carlomagno joins (~cararell@148.87.23.12)
2021-05-10 18:53:37 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 18:53:57 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 18:53:59 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-10 18:54:34 × idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-05-10 18:54:52 <ski> (of course, perhaps you'd prefer not allowing trailing whitespace as well. but `reads' already does support initial whitespace, so it seems reasonable to support trailing here, for a function like `readMaybe' that's intended to be used on the "top-level" of parsing, not as a component of further parsing)
2021-05-10 18:56:07 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 18:56:17 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-10 18:56:37 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-05-10 18:57:59 <ski> (`reads' itself, otoh, is intended to be possible to "chain" with other uses of `reads' (or `readsPrec'), e.g. if making an instance of `Read' by hand (something which only rarely is a reasonable thing to do) -- and therefore it would seem useless for `reads' itself to eat trailing whitespace, since the next `reads' will consume it anyway ..)
2021-05-10 18:59:33 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 18:59:51 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 19:00:18 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 19:00:50 → dpl_ joins (~dpl@77-121-78-163.chn.volia.net)
2021-05-10 19:01:37 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 19:01:57 hackage io-streams 1.5.2.1 - Simple, composable, and easy-to-use stream I/O https://hackage.haskell.org/package/io-streams-1.5.2.1 (DougBeardsley)
2021-05-10 19:02:00 → carlomagno1 joins (~cararell@148.87.23.12)
2021-05-10 19:02:17 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2021-05-10 19:02:38 → ystael joins (~ystael@60.sub-174-242-64.myvzw.com)
2021-05-10 19:03:32 → gitgood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com)
2021-05-10 19:03:37 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-10 19:04:08 × carlomagno quits (~cararell@148.87.23.12) (Ping timeout: 246 seconds)
2021-05-10 19:07:22 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-10 19:07:39 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-10 19:08:12 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-05-10 19:08:13 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-10 19:08:13 → mouseghost joins (~draco@wikipedia/desperek)
2021-05-10 19:10:59 → howdoi joins (uid224@gateway/web/irccloud.com/x-myfgsmhxtksfsmql)
2021-05-10 19:14:15 → dcompoze joins (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net)
2021-05-10 19:15:41 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-10 19:15:58 → pavonia joins (~user@unaffiliated/siracusa)
2021-05-10 19:16:31 × carlomagno1 quits (~cararell@148.87.23.12) (Remote host closed the connection)
2021-05-10 19:16:39 → carlomagno joins (~cararell@148.87.23.12)
2021-05-10 19:16:59 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-10 19:17:29 × dcompoze_ quits (~dcompoze@5E98D6D9.static.tld.pl) (Ping timeout: 260 seconds)
2021-05-10 19:18:53 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 19:20:55 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 19:22:27 hackage unicode-tricks 0.9.1.0 - Functions to work with unicode blocks more convenient. https://hackage.haskell.org/package/unicode-tricks-0.9.1.0 (wvanonsem90)
2021-05-10 19:24:45 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-10 19:24:55 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3975:4704:86d0:93dc) (Ping timeout: 260 seconds)
2021-05-10 19:25:25 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-05-10 19:26:26 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:26:44 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:26:48 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 19:27:38 × CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-10 19:29:30 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-10 19:31:06 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 19:31:28 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-05-10 19:32:08 × Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 246 seconds)
2021-05-10 19:32:52 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-10 19:33:30 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 19:36:18 → usr25 joins (~J@71.red-83-50-211.dynamicip.rima-tde.net)
2021-05-10 19:36:41 → poljar joins (~poljar@78-3-21-158.adsl.net.t-com.hr)
2021-05-10 19:37:58 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 19:39:37 × poljar1 quits (~poljar@93-143-164-44.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-05-10 19:40:07 × kuribas quits (~user@ptr-25vy0i925fk04q1dztp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-10 19:40:36 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 19:40:57 → phaul joins (~phaul@ruby/staff/phaul)
2021-05-10 19:43:25 × frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving)
2021-05-10 19:43:33 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 19:43:43 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-10 19:45:04 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-10 19:45:30 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:45:42 → nineonine joins (~nineonine@50.216.62.2)
2021-05-10 19:45:48 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-05-10 19:45:49 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:47:23 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 19:48:46 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-10 19:50:20 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-10 19:52:06 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-10 19:53:13 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-10 19:54:15 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 19:54:16 × ystael quits (~ystael@60.sub-174-242-64.myvzw.com) (Read error: Connection reset by peer)
2021-05-10 19:55:39 → minoru_shiraeesh joins (~shiraeesh@109.166.58.80)
2021-05-10 19:57:26 × m_shiraeeshi quits (~shiraeesh@46.34.206.81) (Ping timeout: 240 seconds)
2021-05-10 19:59:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-10 20:01:01 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-10 20:01:29 → kenran joins (~kenran@mue-88-130-62-246.dsl.tropolys.de)
2021-05-10 20:02:11 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 20:03:11 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-10 20:03:42 → Shuppiluliuma joins (~shuppilul@153.33.68.161)
2021-05-10 20:04:41 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 20:05:33 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-10 20:05:48 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-10 20:07:20 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-10 20:08:50 → eacameron joins (uid256985@gateway/web/irccloud.com/x-ysloaedovjwjllrg)
2021-05-10 20:08:51 → petersen joins (~petersen@redhat/juhp)
2021-05-10 20:09:34 × xff0x quits (~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e) (Ping timeout: 245 seconds)
2021-05-10 20:10:22 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 20:10:28 → xff0x joins (~xff0x@2001:1a81:53c1:c00:d3cf:b4c5:fad:7731)
2021-05-10 20:12:53 → stree joins (~stree@68.36.8.116)
2021-05-10 20:14:41 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 20:16:46 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
←Prev  Next→
Page 1 .. 4818 4819 4820 4821 4822 4823 4824 4825 4826 4827 4828 .. 5022

All times are in UTC.