Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 .. 18030
— 1,802,966 events total
2021-07-18 15:34:58 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-18 15:35:11 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-18 15:35:52 → Deide joins (~Deide@217.155.19.23)
2021-07-18 15:35:52 × Deide quits (~Deide@217.155.19.23) (Changing host)
2021-07-18 15:35:52 → Deide joins (~Deide@user/deide)
2021-07-18 15:36:19 → Guest9 joins (~Guest9@103.240.169.111)
2021-07-18 15:36:52 RemiYuko is now known as AkechiShiro
2021-07-18 15:37:17 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c)
2021-07-18 15:37:37 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-18 15:41:31 → keutoi joins (~keutoi@223.237.21.130)
2021-07-18 15:42:05 → zmt00 joins (~zmt00@user/zmt00)
2021-07-18 15:43:39 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
2021-07-18 15:43:50 → cheater joins (~Username@user/cheater)
2021-07-18 15:48:46 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-18 15:48:56 × xff0x_ quits (~xff0x@2001:1a81:525b:ea00:8ac3:8abd:f864:c680) (Ping timeout: 255 seconds)
2021-07-18 15:49:23 → zcombinator joins (~zcombinat@host-79-33-75-218.retail.telecomitalia.it)
2021-07-18 15:49:53 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-18 15:49:58 → xff0x_ joins (~xff0x@2001:1a81:525b:ea00:e4bc:612d:f531:cac7)
2021-07-18 15:53:28 × keutoi quits (~keutoi@223.237.21.130) (Quit: leaving)
2021-07-18 15:53:29 → hololeap joins (~hololeap@user/hololeap)
2021-07-18 15:54:09 × NieDzejkob quits (~quassel@195.149.98.3) (Quit: No Ping reply in 180 seconds.)
2021-07-18 15:55:28 → NieDzejkob joins (~quassel@195.149.98.3)
2021-07-18 15:55:28 × chomwitt quits (~Pitsikoko@athedsl-32487.home.otenet.gr) (Ping timeout: 258 seconds)
2021-07-18 15:57:26 × zcombinator quits (~zcombinat@host-79-33-75-218.retail.telecomitalia.it) (Quit: WeeChat 3.2)
2021-07-18 15:59:10 → burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-18 15:59:10 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-18 16:00:58 → Tisoxin joins (~ikosit@user/ikosit)
2021-07-18 16:01:19 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-18 16:02:34 → niemand joins (~niemand@p2e52f785.dip0.t-ipconnect.de)
2021-07-18 16:03:49 → slycelote_ joins (~slycelote@user/slycelote)
2021-07-18 16:03:54 × Guest9 quits (~Guest9@103.240.169.111) (Ping timeout: 258 seconds)
2021-07-18 16:04:30 × slycelote quits (~slycelote@user/slycelote) (Ping timeout: 255 seconds)
2021-07-18 16:04:32 × niemand quits (~niemand@p2e52f785.dip0.t-ipconnect.de) (Client Quit)
2021-07-18 16:04:55 × burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-18 16:05:30 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-18 16:10:15 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 265 seconds)
2021-07-18 16:11:04 → econo joins (uid147250@user/econo)
2021-07-18 16:12:47 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-18 16:13:23 → TranquilEcho joins (~grom@user/tranquilecho)
2021-07-18 16:13:44 × hseg quits (~gesh@185.120.126.10) (Ping timeout: 252 seconds)
2021-07-18 16:13:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-18 16:13:54 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-18 16:13:57 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-18 16:14:08 × Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds)
2021-07-18 16:15:17 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-18 16:15:43 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-07-18 16:17:03 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-18 16:18:10 → ph88^ joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de)
2021-07-18 16:18:44 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-07-18 16:18:48 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-18 16:19:36 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-18 16:22:02 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-18 16:22:03 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) (Ping timeout: 255 seconds)
2021-07-18 16:22:26 → Guest9 joins (~Guest9@103.250.139.40)
2021-07-18 16:23:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-18 16:24:17 × dajoer quits (~david@user/gvx) (Quit: leaving)
2021-07-18 16:26:12 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds)
2021-07-18 16:27:06 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-18 16:30:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-18 16:30:31 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-07-18 16:31:25 → Guest31 joins (~Guest31@76-236-222-208.lightspeed.tukrga.sbcglobal.net)
2021-07-18 16:32:19 <Guest31> can someone help me understand how case works?
2021-07-18 16:32:24 <Guest31> myTakeWhileFold condition xs = foldr step [] xs
2021-07-18 16:32:24 <Guest31> where step x y = case condition y of
2021-07-18 16:32:25 <Guest31> True -> x ++ y
2021-07-18 16:32:25 <Guest31> False -> x
2021-07-18 16:33:32 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-18 16:33:50 <Guest31> I thought this would work, butI get an error at True
2021-07-18 16:34:39 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-18 16:35:02 <davean> well you need to give us a type signature or we have no idea what "condition" or "xs" are
2021-07-18 16:35:02 → lavaman joins (~lavaman@98.38.249.169)
2021-07-18 16:35:11 <davean> and you didn't give us the error
2021-07-18 16:36:11 <Guest31> myTakeWhileFold :: (a -> Bool) -> [a] -> [a]
2021-07-18 16:36:18 <Guest31> error: parse error on input ‘True’
2021-07-18 16:36:30 <davean> I expect you have an indentation error
2021-07-18 16:37:32 <Guest31> OK Ill check it out thanks
2021-07-18 16:39:06 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-18 16:39:46 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-07-18 16:41:23 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-18 16:42:24 → chris_ joins (~chris@81.96.113.213)
2021-07-18 16:42:47 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-18 16:43:53 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-18 16:44:47 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-18 16:45:54 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-18 16:46:08 <Guest31> that was it thanks davean
2021-07-18 16:46:28 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-18 16:46:43 × Null_A quits (~null_a@2601:645:8700:2290:a961:38e5:e25d:7cd0) (Read error: Connection reset by peer)
2021-07-18 16:47:17 → Null_A joins (~null_a@2601:645:8700:2290:a961:38e5:e25d:7cd0)
2021-07-18 16:47:25 <monochrom> This is why the line of "where" should contain nothing else.
2021-07-18 16:47:41 <geekosaur> it needs to be more indented than "step" with NonDecreasingIndentation, or than "case" without it, I think
2021-07-18 16:47:51 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-18 16:48:24 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-18 16:48:36 → agua joins (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87)
2021-07-18 16:49:12 <monochrom> The grammar is flexible in styles but some styles are misleading.
2021-07-18 16:50:39 <davean> I've never really gotten that where style
2021-07-18 16:51:18 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-18 16:51:18 × pesada quits (~agua@2804:18:44:17a3:1:0:2cdf:1514) (Ping timeout: 255 seconds)
2021-07-18 16:52:36 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-07-18 16:56:13 → chomwitt joins (~Pitsikoko@athedsl-32487.home.otenet.gr)
2021-07-18 16:57:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 .. 18030

All times are in UTC.