Logs: freenode/#haskell
| 2021-05-14 13:23:11 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 2021-05-14 13:23:34 | → | slack1256 joins (~slack1256@191.125.166.131) |
| 2021-05-14 13:25:47 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 13:25:49 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2021-05-14 13:27:51 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-05-14 13:27:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-14 13:29:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-14 13:30:30 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) |
| 2021-05-14 13:30:59 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-05-14 13:31:09 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 13:34:13 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-14 13:34:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:39:22 | <maerwald> | wat |
| 2021-05-14 13:40:26 | → | bone-baboon joins (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) |
| 2021-05-14 13:40:28 | <maerwald> | Guest_27: ghcup is non-interactive. There's a shell script bootstrapping it, which is interactive though unless you set BOOTSTRAP_HASKELL_NONINTERACTIVE |
| 2021-05-14 13:41:33 | <maerwald> | note that when you set that variable, no attempt is made to adjust the PATH |
| 2021-05-14 13:41:48 | <maerwald> | so in your ansible script you will have to add ~/.ghcup/bin to PATH |
| 2021-05-14 13:42:15 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 13:42:29 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 245 seconds) |
| 2021-05-14 13:43:55 | × | Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection) |
| 2021-05-14 13:44:06 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 13:44:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 13:46:14 | <Guest_27> | awesome! thanks |
| 2021-05-14 13:46:29 | <Guest_27> | And it should work on ubuntu 20.04 right? |
| 2021-05-14 13:46:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 13:47:00 | <maerwald[m]> | If it doesn't then it's a bug |
| 2021-05-14 13:47:10 | <Guest_27> | thanks guys |
| 2021-05-14 13:47:42 | <geekosaur> | ghcup is working for me on 20.04 |
| 2021-05-14 13:47:53 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:48:15 | <maerwald[m]> | There is one report of it not working, but i haven't been able to reproduce |
| 2021-05-14 13:48:16 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-05-14 13:48:23 | → | conal_ joins (~conal@64.71.133.70) |
| 2021-05-14 13:48:47 | <maerwald[m]> | In docker it's working |
| 2021-05-14 13:49:00 | × | noam_ quits (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) (Quit: Leaving) |
| 2021-05-14 13:50:13 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-05-14 13:52:54 | × | drbean_ quits (~drbean@TC210-63-209-210.static.apol.com.tw) (Ping timeout: 245 seconds) |
| 2021-05-14 13:52:56 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 246 seconds) |
| 2021-05-14 13:53:22 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 13:53:49 | → | bitmagie joins (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 2021-05-14 13:54:02 | <bone-baboon> | I am using Haskell with Cabal's new commands (ex. new-build) to build Haskell programs. In project <project-name>.cabal files I am using ghc-options: -Weverything -Werror. Is there a way to have Cabal execute GHC's type checking as well as the -Weverything -Werror but not compile the program? I am looking for a flag like `--no-compile`. |
| 2021-05-14 13:54:15 | <bone-baboon> | I think this would be useful with a code watching setup that runs the checks and provides and notification about the success of the checks. Having a flag like `--no-compile` would provide faster feedback as it would not need to compile the program. |
| 2021-05-14 13:55:07 | <Uniaika> | bone-baboon: ghcid |
| 2021-05-14 13:55:21 | <Uniaika> | use this |
| 2021-05-14 13:55:57 | <geekosaur> | -fno-code, but what you asked for is what ghcid already does |
| 2021-05-14 13:57:04 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-14 13:57:24 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-14 13:57:57 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:58:21 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 13:58:59 | <xenon-> | hi. how do I detect windows os using #ifdef? I found this on stackage, but it is several years old thread. #ifdef mingw32_HOST_OS |
| 2021-05-14 14:00:00 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 14:00:57 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 14:01:27 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 14:02:14 | × | garFF quits (~garff@0x3ec68c59.mobile.telia.dk) (Remote host closed the connection) |
| 2021-05-14 14:02:57 | × | Guest16235 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 14:03:44 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-05-14 14:04:16 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-14 14:04:28 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 252 seconds) |
| 2021-05-14 14:04:58 | <bone-baboon> | Uniaika: Thanks |
| 2021-05-14 14:05:09 | <bone-baboon> | geekosaur: Thanks |
| 2021-05-14 14:05:34 | <Uniaika> | xenon-: yeah I think it's the same |
| 2021-05-14 14:05:55 | <xenon-> | is there nothing more generic than that? if, say, in the future, ghc switches from mingw to something else |
| 2021-05-14 14:06:28 | <boxscape> | it looks like the hostname package uses `#ifdef WINDOWS` https://hackage.haskell.org/package/hostname-1.0/docs/src/Network-HostName.html , but I can't comment on whether or not that works |
| 2021-05-14 14:07:03 | <boxscape> | ...that's also actually pretty old now that I look at it |
| 2021-05-14 14:07:49 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:08:14 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-05-14 14:08:17 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-iktbyznnjwficzkj) |
| 2021-05-14 14:08:37 | Alleria | is now known as Guest13341 |
| 2021-05-14 14:09:36 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:10:20 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-14 14:10:36 | <xenon-> | same definition is used in base, so I'll go with that. |
| 2021-05-14 14:10:43 | <xenon-> | https://hackage.haskell.org/package/base-4.15.0.0/docs/src/System-IO.html |
| 2021-05-14 14:11:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-14 14:11:14 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 14:11:27 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-liycltuwnvlxypmw) |
| 2021-05-14 14:11:48 | <boxscape> | huh using #if defined() rather than #ifdef |
| 2021-05-14 14:12:17 | <xenon-> | yeah I noticed that too |
| 2021-05-14 14:13:01 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: part) |
| 2021-05-14 14:15:33 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 14:16:15 | → | ddellac__ joins (~ddellacos@86.106.143.215) |
| 2021-05-14 14:16:26 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-05-14 14:17:49 | → | badobb joins (abaolute@unaffiliated/badobb) |
| 2021-05-14 14:18:01 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-14 14:18:36 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 260 seconds) |
| 2021-05-14 14:19:29 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:19:54 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:20:40 | × | bitmagie quits (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-14 14:21:05 | × | ddellac__ quits (~ddellacos@86.106.143.215) (Ping timeout: 268 seconds) |
| 2021-05-14 14:24:33 | × | kingswim quits (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 2021-05-14 14:26:14 | → | kingswim joins (~kevinying@197.210.47.0) |
| 2021-05-14 14:26:14 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) (Ping timeout: 245 seconds) |
| 2021-05-14 14:27:49 | → | sayola joins (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) |
| 2021-05-14 14:28:59 | <xenon-> | (#ifdef WINDOWS does not work BTW, so that's probably something hostname package defined on its own) |
| 2021-05-14 14:29:24 | <boxscape> | ah, interesting |
| 2021-05-14 14:29:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:31:48 | × | Guest_27 quits (56f23588@lfbn-idf1-1-590-136.w86-242.abo.wanadoo.fr) (Quit: Connection closed) |
| 2021-05-14 14:31:49 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-14 14:32:31 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 2021-05-14 14:33:53 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-14 14:34:02 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-14 14:34:11 | × | neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 252 seconds) |
All times are in UTC.