Logs on 2022-02-26 (liberachat/#haskell)
| 00:01:01 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 00:03:24 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 00:07:01 | × | acidjnk quits (~acidjnk@p200300d0c723f8082c8a6c2f22489a41.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:08:46 | × | dvdrw quits (~dvdrw@user/dvdrw) (Quit: leaving) |
| 00:08:55 | → | cronjob[m] joins (~cronjobma@2001:470:69fc:105::74e7) |
| 00:15:43 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!) |
| 00:16:32 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4) |
| 00:16:33 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 00:16:46 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 00:17:05 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Remote host closed the connection) |
| 00:17:49 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 00:19:26 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Read error: Connection reset by peer) |
| 00:19:40 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 00:21:35 | → | goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 00:22:04 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Client Quit) |
| 00:23:38 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 00:23:56 | → | Null_A joins (~null_a@2601:645:8700:2290:f908:18aa:857e:feef) |
| 00:25:35 | → | deadmarshal joins (~deadmarsh@95.38.117.81) |
| 00:26:39 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 00:27:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:29:51 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:30:15 | × | deadmarshal quits (~deadmarsh@95.38.117.81) (Ping timeout: 272 seconds) |
| 00:31:15 | × | Null_A quits (~null_a@2601:645:8700:2290:f908:18aa:857e:feef) (Remote host closed the connection) |
| 00:34:31 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 00:35:14 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 00:36:12 | × | polezaivsani` quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 240 seconds) |
| 00:37:27 | ← | ravella parts (~ravella@user/ryanavella) () |
| 00:40:34 | × | vorpuni quits (~pvorp@2001:861:3881:c690:d5ee:1d14:9bcb:60b5) (Quit: bye) |
| 00:41:17 | → | Null_A joins (~null_a@2601:645:8700:2290:f908:18aa:857e:feef) |
| 00:42:26 | → | vorpuni joins (~pvorp@2001:861:3881:c690:3c41:61f1:c406:ca35) |
| 00:43:29 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 252 seconds) |
| 00:50:27 | × | vorpuni quits (~pvorp@2001:861:3881:c690:3c41:61f1:c406:ca35) (Quit: bye) |
| 00:51:02 | → | vorpuni joins (~pvorp@2001:861:3881:c690:3c41:61f1:c406:ca35) |
| 00:53:25 | × | Null_A quits (~null_a@2601:645:8700:2290:f908:18aa:857e:feef) (Ping timeout: 240 seconds) |
| 00:55:15 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 00:56:51 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 00:59:42 | × | Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:00:43 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:01:13 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 01:02:23 | × | cosimone` quits (~user@93-34-132-33.ip49.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 01:02:31 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 01:03:16 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 01:04:18 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 01:04:35 | × | vorpuni quits (~pvorp@2001:861:3881:c690:3c41:61f1:c406:ca35) (Remote host closed the connection) |
| 01:05:16 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::8c21) |
| 01:06:49 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 01:09:08 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:09:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:09:27 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:10:51 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:24 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 01:13:07 | × | nehsou^ quits (~nehsou@50-202-219-146-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 01:13:41 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 01:14:08 | → | Everything joins (~Everythin@37.115.210.35) |
| 01:15:49 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:16:04 | × | emad quits (~emad@102.45.236.212) (Quit: Leaving) |
| 01:16:07 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:16:57 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:54 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:20:12 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:20:15 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:20:56 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 01:20:59 | → | Midjak joins (~Midjak@82.66.147.146) |
| 01:23:52 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:24:10 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:25:12 | × | Midjak quits (~Midjak@82.66.147.146) (Client Quit) |
| 01:25:41 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:25:41 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:25:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:27:50 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:28:09 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 01:28:30 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 01:40:21 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 01:48:59 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:50:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:52:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:54:50 | × | alp quits (~alp@user/alp) (Ping timeout: 250 seconds) |
| 01:58:02 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:58:02 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:58:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:59:55 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 256 seconds) |
| 02:02:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 02:03:33 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 02:07:12 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:09:57 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 240 seconds) |
| 02:10:10 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 02:11:01 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:11:07 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:15:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 02:24:41 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 02:27:34 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 02:28:47 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:32:12 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:38:37 | × | justAstache quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 02:39:35 | → | justAstache joins (~justache@user/justache) |
| 02:43:54 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 02:45:37 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 02:50:11 | → | alx741 joins (~alx741@181.199.42.143) |
| 02:50:12 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 02:51:10 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 02:52:28 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 02:52:28 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 02:52:39 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 02:52:57 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds) |
| 02:56:36 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 03:00:05 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 03:01:32 | × | xff0x quits (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) (Ping timeout: 240 seconds) |
| 03:03:35 | → | xff0x joins (~xff0x@2001:1a81:525a:f300:26c6:1f7b:9957:1c71) |
| 03:09:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:13:42 | → | off^ joins (~off@50-202-219-146-static.hfc.comcastbusiness.net) |
| 03:13:42 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:16:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 03:17:47 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:20:37 | × | shailangsa quits (~shailangs@host109-152-9-189.range109-152.btcentralplus.com) (Ping timeout: 256 seconds) |
| 03:20:54 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 03:22:04 | → | notzmv joins (~zmv@user/notzmv) |
| 03:23:11 | × | td_ quits (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 256 seconds) |
| 03:24:27 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 03:25:07 | → | td_ joins (~td@94.134.91.30) |
| 03:28:02 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 03:30:56 | → | alx741 joins (~alx741@181.199.42.143) |
| 03:35:14 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 03:37:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 03:52:19 | → | alx741 joins (~alx741@181.199.42.143) |
| 03:52:58 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 03:53:14 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 03:54:00 | → | thyriaen_ joins (~thyriaen@dynamic-089-012-029-109.89.12.pool.telefonica.de) |
| 03:54:46 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 03:56:12 | × | thyriaen quits (~thyriaen@dynamic-078-054-025-201.78.54.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 04:02:02 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 04:02:20 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 04:05:15 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:05:15 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:05:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:07:10 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 04:11:39 | → | alx741 joins (~alx741@181.199.42.143) |
| 04:16:11 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 04:20:52 | → | Techcable joins (~Techcable@168.235.93.147) |
| 04:24:12 | → | shailangsa joins (~shailangs@host86-185-102-18.range86-185.btcentralplus.com) |
| 04:33:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:33:29 | → | yauhsien_ joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 04:40:11 | × | yauhsien_ quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:43:19 | → | yauhsien_ joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 04:43:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:44:49 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 04:46:30 | × | yauhsien_ quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:48:50 | → | yauhsien_ joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 04:49:24 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 04:53:15 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 04:53:33 | × | yauhsien_ quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 04:55:13 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 05:00:21 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:10:18 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:17:16 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:19:27 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 05:21:42 | → | mbuf joins (~Shakthi@117.96.199.11) |
| 05:25:00 | → | komikat joins (~komikat@183.82.154.239) |
| 05:27:40 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:27:55 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 05:30:21 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 245 seconds) |
| 05:32:11 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:37:57 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 05:38:34 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 05:38:37 | → | komikat joins (~komikat@183.82.154.239) |
| 05:38:59 | <texasmynsted> | is there a _better_ way to print haskell source code from the command line than enscript? |
| 05:41:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 05:47:04 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 05:47:04 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 05:47:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 05:48:00 | × | thyriaen_ quits (~thyriaen@dynamic-089-012-029-109.89.12.pool.telefonica.de) (Quit: Leaving) |
| 05:49:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:51:59 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 05:52:55 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 05:53:03 | × | raym quits (~raym@user/raym) (Ping timeout: 256 seconds) |
| 05:53:18 | → | raym joins (~raym@user/raym) |
| 05:55:53 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 05:57:29 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 05:57:29 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 05:57:29 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:00:54 | → | deadmarshal joins (~deadmarsh@95.38.117.81) |
| 06:01:24 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:02:41 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:06:37 | × | analognoise quits (~analognoi@45.83.89.205) (Quit: Leaving) |
| 06:06:47 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 06:07:37 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 06:07:51 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:11:55 | → | coot joins (~coot@213.134.190.95) |
| 06:12:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:13:08 | × | emf quits (~emf@2620:10d:c090:400::5:7b2f) (Quit: emf) |
| 06:14:01 | × | coot quits (~coot@213.134.190.95) (Remote host closed the connection) |
| 06:14:32 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 06:17:00 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 06:17:13 | <texasmynsted> | hm. source-highlight helps a bit |
| 06:17:59 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:18:49 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 06:19:32 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:19:33 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:23:19 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 06:23:24 | × | phma quits (phma@2001:5b0:215a:e178:614c:eec1:3e13:9455) (Read error: Connection reset by peer) |
| 06:24:01 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:27:05 | → | phma joins (~phma@host-67-44-208-8.hnremote.net) |
| 06:27:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:28:22 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 06:28:24 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 06:30:37 | × | raym quits (~raym@user/raym) (Ping timeout: 272 seconds) |
| 06:31:59 | → | raym joins (~raym@user/raym) |
| 06:32:18 | → | bahamas joins (~lucian@84.232.140.52) |
| 06:37:20 | × | tomku quits (~tomku@user/tomku) (Quit: Lost terminal) |
| 06:38:41 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:5bf7:7723:bd1c:6732) (Ping timeout: 245 seconds) |
| 06:44:58 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 06:45:05 | → | yauhsien_ joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 06:45:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:47:11 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 06:48:35 | → | shryke_ joins (~shryke@91.103.43.254) |
| 06:48:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:49:17 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 06:51:27 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 252 seconds) |
| 06:53:24 | → | tomku joins (~tomku@user/tomku) |
| 07:00:03 | → | k8yun joins (~k8yun@user/k8yun) |
| 07:01:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:06:25 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:11:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:11:36 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 07:12:51 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 07:16:07 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:18:55 | <sm> | texasmynsted: random suggestion: wrap it in ```haskell ... ``` in obsidian.md and print from there ? |
| 07:21:34 | → | bahamas joins (~lucian@84.232.140.52) |
| 07:26:21 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 07:27:25 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 07:27:43 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 07:28:54 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 07:28:57 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:30:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 07:31:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 07:32:13 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 07:33:46 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:35:10 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 07:37:55 | → | bahamas joins (~lucian@84.232.140.52) |
| 07:42:43 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 07:45:59 | × | yauhsien_ quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 07:47:49 | × | wolfshappen quits (~waff@irc.furworks.de) (Ping timeout: 256 seconds) |
| 07:48:25 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 07:49:54 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:52:46 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:f10f:3b24:c2c7:662e) (Quit: Leaving) |
| 07:53:13 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:55:14 | × | xff0x quits (~xff0x@2001:1a81:525a:f300:26c6:1f7b:9957:1c71) (Ping timeout: 252 seconds) |
| 07:56:46 | → | xff0x joins (~xff0x@2001:1a81:526f:1100:914:bfff:f86c:b7c0) |
| 07:58:17 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 07:58:17 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 07:58:17 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 07:58:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 07:59:07 | → | zer0bitz_ joins (~zer0bitz@2001:2003:f74d:b800:14c2:362b:4032:a582) |
| 08:02:44 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:fc98:bb5f:7d17:fcbd) (Ping timeout: 250 seconds) |
| 08:03:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 08:08:12 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 08:10:09 | → | alx741 joins (~alx741@181.199.42.143) |
| 08:14:15 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 08:14:53 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 08:15:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:17:03 | → | alp joins (~alp@user/alp) |
| 08:18:18 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:23:00 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 08:26:17 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 08:28:30 | → | komikat joins (~komikat@183.82.154.239) |
| 08:30:08 | → | acidjnk joins (~acidjnk@p200300d0c723f8082c8a6c2f22489a41.dip0.t-ipconnect.de) |
| 08:30:56 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 08:31:10 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 08:32:00 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 08:33:19 | → | komikat joins (~komikat@183.82.154.239) |
| 08:34:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:36:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 08:37:13 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 08:40:37 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 08:40:45 | → | kuribas joins (~user@ptr-25vy0i8e4r37e819m2o.18120a2.ip6.access.telenet.be) |
| 08:41:29 | <kuribas> | https://techcrunch.com/2022/02/22/graphql-developer-platform-hasura-raises-100m-series-c/?guccounter=1&guce_referrer=aHR0cHM6Ly93d3cucmVkZGl0LmNvbS8&guce_referrer_sig=AQAAAAZl5rjSZK7JJWe4m9x0GhIn3QLbhvCZWQaLRi2pA7DxePPmh8GQddYs-G3M5WmP7YiV2YuDNTZsTfe8i1lFEAm-hv1gaCnV1mGZU2887bAEa8fdsoH1tKXcID372g_yWj-rLgV2clVCGxz2WZ_NIrFC4Ktigzqu3xhCOdt68den |
| 08:41:34 | <kuribas> | Why am I not convinced this is a good thing? |
| 08:41:57 | <kuribas> | “The enterprise developer is just absolutely bogged down with complexity,” |
| 08:42:23 | <kuribas> | 'They’re like, ‘man, I have like a thousand models in this legacy data system. I have a bunch of new stuff that is ML/AI enriched in this new system. I have these legacy APIs. And all I really want to do is modernize my application screen so that somebody can see their billing history.’ |
| 08:42:46 | <kuribas> | So how does using the database as an interface reduce that complexity? |
| 08:43:08 | <kuribas> | It just sounds like a good on paper, but terrible in practice thing. |
| 08:43:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 08:44:14 | <[exa]> | kuribas: they apparently do not have a database at all right now |
| 08:44:34 | <kuribas> | [exa]: well no, the customer has one right? |
| 08:45:10 | <[exa]> | "legacy data system" kinda avoids referring to anything sensible |
| 08:45:44 | <kuribas> | I mean, I am happy for them to be successful, but I just feel this is another bad solution thrown on the market. |
| 08:46:12 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 08:46:42 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 08:46:49 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:48:43 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 08:49:39 | <[exa]> | nah, people love graph databases |
| 08:54:08 | <Hecate> | (in theory) |
| 08:55:23 | <Hecate> | I'm not the target audience for Hasura, so I also don't care much about it |
| 08:57:14 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 08:57:55 | <kuribas> | [exa]: Hasura isn't a graph database. |
| 08:58:14 | <kuribas> | [exa]: It just creates a graphql interface to any database, AFAIK. |
| 08:58:59 | <kuribas> | graphql is a query language, but more directed towards end users than developers. |
| 08:59:38 | <kuribas> | It's like rest, but allows you to batch queries, and return custom tree structures. |
| 08:59:48 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 09:00:06 | × | JoseC[m] quits (~jmcardonm@2001:470:69fc:105::1:7539) (Quit: You have been kicked for being idle) |
| 09:00:11 | <kuribas> | IMO that's where the impedance mismatch is. A SQL database isn't meant for end-users, it's for developers. |
| 09:00:26 | → | JoseC[m] joins (~jmcardonm@2001:470:69fc:105::1:7539) |
| 09:00:50 | <kuribas> | So you end up having to bridge this mismatch in the DB, instead of in a proper programming language. |
| 09:01:19 | <kuribas> | But apparently, this is what people want. Maybe it appeals to people who only know SQL? |
| 09:01:48 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 09:03:50 | → | alx741 joins (~alx741@181.199.42.143) |
| 09:05:27 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 09:05:33 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:06:03 | <[exa]> | kuribas: "looks like a graph", yeah, that's the magick |
| 09:08:28 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 09:09:38 | <[exa]> | the problem there is that you get data where applying the "usual" relational normal forms is not practical (spawns too many tables, query size esplodes, etc), and at the same time you don't know what the data access is going to look like because that's the concern of user choice or topic of research |
| 09:10:17 | <[exa]> | having a graph-ish frontend at that point just pays off |
| 09:10:48 | <[exa]> | (btw check out the yuge semantic databases in RDF) |
| 09:11:44 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:14:10 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 09:17:30 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 09:19:39 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: reconnecting) |
| 09:19:53 | <kuribas> | [exa]: I am not debating that having a graph-ish frentend is a good thing :) |
| 09:19:54 | → | joo-_ joins (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 09:19:54 | × | joo-_ quits (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 09:19:54 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 09:20:07 | <kuribas> | I just don't think SQL is the best way to create interfaces. |
| 09:20:21 | → | bahamas joins (~lucian@84.232.140.52) |
| 09:21:19 | <kuribas> | [exa]: btw, the query size can still explode, since the backend needs to generate the queries. |
| 09:21:34 | <kuribas> | In that's way worse with automated tools than with a custom solution. |
| 09:22:26 | <kuribas> | I've been actually working on this problem for our APIs, and I can tell with certainly that no automated tool would work for that. |
| 09:23:12 | <kuribas> | At best, you'ld need to create views and stored procedures to make something appealing. |
| 09:23:57 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Client Quit) |
| 09:24:11 | → | joo-_ joins (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 09:24:11 | × | joo-_ quits (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 09:24:11 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 09:24:56 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 245 seconds) |
| 09:25:13 | → | alx741 joins (~alx741@181.199.42.143) |
| 09:25:22 | → | bahamas joins (~lucian@188.24.153.252) |
| 09:28:13 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 09:32:46 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 260 seconds) |
| 09:34:36 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 09:34:53 | → | joo-_ joins (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 09:34:53 | × | joo-_ quits (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 09:34:53 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 09:42:36 | <[exa]> | kuribas: re SQL, do you have a better sufficiently proliferated API for storage backends of structured data? |
| 09:43:30 | <[exa]> | anyway yeah it's not optimal by far... otoh I've been around development of one sparql frontend to sql and sql was actually the least problematic part :D |
| 09:45:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:45:58 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 09:47:35 | × | bahamas quits (~lucian@188.24.153.252) (Ping timeout: 272 seconds) |
| 09:49:05 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:49:19 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 09:49:57 | <InternetCitizen> | is it safe to be on Stack Nightly? |
| 09:52:13 | <InternetCitizen> | also, why is that somehow GHC 9.2.1 > GHC 9.0.2 ? |
| 09:52:40 | <InternetCitizen> | the first was released on 29 October 2021, but the second 25 December 2021 |
| 09:52:52 | → | bahamas joins (~lucian@84.232.140.52) |
| 09:56:56 | → | burnsidesLlama joins (~burnsides@rrcs-24-43-239-146.west.biz.rr.com) |
| 09:59:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 09:59:03 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 09:59:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 09:59:34 | <kuribas> | [exa]: no, I think SQL is great as API for developers. |
| 10:00:05 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 10:01:24 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:03:02 | × | acidjnk quits (~acidjnk@p200300d0c723f8082c8a6c2f22489a41.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 10:04:02 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:04:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 10:05:31 | → | alx741 joins (~alx741@181.199.42.143) |
| 10:09:17 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 10:09:59 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:11:40 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 10:13:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:26:36 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 10:29:12 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 10:30:05 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:32:26 | → | vorpuni joins (~pvorp@2001:861:3881:c690:2c18:b650:f4c7:9238) |
| 10:34:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 10:34:02 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:36:00 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 10:36:17 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 10:38:12 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 10:40:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 10:43:11 | × | burnsidesLlama quits (~burnsides@rrcs-24-43-239-146.west.biz.rr.com) (Read error: Connection reset by peer) |
| 10:43:16 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 10:43:42 | → | burnsidesLlama joins (~burnsides@rrcs-24-43-239-146.west.biz.rr.com) |
| 10:49:44 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 10:51:13 | → | alx741 joins (~alx741@181.199.42.143) |
| 10:52:10 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 10:54:03 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 10:54:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:55:07 | × | shailangsa quits (~shailangs@host86-185-102-18.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 10:55:22 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 260 seconds) |
| 10:56:22 | → | mmhat joins (~mmh@55d4cbdc.access.ecotel.net) |
| 10:56:28 | <geekosaur> | InternetCitizen, it's a long story. 8.10.7 is also involved. everyone hopes this mess won't happen again |
| 10:56:47 | <geekosaur> | although they're now thinking of formalizing part of it into LTS releases with 8.10 as the first |
| 10:57:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:57:52 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 11:01:32 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 11:01:36 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 11:02:58 | → | bahamas joins (~lucian@84.232.140.52) |
| 11:03:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:07:24 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 11:08:05 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:16:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:19:11 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:19:30 | → | __monty__ joins (~toonn@user/toonn) |
| 11:19:46 | → | alx741 joins (~alx741@181.199.42.143) |
| 11:21:50 | <InternetCitizen> | geekosaur: any recommended reading? I'm genuinly curious now |
| 11:22:06 | <InternetCitizen> | reminds me of when ghc deleted your files on Windows |
| 11:22:30 | <geekosaur> | I don't think there's a writeup of the whole thing. |
| 11:22:30 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 11:23:01 | <geekosaur> | 8.10.4 was current when 9.0.1 was released with linear types as its main feature |
| 11:24:09 | <geekosaur> | apple released the M1 with its own odd not-quite-ARM ABI, so 8.10.5 was released with support via LLVM. this was buggy so we ended up with 8.10.7 by the time it all shook down |
| 11:24:34 | <geekosaur> | then came 9.2.1 with a number of new features, but native (not via LLVM) M1 support was one of them. this turned out to also be buggy |
| 11:25:00 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 11:25:06 | <geekosaur> | so 9.0.2 has been releasedfixing the various bugs in 9.0.1, while they worked on the sign extension bugs in 9.2.1 |
| 11:25:13 | <geekosaur> | we're still waiting on 9.2.2 |
| 11:25:16 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 11:25:35 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:25:54 | <InternetCitizen> | and I suppose all the work on 9.2.2 is about fixing M1 support? |
| 11:26:54 | <geekosaur> | noit all of it, there's some work on the new WinIO manager as well |
| 11:27:38 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 11:27:41 | → | rtsn joins (~nstr@user/rtsn) |
| 11:28:58 | <geekosaur> | (background on that is the ghc runtime's I/O manager has always been a half-assed emulation of unix on windows, which has caused a number of problems. a new I/O manager was introduced in 9.2.1 (I think) which has native Windows support insteadof the Unix emulation.) |
| 11:28:58 | × | burnsidesLlama quits (~burnsides@rrcs-24-43-239-146.west.biz.rr.com) (Read error: Connection reset by peer) |
| 11:29:20 | <maerwald[m]> | I wish all of this was backported to 8.10 |
| 11:30:06 | <maerwald[m]> | I have zero interest in the new language features of 9.x, but in the improved platform support |
| 11:33:31 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 11:35:00 | → | shailangsa joins (~shailangs@host86-185-102-18.range86-185.btcentralplus.com) |
| 11:39:03 | → | alx741 joins (~alx741@181.199.42.143) |
| 11:42:27 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 11:44:51 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 11:45:18 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:45:31 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 11:46:07 | → | zaquest joins (~notzaques@5.130.79.72) |
| 11:46:48 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 11:50:56 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 11:52:09 | → | cynomys joins (~cynomys@user/cynomys) |
| 11:53:27 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 11:54:48 | → | michalz joins (~michalz@185.246.204.65) |
| 11:56:00 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 11:57:00 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 11:57:16 | <geekosaur> | you may get your wish. did you see the discussion about moving to an LTS model? |
| 11:59:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:00:33 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 12:01:01 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 12:01:26 | <geekosaur> | https://mail.haskell.org/pipermail/ghc-devs/2022-February/020583.html ff. |
| 12:01:43 | → | bahamas joins (~lucian@84.232.140.52) |
| 12:02:34 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:08:02 | <Hecate> | oh hey that's me |
| 12:09:14 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 12:09:41 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:a81a:aef8:4653:fe6c) |
| 12:12:32 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 12:13:36 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 12:16:00 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:16:36 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 12:17:05 | <jkaye[m]> | Would it really be good to encourage users to stay a major version behind? Honest question. I understand LTS for bugs/regressions, but would it make sense to spend GHC dev time on backporting platform support to older versiond? |
| 12:18:11 | <Hecate> | well, what * |
| 12:18:12 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:18:20 | <geekosaur> | there's already an uncomfortable tension between the folks who want bleeding edge features and the ones who would like to not have to chase a rapidly moving target |
| 12:18:20 | <Hecate> | *is* an older version, in the end |
| 12:18:47 | <Hecate> | at present time, 8.10.7 is the only reasonable version for companies because of the ecosystem support |
| 12:18:47 | <geekosaur> | there's at least two discussions of that on the haskell discourse right now |
| 12:18:51 | <maerwald[m]> | jkaye: I don't know. But if I had more time or more knowledge about GHC, I'd do it myself. |
| 12:18:54 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 12:19:39 | <Hecate> | jkaye[m]: one cannot retire the 8.10 series until *a whole lot* of packages suddenly support 9.0/9.2 |
| 12:19:58 | <maerwald[m]> | Right now, stability i, especially in terms of GHC, is something that only happens occasionally |
| 12:20:05 | <maerwald[m]> | That's not good enough imo |
| 12:20:23 | <jkaye[m]> | Hmm, that makes sense. I guess I didn't realize how much work was required to support 9.x |
| 12:20:31 | <maerwald[m]> | 8.6.5 was a very popular release for example |
| 12:20:35 | <Hecate> | maerwald[m]: I would even say "accidentally" |
| 12:20:38 | <maerwald[m]> | 8.10.7 seems to be too |
| 12:20:40 | → | alx741 joins (~alx741@181.199.42.143) |
| 12:20:53 | <Hecate> | the current GHC dev team doesn't view stability as part of their responsibilities |
| 12:21:04 | <jkaye[m]> | What I'm really thinking of is the Python diaspora, which should be avoided at almost any cost imo |
| 12:21:05 | <Hecate> | you have to come from the outside and ask for it |
| 12:21:30 | <Hecate> | jkaye[m]: I don't understand the parallel |
| 12:21:58 | <jkaye[m]> | Well, replace Haskell with python and 9.x with 3 and the statement is really similar |
| 12:22:13 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:22:30 | <jkaye[m]> | "One cannot retire the 2 series until a lot of packages support 3" is essentially exactly what happened over there |
| 12:22:30 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 12:22:53 | <maerwald[m]> | 9.x is mostly moving towards barely finished language features |
| 12:23:00 | <jkaye[m]> | I do not think the current situation is anything close to that, to be clear. Just drawing a parallel |
| 12:23:08 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:25:57 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:29:09 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 12:32:19 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:32:51 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 12:35:07 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 12:35:59 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 12:36:14 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 12:40:15 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 250 seconds) |
| 12:41:53 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 12:42:26 | → | komikat joins (~komikat@183.82.154.239) |
| 12:43:11 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:43:40 | → | alx741 joins (~alx741@181.199.42.143) |
| 12:44:41 | → | mason0 joins (~bc8147f2@cerf.good1.com) |
| 12:46:03 | <mason0> | hi. in one module a lot of constraints that are repeated throughout my code. is there a way to clean that up? something like MyConstraints = (Eq a, Show a, ...) |
| 12:46:07 | <mason0> | +I have |
| 12:46:41 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:46:54 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 260 seconds) |
| 12:46:54 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 12:47:14 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:49:00 | × | xff0x quits (~xff0x@2001:1a81:526f:1100:914:bfff:f86c:b7c0) (Ping timeout: 240 seconds) |
| 12:49:12 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:49:56 | → | xff0x joins (~xff0x@2001:1a81:526f:1100:2a8a:98e3:7598:70a0) |
| 12:53:19 | → | komikat joins (~komikat@183.82.154.239) |
| 12:53:23 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 12:55:00 | <geekosaur> | you can make a type alias for them. it may require ConstraintKinds extension |
| 12:55:18 | <geekosaur> | type C a = (Eq a, Show a, ...) |
| 12:55:20 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 12:56:08 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 12:56:39 | <geekosaur> | (make sure the 'a' is still a parameter or you will get surprising results, because it would be implicitly `forall`-ed |
| 12:56:40 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 12:56:43 | <geekosaur> | ) |
| 12:58:06 | <mason0> | that worked nicely |
| 12:58:07 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 12:58:13 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 12:59:30 | → | komikat joins (~komikat@183.82.154.239) |
| 12:59:43 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 12:59:55 | → | komikat joins (~komikat@183.82.154.239) |
| 13:03:55 | → | alx741 joins (~alx741@181.199.42.143) |
| 13:07:44 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 13:08:23 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:11:41 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 13:12:32 | → | fef joins (~thedawn@user/thedawn) |
| 13:12:51 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 13:13:41 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 13:16:01 | <mason0> | I am trying to do something a bit questionable .. unsafePerformIO some structure that is assigned to top-level variable, to check if some properties are true (if they are, my program should quit). I thought unsafePerformIO alone would be enough, but exiting is still delayed until that structure is evaluated. do I need to use deepseq? |
| 13:16:36 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 13:16:48 | <c_wraith> | that won't help either. |
| 13:16:59 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 13:17:01 | <c_wraith> | top-level values aren't evaluated until demanded. |
| 13:17:10 | <c_wraith> | nothing you can do will change that. |
| 13:17:25 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 13:17:25 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 13:17:25 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:17:33 | <mason0> | deepseq in main should do it, no? |
| 13:18:16 | <c_wraith> | if you're going to do that, no need to unsafePerformIO anything |
| 13:18:26 | <c_wraith> | just do the work in main |
| 13:18:35 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 13:18:52 | <mason0> | then I have to pass that top-level variable to all the functions that work with it.. I guess it would work, but it would require a lot of code change, plus more clutter |
| 13:19:23 | <c_wraith> | in an important sense, that's more honest |
| 13:19:55 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 13:20:06 | <c_wraith> | If you depend on something that is the result of executing an IO value at run time, it's a lot more honest to make it a parameter |
| 13:20:52 | <c_wraith> | If it seems like clutter, it's probably time to look into arranging things to reduce the clutter |
| 13:20:53 | <mason0> | I am only using IO to force evaluation. the code itself is pure |
| 13:21:07 | <c_wraith> | then why is unsafePerformIO involved at all? |
| 13:21:31 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:21:56 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 13:22:04 | <mason0> | yeah right I don't need it. I thought that would force evaluation at top level, but it doesn't. I still need to deepseq that variable in main, so I guess that is less questionable |
| 13:22:12 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 13:23:12 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:24:04 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 13:24:57 | × | mbuf quits (~Shakthi@117.96.199.11) (Read error: Connection reset by peer) |
| 13:25:40 | → | mbuf joins (~Shakthi@117.96.199.11) |
| 13:31:20 | <mason0> | ok, I made this way too complex trying to make it work automatically. I can just do exitIfPropertyTrue topLevelVar in main. and I guess it needs to be IO, to ensure exception crashes the program right there? |
| 13:32:11 | <geekosaur> | don't even need an exception (unless that's how it reports anyway), just exitFailure |
| 13:32:57 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 13:33:42 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 13:34:39 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 13:36:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 13:38:30 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:39:01 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 13:41:54 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:42:30 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:42:42 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 13:43:32 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:43:45 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 13:46:16 | <mason0> | geekosaur, is that preferred way to quit with a failure over throwing exception? |
| 13:46:24 | <geekosaur> | yes |
| 13:46:51 | <geekosaur> | exceptions should be, well, exceptional. and exceptions can be caught |
| 13:47:28 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 13:47:32 | <geekosaur> | you can also use it constructively, returning specific exit codes for specific failure modes |
| 13:48:40 | <geekosaur> | although you'll have to go beyond exitFailure for that (iirc exitFailure is always exit code 1): https://downloads.haskell.org/ghc/8.10.7/docs/html/libraries/base-4.14.3.0/System-Exit.html#v:exitWith |
| 13:51:08 | × | Giovanni quits (~Giovanni@176.67.166.45) (Read error: Connection reset by peer) |
| 13:51:38 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:51:46 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 13:52:46 | → | Giovanni joins (~Giovanni@216.73.161.200) |
| 13:54:31 | → | cheater joins (~Username@user/cheater) |
| 13:55:07 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:55:16 | <maerwald[m]> | https://hackage.haskell.org/package/base-4.16.0.0/docs/System-Exit.html#v:exitWith |
| 13:55:17 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 13:57:19 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 13:57:40 | → | kenran joins (~kenran@200116b82b2bf100d77c1a62a38a1f9a.dip.versatel-1u1.de) |
| 13:58:49 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 14:00:07 | → | alx741 joins (~alx741@181.199.42.143) |
| 14:00:57 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 14:02:34 | → | Guest33_ joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 14:02:46 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:02:58 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 14:03:36 | → | alx741 joins (~alx741@181.199.42.143) |
| 14:03:53 | × | Giovanni quits (~Giovanni@216.73.161.200) (Ping timeout: 250 seconds) |
| 14:04:36 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 14:04:58 | → | Giovanni joins (~Giovanni@176.67.166.45) |
| 14:05:56 | × | Guest33_ quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 14:05:57 | → | alp joins (~alp@user/alp) |
| 14:06:16 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 14:06:48 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 14:09:14 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 14:09:54 | → | v0rpun1 joins (~pvorp@82.102.19.132) |
| 14:10:22 | × | komikat quits (~komikat@183.82.154.239) (Read error: Connection reset by peer) |
| 14:10:49 | × | vorpuni quits (~pvorp@2001:861:3881:c690:2c18:b650:f4c7:9238) (Ping timeout: 250 seconds) |
| 14:11:35 | → | komikat joins (~komikat@183.82.154.239) |
| 14:11:37 | → | Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 14:12:04 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 14:12:04 | × | Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 14:12:15 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 14:17:51 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 14:18:21 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 14:19:19 | → | vorpuni joins (~pvorp@2001:861:3881:c690:e9a5:f571:83b1:71ed) |
| 14:19:55 | × | v0rpun1 quits (~pvorp@82.102.19.132) (Ping timeout: 272 seconds) |
| 14:19:56 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 14:21:38 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 14:24:00 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:24:00 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 14:24:17 | → | hololeap_ joins (~hololeap@user/hololeap) |
| 14:24:37 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 14:28:04 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 14:31:22 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 14:36:31 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 14:36:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 14:38:23 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:39:00 | → | coot joins (~coot@213.134.190.95) |
| 14:40:30 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:40:45 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 14:42:03 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:42:46 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 14:44:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 14:45:44 | → | Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 14:45:59 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 14:46:05 | → | bahamas joins (~lucian@84.232.140.52) |
| 14:48:01 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 14:48:58 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 14:49:17 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 14:50:33 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 14:50:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:50:51 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:50:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:50:55 | × | michalz quits (~michalz@185.246.204.65) (Remote host closed the connection) |
| 14:51:24 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:51:32 | → | michalz joins (~michalz@185.246.204.75) |
| 14:52:33 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 14:55:21 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 14:56:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:58:10 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 14:59:05 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 14:59:43 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:59:43 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:59:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:59:53 | → | bahamas joins (~lucian@84.232.140.52) |
| 15:00:38 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 15:02:01 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:03:59 | × | michalz quits (~michalz@185.246.204.75) (Remote host closed the connection) |
| 15:04:51 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:05:17 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 15:05:51 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 15:06:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:07:09 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 15:09:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 15:13:51 | → | Topsi joins (~Tobias@dyndsl-037-138-065-181.ewe-ip-backbone.de) |
| 15:16:04 | × | komikat quits (~komikat@183.82.154.239) (Read error: Connection reset by peer) |
| 15:16:08 | → | fendor joins (~fendor@178.165.185.73.wireless.dyn.drei.com) |
| 15:17:11 | → | komikat joins (~komikat@183.82.154.239) |
| 15:17:45 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 15:20:46 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 245 seconds) |
| 15:20:52 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 15:21:59 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 15:22:43 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:25:17 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 15:30:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:31:53 | → | alfonsox joins (~quassel@103.87.57.4) |
| 15:38:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 15:41:11 | × | xff0x quits (~xff0x@2001:1a81:526f:1100:2a8a:98e3:7598:70a0) (Ping timeout: 245 seconds) |
| 15:42:12 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 15:42:27 | → | bahamas joins (~lucian@84.232.140.52) |
| 15:43:08 | → | xff0x joins (~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) |
| 15:47:08 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:49:19 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:55:35 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 15:57:11 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:59:17 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 16:00:09 | × | finalti[m] quits (~finaltima@2001:470:69fc:105::d909) (Quit: You have been kicked for being idle) |
| 16:00:09 | × | cstml[m] quits (~cstmlmatr@2001:470:69fc:105::1:5c07) (Quit: You have been kicked for being idle) |
| 16:00:10 | × | tripa[m] quits (~tripamatr@2001:470:69fc:105::1:4f7e) (Quit: You have been kicked for being idle) |
| 16:00:12 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 16:03:52 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 16:06:24 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:06:29 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 16:06:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 16:07:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:09:59 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 16:09:59 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:14:16 | <pareto-optimal-d> | Do GHC plugins annotate source they generate in anyway so that you know they were generated by the plugin? |
| 16:14:23 | <pareto-optimal-d> | * Do GHC plugins annotate source they generate in any way so that you know they were generated by the plugin? |
| 16:15:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 16:16:34 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:16:50 | <geekosaur> | plugins only operate on the AST, not source. (even "source" plugins, confusingly) I think the only annotation they provide is any written by the plugin author; however in the absence of such it means they won't have the source annotations everything else does |
| 16:22:21 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 16:23:37 | → | tomku joins (~tomku@user/tomku) |
| 16:23:45 | × | mmhat quits (~mmh@55d4cbdc.access.ecotel.net) (Ping timeout: 256 seconds) |
| 16:26:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:26:39 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:32:26 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:36:16 | → | mmhat joins (~mmh@55d4cbdc.access.ecotel.net) |
| 16:36:24 | → | bahamas joins (~lucian@84.232.140.52) |
| 16:38:38 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) |
| 16:40:01 | × | mbuf quits (~Shakthi@117.96.199.11) (Quit: Leaving) |
| 16:40:11 | × | Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 256 seconds) |
| 16:40:32 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 16:43:36 | → | dimsuz joins (~dimsuz@185.17.128.68) |
| 16:46:43 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 16:47:46 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 16:48:22 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 16:48:23 | <dimsuz> | Hi. Maybe a bit weird question. I have `data MyType = MyType Int (Maybe Text) Int` and there's a situation when I construct it from 3 maybe's and I want `Maybe MyType`, but in this one situation I want to construct it only if middle maybe is a Just. I'm eager to write something like `MyType <$> maybe1 <*> maybe2 <*> maybe3`, but somehow this should |
| 16:48:24 | <dimsuz> | succeed only if maybe2 is a Just. I can do this with "do" notation in a Maybe monad, but maybe there's something more elegant?) |
| 16:48:29 | → | bahamas joins (~lucian@84.232.140.52) |
| 16:48:57 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:50:10 | <dimsuz> | (to be clear, I know that <$> <*> stuff as I've written above wouldn't work), I just wanted to show my intention of "something" like this |
| 16:50:16 | <kaol> | fmap Just . maybe2 |
| 16:50:46 | <geekosaur> | that doesn't sound right |
| 16:51:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:53:02 | <monochrom> | > (,,,) <$> Just 0 <*> Nothing <*> Just 1 |
| 16:53:02 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 16:53:03 | <lambdabot> | error: |
| 16:53:04 | <lambdabot> | • No instance for (Typeable d0) |
| 16:53:04 | <lambdabot> | arising from a use of ‘show_M30908252279909100758’ |
| 16:54:29 | <monochrom> | Ah, too many commas. |
| 16:54:34 | <monochrom> | > (,,) <$> Just 0 <*> Nothing <*> Just 1 |
| 16:54:36 | <lambdabot> | Nothing |
| 16:54:41 | <monochrom> | works. |
| 16:56:22 | <joel135> | > (,,) <$> Just 0 <*> Just 9 <*> Just 1 |
| 16:56:24 | <lambdabot> | Just (0,9,1) |
| 16:56:24 | <dimsuz> | To explain a bit: I have a record type with 3 fields. Let's say they're all maybe's. Then there's *optional* user input of 3 values. some maybe missing (Nothing). Then I want to construct this value only when user has entered 3 values. I.e. I want `Just (MyType (Just 0) (Just "foo") (Just 5))`. if at least one is missing I want Nothing (hehe) |
| 16:57:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 16:57:42 | <monochrom> | Oops I misread. |
| 16:59:17 | <kaol> | > (\a b c -> (,,) <$> a <*> (Just <$> b) <*> c) (Just 3) (Just 2) (Just 1) |
| 16:59:19 | <monochrom> | The "fmap Just" idea is right. MyType <$> maybe1 <*> fmap Just maybe2 <*> maybe3 |
| 16:59:19 | <lambdabot> | Just (3,Just 2,1) |
| 16:59:30 | → | bahamas joins (~lucian@84.232.140.52) |
| 17:01:36 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 17:02:14 | → | merijn joins (~merijn@c-001-002-004.client.esciencecenter.eduvpn.nl) |
| 17:02:45 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) (Quit: ccntrq) |
| 17:03:04 | <sm> | HN thread on error handling: https://news.ycombinator.com/item?id=30477630 |
| 17:03:41 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:03:41 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:03:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:04:39 | <dimsuz> | ooohhh. thank you all, time to parse answers, read post and understand :) |
| 17:04:39 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.4) |
| 17:04:52 | → | caubert joins (~caubert@136.244.111.235) |
| 17:05:24 | × | caubert quits (~caubert@136.244.111.235) (Client Quit) |
| 17:05:51 | → | caubert joins (~caubert@136.244.111.235) |
| 17:07:51 | <sm> | hi dimsuz that post wasn't meant for your q (but might be a good read anyway) |
| 17:08:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:08:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 17:08:32 | <kaol> | https://github.com/KSF-Media/affresco/blob/master/apps/mosaico/src/Cache.purs#L140-L143 PureScript, not Haskell, but anyway. Never had a problem I couldn't solve by adding one more fmap. |
| 17:10:56 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:13:04 | <dimsuz> | sm hah, I will, because the error handling was a stumbling block for me after I've grasped monads/applicatives and started writing a simple-ish Yesod backend. I googled a bit and found *so many* opinions and all this sync/async/either/bracket/masked/EitherT/ExceptT etc made my head spin. To this day I'm not sure how to handle errors in Haskell, I |
| 17:13:05 | <dimsuz> | wish there was some modern go-to standard. at least good enough for novices/intermedate language users. |
| 17:14:04 | → | xkuru joins (~xkuru@user/xkuru) |
| 17:19:13 | <sm> | I haven't read the article yet. Michael Snoyman's blog posts are illuminating |
| 17:22:09 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:22:09 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:22:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:23:22 | × | kuribas quits (~user@ptr-25vy0i8e4r37e819m2o.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 17:26:25 | <dimsuz> | is there some common way to perform an IO action on a value only if Maybe is a Just. I can do "maybe (pure ()) doIOStuff maybeValue" but it's a bit tedious to write |
| 17:26:36 | → | Midjak joins (~Midjak@82.66.147.146) |
| 17:26:37 | <lyxia> | traverse_ |
| 17:27:25 | <dimsuz> | ah, right! or forM_. Now I remembered I asked similar question here. thanks! |
| 17:28:19 | → | AlexZenon_2 joins (~alzenon@94.233.240.108) |
| 17:28:24 | <kaol> | Or foldMap |
| 17:28:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:29:13 | × | AlexZenon quits (~alzenon@94.233.240.108) (Ping timeout: 256 seconds) |
| 17:30:11 | <sm> | these very practical monastic combinators somehow don't surface enough in the docs/learning curve. They are always a puzzle at first |
| 17:30:38 | <sm> | er, monadic. :) My phone really wants to call them monastic. |
| 17:30:53 | <kaol> | It's not wrong. :-P |
| 17:31:05 | <sm> | sequence is another one |
| 17:32:21 | <dimsuz> | yeah. I guess that's why I abuse (hope not) chats. After many years of writing in other languages it's so nice to experience these "clicks" after asking potentially dumb questions in some new area. |
| 17:32:22 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:34:21 | <sm> | you can also use fmap, or just dosomething <$> maybevalue |
| 17:34:50 | → | kayvank joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 17:35:43 | × | merijn quits (~merijn@c-001-002-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 17:40:10 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 17:40:24 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 17:41:20 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 17:41:26 | AlexZenon_2 | is now known as AlexZenon |
| 17:41:59 | <dimsuz> | I remember that I can use <$>, but that would be too verbose in this situation (IO function call with many params + sequenced print), so I went with forM_ in this case |
| 17:44:33 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 256 seconds) |
| 17:48:03 | → | perro joins (~perro@072-191-245-069.res.spectrum.com) |
| 17:49:00 | dpratt__ | is now known as dpratt |
| 17:50:10 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:51:14 | → | RamaSidri joins (~jh@KH42117.karlshof.wh.tu-darmstadt.de) |
| 17:52:14 | ← | RamaSidri parts (~jh@KH42117.karlshof.wh.tu-darmstadt.de) (Konversation terminated!) |
| 17:52:15 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:54:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 17:55:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:56:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 17:56:58 | <byorgey> | dimsuz: not abusing chats at all =) |
| 17:57:51 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:57:51 | <byorgey> | monastic combinators are the ones where you have to think hard in a quiet place by yourself for several days before you can understand them |
| 17:58:40 | <texasmynsted> | sm: Great idea using obsidian. I did not think of that. |
| 18:04:02 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 18:05:31 | → | bahamas joins (~lucian@84.232.140.52) |
| 18:05:45 | × | nek0 quits (~nek0@nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 18:07:01 | × | zer0bitz_ quits (~zer0bitz@2001:2003:f74d:b800:14c2:362b:4032:a582) (Ping timeout: 240 seconds) |
| 18:07:26 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:10:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:11:42 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:4d3e:ae3:d6a0:1183) |
| 18:13:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:16:09 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 18:17:12 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 18:17:20 | → | nek0 joins (~nek0@nek0.eu) |
| 18:17:59 | <sm> | texasmynsted: let us know how it works |
| 18:19:48 | × | Midjak quits (~Midjak@82.66.147.146) (Ping timeout: 240 seconds) |
| 18:20:29 | × | dimsuz quits (~dimsuz@185.17.128.68) (Ping timeout: 256 seconds) |
| 18:20:35 | → | Midjak joins (~Midjak@82.66.147.146) |
| 18:23:20 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:23:20 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:23:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:23:50 | × | xff0x quits (~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) (Ping timeout: 260 seconds) |
| 18:24:40 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 18:25:22 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 18:27:05 | × | unyu quits (~pyon@user/pyon) (Quit: Reboot.) |
| 18:28:27 | × | alfonsox quits (~quassel@103.87.57.4) (Remote host closed the connection) |
| 18:29:48 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 18:30:02 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-a068-f96d-6ad8-5504.res6.spectrum.com) (Remote host closed the connection) |
| 18:30:13 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:31:40 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:31:46 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 18:32:04 | → | zebrag joins (~chris@user/zebrag) |
| 18:33:04 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 18:36:13 | → | unyu joins (~pyon@user/pyon) |
| 18:36:18 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:43:17 | <monochrom> | Haha yesterday's xkcd implies that monads are cool math but not about anything you will ever see or touch, since "return" is written "µ" in math texts. So yeah, monastric combinators. :) |
| 18:43:27 | → | alp joins (~alp@user/alp) |
| 18:44:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:46:36 | <int-e> | monochrom: it could just be a measure |
| 18:47:20 | <int-e> | (which I suspect is closer to Randall's education) |
| 18:48:12 | <geekosaur> | yeh,I immediately thought "micro" |
| 18:48:46 | <monochrom> | :( |
| 18:49:00 | <int-e> | oh that would be even simpler, alluding to microscopes maybe |
| 18:49:28 | × | kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 18:49:35 | <int-e> | If the Greek alphabet was made for math, it would have way more letters. :) |
| 18:51:16 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 18:51:59 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 18:52:13 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 18:54:30 | → | xff0x joins (~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) |
| 18:54:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:55:37 | <Unicorn_Princess> | PSA: setting 4-space indents on spacemacs is as easy as writing, in dotspacemacs/layers, (haskell variables: lsp-haskell-formatting-provider "fourmolu") |
| 18:56:05 | <Unicorn_Princess> | (and also setting every haskell-indentation- variable to 4, also in :variables) |
| 18:56:36 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 18:57:00 | <Unicorn_Princess> | (also i don't recall installing neither ormolu or fourmolu, maybe spacemacs installed them as part of the layer? who knows, glhf) |
| 18:57:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:58:46 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 19:00:09 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 19:04:17 | → | econo joins (uid147250@user/econo) |
| 19:10:17 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:10:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 19:11:36 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Read error: Connection reset by peer) |
| 19:11:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 19:13:41 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:15:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:16:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:18:21 | × | Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 19:19:15 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 19:19:36 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 19:19:36 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 19:24:07 | × | perro quits (~perro@072-191-245-069.res.spectrum.com) (Quit: WeeChat 3.3) |
| 19:27:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 19:32:23 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 19:32:48 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:33:45 | → | yauhsien_ joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 19:35:31 | → | yauhsie__ joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 19:36:30 | × | yauhsien quits (~Yau-Hsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 19:36:31 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:36:57 | × | yauhsie__ quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 19:36:59 | × | deadmarshal quits (~deadmarsh@95.38.117.81) (Ping timeout: 256 seconds) |
| 19:37:56 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 19:40:41 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 19:42:12 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 19:42:45 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 19:43:07 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 19:46:55 | <maerwald> | how do I import (.) qualified? xD |
| 19:47:07 | <maerwald> | `f P.. g` doesn't work |
| 19:47:16 | <geekosaur> | it should |
| 19:47:23 | <maerwald> | parse error |
| 19:47:24 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 19:47:35 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Remote host closed the connection) |
| 19:47:54 | <geekosaur> | % :t Control.Category.. |
| 19:47:55 | <yahb> | geekosaur: ; <interactive>:1:1: error: parse error on input `Control.Category..' |
| 19:48:13 | <maerwald> | gg |
| 19:48:13 | <geekosaur> | % :t (Control.Category..) |
| 19:48:13 | <yahb> | geekosaur: forall {k} {cat :: k -> k -> *} {b :: k} {c :: k} {a :: k}. Category cat => cat b c -> cat a b -> cat a c |
| 19:48:20 | <geekosaur> | derp |
| 19:48:56 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:49:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 19:49:55 | → | ghost4096 joins (pranshukha@envs.net) |
| 19:50:26 | <xerox> | if you hide Prelude ((.)) then using (M..) works, in my lil test |
| 19:51:11 | <xerox> | actually no, hiding is not neded, import qualified M ((.)) and (M..) does work in the little test |
| 19:51:37 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:52:51 | <geekosaur> | right, worked here too |
| 19:52:52 | <maerwald> | but not infix |
| 19:52:58 | <geekosaur> | preparing paste |
| 19:52:58 | <maerwald> | P.$ works infix P.. not |
| 19:53:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:54:34 | <geekosaur> | https://paste.tomsmeding.com/9kdrHxX6 |
| 19:55:12 | <xerox> | like this? https://pastebin.com/raw/5PbXSa4q |
| 19:55:13 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 19:55:42 | <maerwald> | that's odd |
| 19:56:12 | × | Topsi quits (~Tobias@dyndsl-037-138-065-181.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 19:56:26 | <maerwald> | is this a bug? |
| 19:56:26 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:01:15 | <monochrom> | No, it's in Haskell 2010. |
| 20:06:06 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 20:06:41 | × | bendo quits (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 20:06:42 | → | komikat joins (~komikat@183.82.154.239) |
| 20:06:45 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 20:07:19 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 20:08:02 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 20:11:00 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 240 seconds) |
| 20:11:29 | <hololeap_> | is there a way, using cabal v1, to point to another package that has been built and is sitting in a dist/ directory? I tried --package-db=${path}/dist/package.conf.inplace |
| 20:11:34 | hololeap_ | is now known as hololeap |
| 20:12:02 | <hololeap> | the libHS*.so and libHS*.a files are there in ${path}/dist/build |
| 20:13:19 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:13:25 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 20:14:40 | <geekosaur> | the package.conf.inplace isnot a package db, it's a configuration ready to be registered in a package db |
| 20:15:03 | → | komikat joins (~komikat@183.82.154.239) |
| 20:15:31 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 20:16:34 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:17:59 | <hololeap> | I just need to temporarily tell ghc/cabal that this particular package is available in a different location |
| 20:18:49 | <hpc> | with cabal v1, wouldn't you just cabal install that other package from a file and then it's just there? |
| 20:18:52 | <geekosaur> | you have to build a new package db including that package and put it at the top of the package db stack with --package-db |
| 20:19:17 | <geekosaur> | otherwise what hpc said |
| 20:19:40 | <geekosaur> | cabal v1 is not real smart and defers most stuff to ghc, which is also not real smart about this |
| 20:19:47 | <sclv> | why can’t you use v2? |
| 20:19:49 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 20:20:07 | <ski> | shouldn't that be "join", not "return" ? |
| 20:20:17 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 20:21:14 | → | komikat joins (~komikat@183.82.154.239) |
| 20:21:41 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 20:21:42 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 20:23:03 | <hololeap> | I'm trying to package streamly for gentoo, which runs v1 in a sandbox. streamly bundles tests as another cabal file in a subdir which has `build-depends: streamly`. I would rather run the tests within the same build rather than create another `streamly-tests` package for gentoo |
| 20:23:26 | → | lechner joins (~lechner@debian/lechner) |
| 20:23:45 | <romesrf> | how can I use -ddump-simpl with cabal? I can't get any output |
| 20:23:57 | <romesrf> | I've added it to ghc-options |
| 20:24:00 | <hololeap> | so I will try out geekosaur's idea |
| 20:24:01 | <sclv> | gotcha. in this case i would just not bundle the tests |
| 20:24:22 | <sclv> | but that idea should work |
| 20:24:22 | <geekosaur> | cabal forces -ddump-to-file, so somewhere in dist-newstyle will be a foo.dump-simpl |
| 20:24:30 | <geekosaur> | romesrf, ^ |
| 20:24:37 | <romesrf> | geekosaur: let me check |
| 20:24:39 | <geekosaur> | (so does stack) |
| 20:25:24 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 240 seconds) |
| 20:25:30 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 20:25:47 | <romesrf> | find dist-newstyle -name "*dump*" -- still nothing |
| 20:25:59 | <romesrf> | geekosaur: where should ghc-options be in the cabal hierarchy |
| 20:26:13 | <romesrf> | perhaps I'm specifying -ddump-simpl in the wrong place |
| 20:26:34 | → | komikat joins (~komikat@183.82.154.239) |
| 20:26:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 20:26:55 | <geekosaur> | it should be in the cabal file, in the stanza for the appropriate library or executable |
| 20:27:44 | <geekosaur> | it won't do anything useful in cabal.project unless the appropriate package gets rebuilt, and even then I thinkit needs to be inside a `package whatever` stanza |
| 20:28:02 | <romesrf> | right. well, I'm stuck |
| 20:28:26 | <geekosaur> | also if you simply dropped it in without forcing a rebuilt, it may not take effect. use 0fforce-rebuild or clean the project in that case |
| 20:28:35 | <romesrf> | okay! |
| 20:28:36 | <geekosaur> | -fforce-rebuild |
| 20:28:38 | <romesrf> | thank you |
| 20:29:48 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 20:29:55 | <hololeap> | geekosaur: how would I go about generating a new package db and adding this package in dist/ to it? I just tried `ghc-pkg -f foo init` but it gave me "ghc-pkg: command-line syntax error" |
| 20:31:47 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 20:32:23 | <romesrf> | geekosaur: that did it. many thanks :-) |
| 20:32:24 | <geekosaur> | ghc-pkg init pkgdb |
| 20:32:41 | <geekosaur> | don't use the package db option, it must be a parameter to init |
| 20:33:11 | <geekosaur> | then ghc-pkg -fpkgdb register …/package.conf.inplace |
| 20:33:20 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:33:24 | <geekosaur> | *-f pkgdb |
| 20:34:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:35:51 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 20:38:11 | <hololeap> | geekosaur: thanks, although I can't seem to figure out how to get the register command to work |
| 20:38:16 | <hololeap> | > Reading package info from "dist/package.conf.inplace/" ... ghc-pkg: dist/package.conf.inplace/: openBinaryFile: inappropriate type (is a directory) |
| 20:38:35 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 20:38:50 | <hololeap> | > Reading package info from "dist/package.conf.inplace/package.cache" ... ghc-pkg: "the input" (line 1, column 1): unexpected character in input '\NUL' expecting field or section name |
| 20:39:41 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:40:36 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:40:36 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:40:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:41:25 | → | emf joins (~emf@2620:10d:c090:400::5:f613) |
| 20:41:55 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 20:43:12 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 20:44:22 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 20:44:50 | <geekosaur> | oh weird, I guess it already is a package db |
| 20:44:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 20:45:08 | <geekosaur> | so you should have been ablee to point to it with --package-db |
| 20:45:44 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 20:48:48 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 20:49:14 | <geekosaur> | try running ghc-pkg -f …/package.conf.inplace recache, then using it with ghc/cabal |
| 20:50:54 | → | kmein joins (~weechat@user/kmein) |
| 20:51:32 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:51:49 | × | dvdrw quits (~dvdrw@user/dvdrw) (Quit: leaving) |
| 20:52:24 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 20:52:58 | <hololeap> | no, it doesn't work. in fact, dist/package.conf.inplace/package.cache looks empty. I _can_ get it to work, more or less, if I hand-write a barebones InstalledPackageInfo spec for streamly and then give that to `ghc-pkg register` |
| 20:53:30 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
| 20:54:32 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:54:32 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:54:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:55:11 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 20:55:21 | <geekosaur> | odd. so it created the in-place db but didn't populate it? not that I remember enough of how cabal v1 worked at this point |
| 20:55:49 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 20:56:01 | <hololeap> | that's what it looks like |
| 20:56:27 | <hololeap> | I'll keep playing around with it |
| 20:56:59 | <hololeap> | although it would be nice if I could get it to auto-generate the InstalledPackageInfo for me |
| 20:57:08 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 20:57:55 | → | alx741 joins (~alx741@181.199.42.143) |
| 20:58:13 | <geekosaur> | might check if that is somewhere under dist as well; I think it's generated by Setup.hs |
| 20:58:18 | → | fendor_ joins (~fendor@212095005243.public.telering.at) |
| 20:58:52 | → | deadmarshal joins (~deadmarsh@95.38.117.81) |
| 20:59:11 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 20:59:12 | <geekosaur> | or there might be a way to invoke Setup.hs to have it spit out the InstalledPackageInfo post-`Setup conf` |
| 20:59:19 | <geekosaur> | *configure |
| 20:59:30 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:59:44 | <geekosaur> | again Idon'trecall how that works at this point. might be `Setup configure` spits it out |
| 21:00:36 | × | fendor quits (~fendor@178.165.185.73.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 21:01:10 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 21:01:45 | → | michalz joins (~michalz@185.246.204.87) |
| 21:02:28 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 21:03:05 | → | Guest|69 joins (~Guest|69@104.28.89.46) |
| 21:03:05 | × | fendor_ quits (~fendor@212095005243.public.telering.at) (Read error: Connection reset by peer) |
| 21:03:15 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 21:03:25 | × | deadmarshal quits (~deadmarsh@95.38.117.81) (Ping timeout: 256 seconds) |
| 21:04:46 | × | Guest|69 quits (~Guest|69@104.28.89.46) (Client Quit) |
| 21:04:48 | → | fendor_ joins (~fendor@178.165.185.73.wireless.dyn.drei.com) |
| 21:05:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 21:05:36 | → | alp joins (~alp@user/alp) |
| 21:06:31 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:07:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:10:20 | → | fendor__ joins (~fendor@212095005243.public.telering.at) |
| 21:11:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 21:11:28 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 21:11:28 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 21:11:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:13:05 | × | fendor_ quits (~fendor@178.165.185.73.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 21:13:07 | → | pavonia joins (~user@user/siracusa) |
| 21:14:25 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
| 21:15:08 | × | mason0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 21:15:53 | → | cynomys joins (~cynomys@user/cynomys) |
| 21:15:53 | × | fendor__ quits (~fendor@212095005243.public.telering.at) (Read error: Connection reset by peer) |
| 21:16:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 21:16:48 | → | fendor__ joins (~fendor@178.165.185.73.wireless.dyn.drei.com) |
| 21:18:09 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:20:27 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 21:21:03 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:21:13 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:23:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:24:50 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 252 seconds) |
| 21:26:55 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 21:27:08 | → | komikat joins (~komikat@183.82.154.239) |
| 21:30:54 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:a81a:aef8:4653:fe6c) (Ping timeout: 250 seconds) |
| 21:32:04 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:e14b:875c:3570:34de) |
| 21:33:17 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 21:33:33 | × | dvdrw quits (~dvdrw@user/dvdrw) (Client Quit) |
| 21:34:17 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 21:34:36 | × | dvdrw quits (~dvdrw@user/dvdrw) (Client Quit) |
| 21:39:45 | → | alx741 joins (~alx741@181.199.42.143) |
| 21:40:13 | × | vorpuni quits (~pvorp@2001:861:3881:c690:e9a5:f571:83b1:71ed) (Remote host closed the connection) |
| 21:40:31 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 21:41:36 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 21:42:24 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 21:42:33 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 21:43:15 | → | alx741 joins (~alx741@181.199.42.143) |
| 21:46:34 | <hololeap> | ./setup register --inplace --gen-pkg-config ; ghc-pkg -f pkgdb register streamly-0.8.1.1.conf -- this seems to work, geekosaur |
| 21:47:51 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 21:48:18 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 21:48:41 | × | canta quits (~canta@user/canta) (Quit: WeeChat 2.8) |
| 21:48:42 | <hololeap> | it would _seem_ like dist/package.conf.inplace would be used for this purpose, but I don't know when it actually gets populated |
| 21:52:50 | → | canta joins (~canta@user/canta) |
| 21:53:06 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 21:53:43 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:54:00 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 21:55:25 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 21:55:27 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 21:55:35 | <hololeap> | I know that cabal-doctest uses it, so who knows |
| 21:56:18 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:4d3e:ae3:d6a0:1183) (Read error: Connection reset by peer) |
| 21:56:18 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:56:31 | → | komikat joins (~komikat@183.82.154.239) |
| 21:56:43 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:6d01:d8ee:e30a:cd90) |
| 22:01:13 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 22:03:17 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 22:04:16 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 22:04:36 | → | komikat joins (~komikat@183.82.154.239) |
| 22:07:40 | → | malc joins (~malc@2a00:1370:8180:aa79:1516:c12d:fb90:440e) |
| 22:08:04 | ← | malc parts (~malc@2a00:1370:8180:aa79:1516:c12d:fb90:440e) (ERC (IRC client for Emacs 28.0.50)) |
| 22:09:59 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 22:11:48 | → | komikat joins (~komikat@183.82.154.239) |
| 22:12:34 | → | son0p joins (~ff@181.136.122.143) |
| 22:14:41 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:15:58 | <dpratt> | what's the term for imports that look like "import Module ( C(f) )" vs. "import Module ( f )"? |
| 22:16:02 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 22:16:25 | → | hololeap joins (~hololeap@user/hololeap) |
| 22:17:28 | <geekosaur> | importing with data constructors? I don't think there's a fancier one |
| 22:18:31 | <ski> | i suppose `C' was a type class, and `f' a method, there |
| 22:18:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:18:47 | <ski> | (could also be a field name, i guess) |
| 22:19:20 | × | kenran quits (~kenran@200116b82b2bf100d77c1a62a38a1f9a.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 22:20:07 | <dpratt> | ski: correct, I wasn't considering that it could be ambiguous |
| 22:21:31 | <geekosaur> | mm, I'd thought methods and fields took up top level namespace and were treated as such (although technically so do data constructors, I guess) |
| 22:22:50 | <ski> | to be able to provide an implementation of a method, when doing an instance, you must import it as a (possibly polymorphic) method, not as an (always polymorphic, apart from zero-arity TCs) operation |
| 22:23:04 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 22:24:05 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 22:26:06 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 22:26:19 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 22:26:33 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:26:47 | → | LiaoTao_ joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 22:27:12 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 22:28:36 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 22:32:04 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 22:32:22 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 22:35:32 | → | Pickchea joins (~private@user/pickchea) |
| 22:35:46 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:37:45 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:39:14 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:41:34 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 22:42:00 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 22:44:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 22:44:03 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 22:44:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:46:13 | × | ayako quits (~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 240 seconds) |
| 22:46:29 | → | thebnq joins (~bnq@66-37-19-52.phx.onelemur.com) |
| 22:46:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 22:47:06 | → | img joins (~img@user/img) |
| 22:55:47 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:58:12 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 22:59:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:03:07 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:04:53 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 23:04:54 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 23:04:54 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:06:32 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 23:07:22 | × | fendor__ quits (~fendor@178.165.185.73.wireless.dyn.drei.com) (Remote host closed the connection) |
| 23:09:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 23:12:34 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 23:13:39 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:14:03 | → | yuvi joins (~uv125@192.54.96.185) |
| 23:14:20 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 23:15:48 | → | alx741 joins (~alx741@181.199.42.143) |
| 23:19:19 | → | yauhsienhuangtw joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 23:19:47 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 23:22:49 | × | yauhsien_ quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 23:25:46 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:29:06 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 23:31:10 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 23:32:37 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 23:32:57 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:34:09 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds) |
| 23:36:37 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 23:37:59 | → | komikat joins (~komikat@183.82.154.239) |
| 23:38:48 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 23:43:13 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 23:45:09 | → | komikat joins (~komikat@183.82.154.239) |
| 23:45:39 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 23:46:05 | → | alx741 joins (~alx741@181.199.42.143) |
| 23:46:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:46:45 | × | aeka quits (~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:46:59 | → | aeka joins (~aeka@user/hiruji) |
| 23:48:57 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 23:49:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:51:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:51:49 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 23:51:56 | → | mason0 joins (~bc8147f2@cerf.good1.com) |
| 23:53:31 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:6d01:d8ee:e30a:cd90) (Quit: Leaving) |
| 23:54:57 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506) |
| 23:55:03 | <dragestil> | when is the next haskell report likely to happen? |
| 23:56:04 | <geekosaur> | nobody knows |
| 23:57:00 | <yushyin> | there is not much momentum |
| 23:58:04 | → | komikat joins (~komikat@183.82.154.239) |
All times are in UTC on 2022-02-26.