Logs: freenode/#haskell
| 2021-03-08 01:24:58 | <monochrom> | Start with: case flipMaybe xs of Nothing -> ??? ; Just ys -> ??? |
| 2021-03-08 01:25:10 | <monochrom> | With access to ys, it is now clear what to do. |
| 2021-03-08 01:25:38 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Ping timeout: 256 seconds) |
| 2021-03-08 01:27:42 | × | robweb quits (ac3a115f@172.58.17.95) (Ping timeout: 240 seconds) |
| 2021-03-08 01:30:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 01:30:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 01:31:21 | × | loli quits (~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 2021-03-08 01:33:10 | → | robweb joins (ac3a10ed@172.58.16.237) |
| 2021-03-08 01:33:17 | → | loli joins (~loli@024-171-017-003.res.spectrum.com) |
| 2021-03-08 01:33:36 | <robweb> | Hi. I have this problem: https://paste.tomsmeding.com/2kKay44r Please help if you can. Thank you. |
| 2021-03-08 01:34:28 | <monochrom> | <monochrom> You need a case analysis on the outcome of the recursive call "flipMaybe xs". |
| 2021-03-08 01:34:34 | <monochrom> | <monochrom> Start with: case flipMaybe xs of Nothing -> ??? ; Just ys -> ??? |
| 2021-03-08 01:34:34 | <monochrom> | <monochrom> With access to ys, it is now clear what to do. |
| 2021-03-08 01:35:47 | <robweb> | monochrom: OK, Ill try that. Thank you! |
| 2021-03-08 01:37:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-08 01:38:19 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-08 01:38:50 | × | robweb quits (ac3a10ed@172.58.16.237) (Quit: Connection closed) |
| 2021-03-08 01:39:19 | × | roconnor quits (~roconnor@host-104-157-194-235.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-03-08 01:40:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-08 01:40:41 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-08 01:45:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-08 01:46:37 | × | loli quits (~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 2021-03-08 01:46:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-08 01:51:06 | → | drbean joins (~drbean@TC210-63-209-28.static.apol.com.tw) |
| 2021-03-08 01:51:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-03-08 01:52:39 | → | robweb joins (ac3a11ef@172.58.17.239) |
| 2021-03-08 01:53:22 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-08 01:55:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-08 01:56:48 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 2021-03-08 01:58:23 | × | robweb quits (ac3a11ef@172.58.17.239) (Ping timeout: 240 seconds) |
| 2021-03-08 01:58:24 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-08 01:59:19 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-08 01:59:39 | × | carlomagno quits (~cararell@148.87.23.4) (Ping timeout: 245 seconds) |
| 2021-03-08 02:00:21 | → | gitgood joins (~gitgood@82-132-218-70.dab.02.net) |
| 2021-03-08 02:01:31 | → | loli joins (~loli@024-171-017-003.res.spectrum.com) |
| 2021-03-08 02:02:08 | × | gitgoood quits (~gitgood@82-132-218-5.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-08 02:03:46 | × | loli quits (~loli@024-171-017-003.res.spectrum.com) (Client Quit) |
| 2021-03-08 02:04:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 02:05:43 | → | loli joins (~loli@024-171-017-003.res.spectrum.com) |
| 2021-03-08 02:06:31 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-ihqazvwwbaedusci) (Quit: Connection closed for inactivity) |
| 2021-03-08 02:06:34 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 276 seconds) |
| 2021-03-08 02:08:08 | × | nighmi quits (~felix@port-92-196-73-189.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-03-08 02:08:38 | <sm[m]> | is there an easy way to download the package tarballs with cabal or stack ? Without unpacking them as unpack does |
| 2021-03-08 02:09:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-08 02:09:33 | × | __minoru__shirae quits (~shiraeesh@46.34.207.143) (Ping timeout: 264 seconds) |
| 2021-03-08 02:09:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-08 02:10:09 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 264 seconds) |
| 2021-03-08 02:11:46 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-08 02:12:16 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-08 02:13:28 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: Techcable - The Lounge) |
| 2021-03-08 02:14:39 | <monochrom> | "cabal fetch --no-dependencies unordered-containers" then look under ~/.cabal/packages/hackage.haskell.org/unordered-containers/ |
| 2021-03-08 02:15:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-08 02:16:42 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-08 02:17:44 | → | Techcable joins (~Techcable@168.235.93.147) |
| 2021-03-08 02:19:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-08 02:19:17 | <sm[m]> | thanks! |
| 2021-03-08 02:22:06 | → | spidr joins (~spider@2402:1f00:8100:400::6b1) |
| 2021-03-08 02:22:27 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-03-08 02:22:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-08 02:23:36 | <hyiltiz-M> | > :t sequence |
| 2021-03-08 02:23:38 | <lambdabot> | <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’ |
| 2021-03-08 02:23:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 02:24:03 | <hyiltiz-M> | > t sequence |
| 2021-03-08 02:24:06 | <lambdabot> | error: |
| 2021-03-08 02:24:06 | <lambdabot> | • Couldn't match expected type ‘(t0 (m0 a0) -> m0 (t0 a0)) -> t’ |
| 2021-03-08 02:24:06 | <lambdabot> | with actual type ‘Expr’ |
| 2021-03-08 02:24:22 | × | Alleria_ quits (~textual@2603-7000-3040-0000-1db4-c99c-5289-cfbe.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 02:24:36 | <hyiltiz-M> | > :type sequence |
| 2021-03-08 02:24:38 | <lambdabot> | <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’ |
| 2021-03-08 02:24:53 | <hyiltiz-M> | :type sequence |
| 2021-03-08 02:25:38 | × | gitgood quits (~gitgood@82-132-218-70.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-08 02:26:52 | <infinisil> | :t sequence |
| 2021-03-08 02:26:54 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-03-08 02:28:00 | <hyiltiz-M> | Yeah thx I sat up and walked to my laptop instead |
| 2021-03-08 02:28:05 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-tavdfvfumkaqxbyk) |
| 2021-03-08 02:30:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 02:30:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 02:30:39 | × | alx741 quits (~alx741@186.178.108.142) (Quit: alx741) |
| 2021-03-08 02:36:45 | → | average joins (uid473595@gateway/web/irccloud.com/x-cittvqzqnvkosprm) |
| 2021-03-08 02:39:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-08 02:41:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 02:42:28 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-08 02:42:42 | × | vhs_ quits (~vhs@5.180.62.118) (Ping timeout: 256 seconds) |
| 2021-03-08 02:43:49 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-08 02:44:14 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds) |
| 2021-03-08 02:45:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-08 02:45:42 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-08 02:46:11 | × | Kater quits (~Kater@178.239.168.171) (Remote host closed the connection) |
| 2021-03-08 02:46:36 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-03-08 02:47:39 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-08 02:47:46 | → | Techcable joins (~Techcable@168.235.93.147) |
| 2021-03-08 02:48:10 | Techcable | is now known as Guest68433 |
| 2021-03-08 02:50:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-08 02:51:38 | × | xff0x quits (~xff0x@2001:1a81:52eb:4100:7c75:434:3c88:779d) (Ping timeout: 264 seconds) |
| 2021-03-08 02:52:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-08 02:53:27 | → | xff0x joins (~xff0x@2001:1a81:5322:b100:c3e9:43a2:4b72:b507) |
| 2021-03-08 02:54:40 | kadoban_ | is now known as kadobanana |
| 2021-03-08 02:54:56 | kadobanana | is now known as kadoban_ |
| 2021-03-08 02:57:38 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-08 02:58:33 | × | Guest68433 quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
All times are in UTC.