Logs: liberachat/#haskell
| 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) |
All times are in UTC.