Logs: freenode/#haskell
| 2021-05-18 14:57:00 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) |
| 2021-05-18 14:57:05 | <int-e> | . o O ( mv ~/.ghcup ~/.ghcup.bak ) |
| 2021-05-18 14:57:24 | <maerwald> | int-e: or just remove ~/.ghcup/bin from PATH |
| 2021-05-18 14:58:17 | <[exa]> | Guest_63: there's the `rm -fr .ghcup` command but be careful with it |
| 2021-05-18 14:58:18 | <yushyin> | same error! ;P |
| 2021-05-18 14:58:21 | <int-e> | maerwald: I mean it's generally a good idea to not blindly remove stuff from your file system just because someone on IRC said so. |
| 2021-05-18 14:59:06 | → | ozataman joins (~ozataman@71.190.112.58) |
| 2021-05-18 14:59:28 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-18 15:00:15 | <int-e> | But it may also be a good idea to adjust the advice to be a bit more safe. :P |
| 2021-05-18 15:01:05 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-36.dsl.bell.ca) |
| 2021-05-18 15:01:15 | <safinaskar> | Guest_63: you use linux, right? |
| 2021-05-18 15:01:22 | <Guest_63> | yep |
| 2021-05-18 15:01:38 | <maerwald> | first time? |
| 2021-05-18 15:01:52 | → | zmijunkie joins (~Adium@87.123.58.216) |
| 2021-05-18 15:02:08 | <safinaskar> | Guest_63: what distro? |
| 2021-05-18 15:02:13 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 15:02:21 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 15:02:22 | <Guest_63> | pop 20.04 |
| 2021-05-18 15:02:23 | × | zmijunkie quits (~Adium@87.123.58.216) (Client Quit) |
| 2021-05-18 15:03:42 | → | APic joins (apic@apic.name) |
| 2021-05-18 15:03:55 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 268 seconds) |
| 2021-05-18 15:05:11 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-36.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 15:05:49 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-18 15:05:53 | <safinaskar> | Guest_63: what is pop? ubuntu? |
| 2021-05-18 15:06:22 | <Guest_63> | yes. |
| 2021-05-18 15:06:23 | <Guest_63> | it's more or less ubuntu |
| 2021-05-18 15:08:13 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 15:08:19 | × | ozataman quits (~ozataman@71.190.112.58) (Ping timeout: 265 seconds) |
| 2021-05-18 15:08:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 15:10:07 | → | ddellacosta joins (~ddellacos@86.106.143.87) |
| 2021-05-18 15:10:08 | <safinaskar> | Guest_63: i suggest installing software only from apt. if you want something not from apt, install it into docker container |
| 2021-05-18 15:10:15 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-18 15:10:23 | <safinaskar> | Guest_63: for example, ghcup or haskell platform should be installed to docker contaienr |
| 2021-05-18 15:10:37 | <safinaskar> | Guest_63: so, you will never mess your main system |
| 2021-05-18 15:10:48 | <Guest_63> | ohh |
| 2021-05-18 15:10:52 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-18 15:10:53 | <maerwald> | uh-oh |
| 2021-05-18 15:11:01 | <maerwald> | I don't think that's a reasonable suggestion |
| 2021-05-18 15:11:04 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 15:11:08 | <safinaskar> | i always do so, and i am happy |
| 2021-05-18 15:11:21 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 15:11:26 | <maerwald> | good, but docker isn't something that "just works" |
| 2021-05-18 15:11:38 | <maerwald> | and recommending to inexperienced users will get them into hairy trouble |
| 2021-05-18 15:11:39 | <safinaskar> | for me it just works :) |
| 2021-05-18 15:11:48 | <maerwald> | yeah, nix also just works if you know how |
| 2021-05-18 15:12:12 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 15:14:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 15:14:42 | <maerwald> | also, exposing toolchain from within a docker container to the host system is gonna be funny |
| 2021-05-18 15:14:46 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 15:14:50 | × | ddellacosta quits (~ddellacos@86.106.143.87) (Ping timeout: 252 seconds) |
| 2021-05-18 15:15:06 | × | Guest_63 quits (2f0b3ecf@47.11.62.207) (Quit: Connection closed) |
| 2021-05-18 15:16:11 | × | ddella___ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-18 15:19:11 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 250 seconds) |
| 2021-05-18 15:19:12 | × | ystael quits (~ystael@130.44.151.113) (Ping timeout: 240 seconds) |
| 2021-05-18 15:19:47 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-18 15:19:57 | × | ricly_yellowp quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Ping timeout: 268 seconds) |
| 2021-05-18 15:20:15 | → | ystael joins (~ystael@130.44.151.113) |
| 2021-05-18 15:23:36 | → | plutoniix joins (~q@node-uic.pool-125-24.dynamic.totinternet.net) |
| 2021-05-18 15:23:40 | <boxscape> | I figured out the source to my problem, for some reason import list error messages don't appear in ghci, only in compiled modules |
| 2021-05-18 15:23:56 | <maerwald> | I wish there was some GHC plugin that turns non-exhaustive lambda pattern matching into monadfail |
| 2021-05-18 15:24:05 | × | plutoniix quits (~q@node-uic.pool-125-24.dynamic.totinternet.net) (Max SendQ exceeded) |
| 2021-05-18 15:24:18 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 15:24:55 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-18 15:25:12 | <boxscape> | in a do block or everywhere? |
| 2021-05-18 15:25:19 | → | plutoniix joins (~q@node-uic.pool-125-24.dynamic.totinternet.net) |
| 2021-05-18 15:25:25 | <maerwald> | a do block follows |
| 2021-05-18 15:25:32 | <boxscape> | I see |
| 2021-05-18 15:26:32 | <boxscape> | so `\Foo -> do { ...}` should become `\case Foo -> do {...}; _ -> fail` |
| 2021-05-18 15:26:37 | × | CrazyPyt_ quits (~crazypyth@206.214.238.6) (Ping timeout: 260 seconds) |
| 2021-05-18 15:26:46 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-fpfeimeqtceiorln) (Quit: Connection closed for inactivity) |
| 2021-05-18 15:27:09 | <boxscape> | s/fail/fail "non-exhaustive patterns" |
| 2021-05-18 15:27:35 | <maerwald> | sth like that |
| 2021-05-18 15:27:48 | <maerwald> | seems possible |
| 2021-05-18 15:27:49 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 15:28:24 | <safinaskar> | ok, thanks everybody |
| 2021-05-18 15:28:27 | ← | safinaskar parts (~user@109.252.90.136) () |
| 2021-05-18 15:28:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 15:29:06 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-18 15:29:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 15:33:39 | → | frozenErebus joins (~frozenEre@94.129.65.28) |
| 2021-05-18 15:34:46 | × | bennofs__ quits (~quassel@x4dbf70df.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-18 15:35:07 | → | bennofs_ joins (~quassel@x4dbf70df.dyn.telefonica.de) |
| 2021-05-18 15:36:48 | × | LKoen quits (~LKoen@2a01cb0407597a00c5d4c5917c5d748f.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-18 15:37:40 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 15:38:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 15:38:49 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-18 15:40:56 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-18 15:42:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 15:42:38 | → | mastarija_ joins (~mastarija@31.217.11.236) |
| 2021-05-18 15:42:54 | → | ddellacosta joins (~ddellacos@2607:fb90:7bd8:528c:3571:35ed:63bd:586d) |
| 2021-05-18 15:43:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 15:44:32 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 15:45:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 15:46:10 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 15:46:28 | × | mastarija__ quits (~mastarija@78-3-221-47.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-18 15:47:22 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-18 15:47:24 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 15:47:53 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-18 15:48:03 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 15:50:10 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
All times are in UTC.