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