Logs: liberachat/#haskell
| 2021-06-01 22:57:53 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-01 22:59:37 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-01 23:02:01 | → | neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-01 23:02:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-01 23:03:17 | × | alx741 quits (~alx741@186.178.108.160) (Ping timeout: 264 seconds) |
| 2021-06-01 23:06:52 | × | ddellacosta quits (~ddellacos@86.106.143.209) (Remote host closed the connection) |
| 2021-06-01 23:06:52 | × | derelict quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-01 23:11:32 | → | vdukhovni joins (~vdukhovni@100.2.39.101) |
| 2021-06-01 23:12:41 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-01 23:13:21 | → | ddellacosta joins (~ddellacos@89.45.224.118) |
| 2021-06-01 23:15:48 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-01 23:15:51 | → | alx741 joins (~alx741@181.196.69.176) |
| 2021-06-01 23:16:46 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-01 23:17:06 | × | vdukhovni quits (~vdukhovni@100.2.39.101) (Quit: Client closed) |
| 2021-06-01 23:17:21 | × | is7s quits (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e) (Quit: Client closed) |
| 2021-06-01 23:18:53 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-01 23:21:34 | → | bfrk1 joins (~Thunderbi@200116b845fca000f97ff890167a6943.dip.versatel-1u1.de) |
| 2021-06-01 23:21:44 | × | bfrk quits (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-06-01 23:21:44 | bfrk1 | is now known as bfrk |
| 2021-06-01 23:24:07 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: nvkjsb) |
| 2021-06-01 23:25:28 | → | yav joins (~username@2001:428:6002:405:c8cd:63fb:2af4:b319) |
| 2021-06-01 23:27:09 | × | boioioing quits (~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Remote host closed the connection) |
| 2021-06-01 23:29:00 | × | yav quits (~username@2001:428:6002:405:c8cd:63fb:2af4:b319) (Remote host closed the connection) |
| 2021-06-01 23:30:15 | → | yav joins (~username@2001:428:6002:405:c8cd:63fb:2af4:b319) |
| 2021-06-01 23:30:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 23:37:11 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Quit: ec_) |
| 2021-06-01 23:37:27 | → | pavonia_ joins (~user@user/siracusa) |
| 2021-06-01 23:39:37 | → | sayola1 joins (~vekto@88.78.152.150) |
| 2021-06-01 23:39:54 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 264 seconds) |
| 2021-06-01 23:39:54 | × | sayola quits (~vekto@dslb-088-078-152-150.088.078.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-06-01 23:40:35 | × | tv quits (~tv@user/tv) (Ping timeout: 272 seconds) |
| 2021-06-01 23:41:35 | × | pavonia_ quits (~user@user/siracusa) (Ping timeout: 245 seconds) |
| 2021-06-01 23:41:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-01 23:42:00 | × | yav quits (~username@2001:428:6002:405:c8cd:63fb:2af4:b319) (Remote host closed the connection) |
| 2021-06-01 23:42:08 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-06-01 23:42:23 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-01 23:42:28 | allbery_b | is now known as geekosaur |
| 2021-06-01 23:44:14 | × | sayola1 quits (~vekto@88.78.152.150) (Ping timeout: 272 seconds) |
| 2021-06-01 23:44:14 | → | tv joins (~tv@user/tv) |
| 2021-06-01 23:46:56 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-01 23:47:24 | → | WhyNot joins (~Thunderbi@2a02:aa12:540:e480:d738:2660:2e:8993) |
| 2021-06-01 23:48:13 | → | hiruji` joins (~hiruji@72.74.190.75) |
| 2021-06-01 23:49:54 | × | hiruji` quits (~hiruji@72.74.190.75) (Client Quit) |
| 2021-06-01 23:49:59 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 272 seconds) |
| 2021-06-01 23:50:18 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-06-01 23:50:41 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-01 23:51:05 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-06-01 23:52:36 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-01 23:53:26 | × | WhyNot quits (~Thunderbi@2a02:aa12:540:e480:d738:2660:2e:8993) (Quit: WhyNot) |
| 2021-06-01 23:55:37 | → | derelict joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-01 23:57:47 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-01 23:59:11 | → | pavonia_ joins (~user@user/siracusa) |
| 2021-06-02 00:00:17 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 264 seconds) |
| 2021-06-02 00:00:26 | pavonia_ | is now known as pavonia |
| 2021-06-02 00:00:42 | × | derelict quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-02 00:00:54 | × | tv quits (~tv@user/tv) (Ping timeout: 264 seconds) |
| 2021-06-02 00:01:17 | → | tv joins (~tv@user/tv) |
| 2021-06-02 00:02:00 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-02 00:05:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-02 00:06:18 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 00:06:50 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-06-02 00:08:43 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-02 00:09:02 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-06-02 00:09:14 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 2021-06-02 00:09:28 | → | Axman6 joins (~Axman6@user/axman6) |
| 2021-06-02 00:09:29 | <exarkun> | With Warp (or any other Wait-compatible server) how do I listen on an arbitrary unused port and then discover which port that was? |
| 2021-06-02 00:11:29 | <exarkun> | oh there's `withApplication`, great |
| 2021-06-02 00:13:48 | × | zopsi quits (sid153252@id-153252.stonehaven.irccloud.com) () |
| 2021-06-02 00:17:13 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 2021-06-02 00:17:16 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 2021-06-02 00:18:10 | <tonyday> | https://hackage.haskell.org/package/base-4.15.0.0/reports/1 |
| 2021-06-02 00:18:52 | <tonyday> | I get the same error as hackage, trying to cabal build base. What are we doing wrong? |
| 2021-06-02 00:19:11 | <sclv> | you can't build base |
| 2021-06-02 00:19:12 | <geekosaur> | base isn't buildable by itself normally, it's built as part of ghc |
| 2021-06-02 00:19:13 | <sclv> | it ships with ghc |
| 2021-06-02 00:20:13 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-02 00:20:58 | × | bfrk quits (~Thunderbi@200116b845fca000f97ff890167a6943.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-06-02 00:21:09 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds) |
| 2021-06-02 00:21:35 | <tonyday> | I'm used to saying -fwrite-ide-info -hiedir=.hie to get files I can analyse for a project. Any clues how I would do this for base? |
| 2021-06-02 00:22:04 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 00:24:40 | → | sayola joins (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) |
| 2021-06-02 00:25:39 | <geekosaur> | you might need to do it as part of a ghc build |
| 2021-06-02 00:26:08 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 00:26:56 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-06-02 00:27:18 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-02 00:27:47 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-02 00:30:11 | <tonyday> | ok, thanks. |
| 2021-06-02 00:30:38 | <geekosaur> | folks in #ghc might have better ideas, possibly |
| 2021-06-02 00:33:17 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 264 seconds) |
| 2021-06-02 00:35:45 | <yin> | i was going through some stuff i had bookmarked and was happy to find this https://www.youtube.com/watch?v=jFk1qpr1ytk which got me curious, has anything been done in this direction? what's the state of "lazy" natural numbers in haskell? |
| 2021-06-02 00:35:45 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 00:37:12 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-02 00:38:10 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-02 00:40:36 | × | ddellacosta quits (~ddellacos@89.45.224.118) (Remote host closed the connection) |
| 2021-06-02 00:41:21 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-06-02 00:41:52 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-02 00:42:17 | × | shailangsa quits (~shailangs@host165-120-169-73.range165-120.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2021-06-02 00:43:24 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 00:44:06 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-02 00:45:08 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
All times are in UTC.