Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 .. 18030
— 1,802,996 events total
2021-07-19 03:11:42 <GeorgeArmani> • In the third argument of ‘foldl’, namely ‘xs’
2021-07-19 03:11:43 <GeorgeArmani> In the expression: foldl step False xs
2021-07-19 03:11:43 <GeorgeArmani> In an equation for ‘any'’:
2021-07-19 03:11:44 <GeorgeArmani> any' f xs
2021-07-19 03:11:44 <GeorgeArmani> = foldl step False xs
2021-07-19 03:11:45 <GeorgeArmani> where
2021-07-19 03:11:45 <GeorgeArmani> step acc (y : ys)
2021-07-19 03:11:46 <GeorgeArmani> | f y = True
2021-07-19 03:11:46 <GeorgeArmani> | otherwise = acc
2021-07-19 03:12:28 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-19 03:13:31 <geekosaur> please don't paste directly into the channel like that
2021-07-19 03:13:32 <Axman6> @where paste
2021-07-19 03:13:32 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-07-19 03:14:55 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-19 03:14:59 <geekosaur> but it's telling you that 'a' cannot at the same time be a Foldable over a list and an element of that list
2021-07-19 03:15:15 <GeorgeArmani> https://paste.tomsmeding.com/qsfDJyUC#file-1
2021-07-19 03:15:16 <Axman6> yeah take a close look at the type you've given any'
2021-07-19 03:15:18 <geekosaur> think about your type signature
2021-07-19 03:15:33 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-07-19 03:15:54 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds)
2021-07-19 03:18:15 <geekosaur> it may also be helpful to give step the type signature you think it should have
2021-07-19 03:18:30 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-19 03:19:23 → peterhil joins (~peterhil@mobile-access-b04801-219.dhcp.inet.fi)
2021-07-19 03:19:40 → wei2912 joins (~wei2912@112.199.250.21)
2021-07-19 03:24:01 × Guest152 quits (~acid@2a01:4f9:c010:898a::1) (Changing host)
2021-07-19 03:24:01 → Guest152 joins (~acid@user/acid)
2021-07-19 03:24:13 Guest152 is now known as acid
2021-07-19 03:26:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-07-19 03:26:39 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-07-19 03:26:41 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-19 03:27:01 × enemeth79 quits (uid309041@id-309041.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-19 03:30:00 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-19 03:33:40 → Null_A joins (~null_a@2601:645:8700:2290:5577:9a94:3b66:c39d)
2021-07-19 03:34:28 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-19 03:38:22 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-19 03:38:48 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-19 03:39:44 <GeorgeArmani> I'm really having a tough time sorting that out
2021-07-19 03:41:22 <geekosaur> what does the type "a" in your type signature represent?
2021-07-19 03:41:49 <geekosaur> remember that it's going to be the same type everywhere in that signature
2021-07-19 03:43:29 <GeorgeArmani> I think it should be a list every time its used?
2021-07-19 03:43:48 <geekosaur> is it in (a -> Bool)?
2021-07-19 03:44:45 × TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-07-19 03:47:05 <GeorgeArmani> ahhhh so should it be ------- any' :: (a -> Bool) -> [a] -> Bool
2021-07-19 03:47:15 <geekosaur> yes
2021-07-19 03:49:09 <geekosaur> I suspect from your original error that this will only fix one problem, though
2021-07-19 03:49:25 <GeorgeArmani> correct
2021-07-19 03:49:39 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds)
2021-07-19 03:50:45 <GeorgeArmani> In fact, I had that type signature originally but changed it to deal with this error https://paste.tomsmeding.com/ntGaaQnX
2021-07-19 03:51:42 <GeorgeArmani> Wait just putting [xs] like that worked
2021-07-19 03:52:05 <GeorgeArmani> https://paste.tomsmeding.com/qirkhcRw
2021-07-19 03:52:10 <GeorgeArmani> Im not sure why though
2021-07-19 03:53:26 × derelict quits (~derelict@user/derelict) (Ping timeout: 255 seconds)
2021-07-19 03:54:20 × aegon quits (~mike@174.127.249.180) (Remote host closed the connection)
2021-07-19 03:55:08 <GeorgeArmani> I get it now. Thanks Geekosaur.
2021-07-19 03:55:53 <geekosaur> yeh, you are splitting the list in step as well when you don't need to because fold already is
2021-07-19 03:56:25 <geekosaur> so it thinks you need a list of lists. that's why I suggested putting a type signature on step
2021-07-19 03:56:37 <GeorgeArmani> exactly, I deleted calling head in step and removed the [] around xs
2021-07-19 03:56:58 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-19 04:00:50 → lavaman joins (~lavaman@98.38.249.169)
2021-07-19 04:04:03 <GeorgeArmani> Sorry for asking so many questions. I am confused about the type signature for step.
2021-07-19 04:04:41 <GeorgeArmani> I thought it would be Bool -> a -> Bool , but it is throwing an error at compile
2021-07-19 04:07:51 <h98> what's your code right now? that type signature sounds right to me
2021-07-19 04:09:13 <GeorgeArmani> https://paste.tomsmeding.com/kU1zB95f
2021-07-19 04:09:30 <geekosaur> oh, right, this requires ScopedTypeVariables to specify a signature
2021-07-19 04:10:14 → derelict joins (~derelict@user/derelict)
2021-07-19 04:10:30 <geekosaur> otherwise the a you specify in the type signature for step is unrelated to the one specified for any', but that breaks f
2021-07-19 04:10:31 <GeorgeArmani> Ok ill look into that
2021-07-19 04:11:11 <geekosaur> sometimes ghc is annoying that way
2021-07-19 04:11:22 <h98> should compile as-is if you delete the type signature now
2021-07-19 04:11:42 <GeorgeArmani> ahhhh ok. That is a little frustrating.
2021-07-19 04:12:04 <GeorgeArmani> yeah h98 thank you. I just wanted to make sure that I understood what was going on fully.
2021-07-19 04:12:04 <geekosaur> yes, but I suggested adding the type signature, having forgotten it wouldn';t work :(
2021-07-19 04:12:42 <GeorgeArmani> All good :) . Appreciate the help, Geekosaur.
2021-07-19 04:13:42 → benin03694 joins (~benin@106.198.95.190)
2021-07-19 04:14:55 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-19 04:15:44 × benin0369 quits (~benin@183.82.204.23) (Ping timeout: 265 seconds)
2021-07-19 04:15:44 benin03694 is now known as benin0369
2021-07-19 04:16:57 → falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-19 04:17:03 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-19 04:18:59 → benin03699 joins (~benin@183.82.205.17)
2021-07-19 04:19:05 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-19 04:19:52 × Null_A quits (~null_a@2601:645:8700:2290:5577:9a94:3b66:c39d) (Remote host closed the connection)
2021-07-19 04:20:53 × benin0369 quits (~benin@106.198.95.190) (Ping timeout: 255 seconds)
2021-07-19 04:20:53 benin03699 is now known as benin0369
2021-07-19 04:26:42 → oxide joins (~lambda@user/oxide)
2021-07-19 04:27:51 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-19 04:30:06 × GeorgeArmani quits (~GeorgeArm@76-236-222-208.lightspeed.tukrga.sbcglobal.net) (Quit: Client closed)
2021-07-19 04:34:22 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-07-19 04:40:40 × Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection)
2021-07-19 04:41:08 → anandprabhu joins (anandprabh@gateway/vpn/airvpn/anandprabhu)
2021-07-19 04:41:13 → Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com)
2021-07-19 04:41:45 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds)
2021-07-19 04:42:03 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-19 04:42:07 geekosaur is now known as brandon
2021-07-19 04:45:02 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-19 04:45:13 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-19 04:47:58 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-07-19 04:48:36 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds)
2021-07-19 04:52:56 <lechner> Hi, is it possible to catch decompression errors from LZMA here? https://salsa.debian.org/lintian/kickoff/-/blob/master/Collect.hs#L82
2021-07-19 04:54:12 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 .. 18030

All times are in UTC.