| 2022-09-06 00:03:06 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 268 seconds) |
| 2022-09-06 00:04:20 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-06 00:08:38 +0000 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-06 00:10:13 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-09-06 00:14:56 +0000 | beteigeuze | (~Thunderbi@89.187.168.37) (Ping timeout: 260 seconds) |
| 2022-09-06 00:17:51 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-06 00:22:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 00:24:26 +0000 | jtomas | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-06 00:26:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-09-06 00:27:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-06 00:27:17 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 00:27:17 +0000 | `\` | (~blop@user/blop) (Remote host closed the connection) |
| 2022-09-06 00:27:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 00:27:54 +0000 | `\` | (~blop@user/blop) |
| 2022-09-06 00:28:07 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 00:28:20 +0000 | califax | (~califax@user/califx) |
| 2022-09-06 00:29:00 +0000 | tomgus1 | (~tomgus1@176.254.19.153) (Ping timeout: 268 seconds) |
| 2022-09-06 00:31:14 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 00:32:05 +0000 | jtomas | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-06 00:33:21 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-06 00:33:42 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds) |
| 2022-09-06 00:33:56 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-09-06 00:36:20 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 00:38:41 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-09-06 00:42:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 00:45:32 +0000 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-09-06 00:45:54 +0000 | P1RATEZ | (~piratez@user/p1ratez) (Remote host closed the connection) |
| 2022-09-06 00:48:19 +0000 | raym | (~raym@user/raym) |
| 2022-09-06 00:57:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 00:59:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-06 00:59:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-06 00:59:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-06 01:01:59 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Quit: going to try to do something, brb) |
| 2022-09-06 01:05:49 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-06 01:06:42 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-06 01:07:47 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-06 01:07:53 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 01:08:36 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-06 01:09:41 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds) |
| 2022-09-06 01:10:59 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-06 01:13:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-06 01:16:10 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-06 01:17:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-06 01:18:20 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-09-06 01:19:20 +0000 | ofl^ | (~ofl@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-06 01:19:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2280:3bf9:271f:231a) (Ping timeout: 268 seconds) |
| 2022-09-06 01:21:04 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds) |
| 2022-09-06 01:22:18 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Client Quit) |
| 2022-09-06 01:24:18 +0000 | mikoto-chan | (~mikoto-ch@dy57rh5rdwz3vpr-8w8jy-4.rev.dnainternet.fi) |
| 2022-09-06 01:25:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 01:25:29 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-06 01:27:15 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-06 01:29:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 01:30:33 +0000 | Successus | (~Successus@user/Successus) () |
| 2022-09-06 01:31:29 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-09-06 01:32:13 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) (Ping timeout: 252 seconds) |
| 2022-09-06 01:32:13 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-06 01:33:34 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) |
| 2022-09-06 01:33:41 +0000 | mikoto-chan | (~mikoto-ch@dy57rh5rdwz3vpr-8w8jy-4.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2022-09-06 01:34:49 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 01:39:08 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-06 01:39:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 01:41:43 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 01:42:19 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 01:48:14 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-06 01:50:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-06 01:52:20 +0000 | cowboy | (~cowboy@64.68.179.149) |
| 2022-09-06 01:53:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 01:57:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 01:57:45 +0000 | cowboy | (~cowboy@64.68.179.149) (Quit: WeeChat 3.5) |
| 2022-09-06 01:57:53 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-06 01:57:59 +0000 | cowboy | (~cowboy@64.68.179.149) |
| 2022-09-06 01:58:41 +0000 | sagittaria | (~sagittari@220.118.98.38) |
| 2022-09-06 01:59:30 +0000 | cowboy | (~cowboy@64.68.179.149) (Client Quit) |
| 2022-09-06 01:59:46 +0000 | cowboy | (~cowboy@64.68.179.149) |
| 2022-09-06 02:02:01 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-06 02:02:04 +0000 | Guest82 | (~Guest82@39.41.104.215) |
| 2022-09-06 02:02:18 +0000 | Guest82 | (~Guest82@39.41.104.215) (Client Quit) |
| 2022-09-06 02:03:26 +0000 | AlexZenon | (~alzenon@178.34.151.32) (Ping timeout: 260 seconds) |
| 2022-09-06 02:04:58 +0000 | Alex_test | (~al_test@178.34.151.32) (Ping timeout: 244 seconds) |
| 2022-09-06 02:05:13 +0000 | AlexNoo | (~AlexNoo@178.34.151.32) (Ping timeout: 252 seconds) |
| 2022-09-06 02:06:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 02:08:05 +0000 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-06 02:08:49 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-06 02:09:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 02:11:22 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-06 02:11:43 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-09-06 02:13:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 02:28:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 02:30:48 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 02:31:51 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 02:32:10 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 02:34:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 02:35:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 02:35:53 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 02:35:58 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 02:36:55 +0000 | frost | (~frost@user/frost) |
| 2022-09-06 02:37:51 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-06 02:40:37 +0000 | td_ | (~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 244 seconds) |
| 2022-09-06 02:42:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-06 02:42:22 +0000 | td_ | (~td@muedsl-82-207-238-233.citykom.de) |
| 2022-09-06 02:47:45 +0000 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 268 seconds) |
| 2022-09-06 02:47:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 02:50:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 02:50:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 02:51:12 +0000 | xiaolin107 | (~xiaolinz@111.198.227.124) (Quit: WeeChat 3.6) |
| 2022-09-06 02:51:15 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-06 02:52:53 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-06 02:52:54 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 02:56:32 +0000 | cowboy | (~cowboy@64.68.179.149) (Quit: #lua) |
| 2022-09-06 02:56:48 +0000 | cowboy | (~cowboy@64.68.179.149) |
| 2022-09-06 02:57:22 +0000 | zero | zzz |
| 2022-09-06 02:59:29 +0000 | cowboy | (~cowboy@64.68.179.149) (Client Quit) |
| 2022-09-06 02:59:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 03:00:40 +0000 | cowboy8625 | (~cowboy@64.68.179.149) |
| 2022-09-06 03:07:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 03:10:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 03:11:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 03:13:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 03:14:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 03:15:15 +0000 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 248 seconds) |
| 2022-09-06 03:17:07 +0000 | res0nat0r084490 | (~Fletch@dia.whatbox.ca) |
| 2022-09-06 03:18:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 03:18:42 +0000 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-06 03:18:55 +0000 | res0nat0r08449 | (~Fletch@dia.whatbox.ca) (Ping timeout: 252 seconds) |
| 2022-09-06 03:22:17 +0000 | <Clinton[m]> | lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/1fffb80628f6f97a9c57dee892c8899f93ae…) |
| 2022-09-06 03:22:24 +0000 | <Clinton[m]> | * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/f2362879554a88c436428b2e1d476598c8e3…) |
| 2022-09-06 03:22:45 +0000 | <Clinton[m]> | * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/b06abf051a67ee0efbeb7bd43e8a050c4f78…) |
| 2022-09-06 03:23:02 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-09-06 03:23:03 +0000 | <Clinton[m]> | * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/dbd7362cb27c4bb4e7fd709782f91b4d0a47…) |
| 2022-09-06 03:35:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 03:36:19 +0000 | <jackdk> | Clinton[m]: `g = (f .) . T`, but that's less good generally =) |
| 2022-09-06 03:37:02 +0000 | <jackdk> | Clinton[m]: `g a b = f (T {a, b})` with `-XNamedFieldPuns` |
| 2022-09-06 03:37:27 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-09-06 03:37:30 +0000 | <jackdk> | Clinton[m]: `g a b = f (T {..})` with `-XRecordWildCards` |
| 2022-09-06 03:43:08 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-06 03:44:16 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-06 03:44:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 03:45:27 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-06 03:49:36 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-09-06 03:50:22 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-06 03:50:46 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-09-06 03:53:27 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 03:55:58 +0000 | <qrpnxz> | was bout to upload my first hackage package, but you need to get a person to manually give you upload privs :/ hopefully soon :) |
| 2022-09-06 04:01:41 +0000 | <qrpnxz> | which got me thinking, i don't even know how to pull a dep that isn't from hackage without having the lib in the repo |
| 2022-09-06 04:02:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 04:08:47 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-06 04:15:58 +0000 | <maerwald[m]> | qrpnxz: you can specify urls to a package tarball in cabal.project |
| 2022-09-06 04:16:03 +0000 | <maerwald[m]> | In the packages section |
| 2022-09-06 04:16:26 +0000 | <jackdk> | qrpnxz: when emailing the trustees, a link to the repo will smooth the process. Also https://cabal.readthedocs.io/en/3.4/cabal-project.html (search: source-repository-package) is the way I usually recommend to pull in an external dep. https://github.com/brendanhay/amazonka/discussions/716 has examples of doing this for amazonka, for both cabal and stack. |
| 2022-09-06 04:17:06 +0000 | <qrpnxz> | thanks for the tips! |
| 2022-09-06 04:17:56 +0000 | <jackdk> | yw |
| 2022-09-06 04:18:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 04:19:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 04:21:26 +0000 | <qrpnxz> | this is it btw: https://git.sr.ht/~qrpnxz/effectful-st in case you are interested |
| 2022-09-06 04:23:02 +0000 | mbuf | (~Shakthi@49.204.117.94) |
| 2022-09-06 04:23:09 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-06 04:23:42 +0000 | <jackdk> | I'm still using mtl for pretty much everything, but that looks neat. You probably want to put some upper bounds on those dependencies; `cabal gen-bounds` can give you a good initial set and `cabal outdated` will let you know if you need to support more recent stuff |
| 2022-09-06 04:24:18 +0000 | <qrpnxz> | damn, i missed the up-bound for primitive. Thanks! |
| 2022-09-06 04:25:11 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-09-06 04:32:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 04:33:48 +0000 | sagittaria | (~sagittari@220.118.98.38) (Quit: sagittaria) |
| 2022-09-06 04:38:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 04:49:53 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-06 04:51:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 04:55:51 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-06 04:55:59 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 05:01:45 +0000 | analoq | (~yashi@user/dies) (Read error: Connection reset by peer) |
| 2022-09-06 05:05:29 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 05:06:48 +0000 | analoq | (~yashi@user/dies) |
| 2022-09-06 05:08:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 05:16:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-06 05:29:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-06 05:37:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 05:39:21 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-06 05:40:18 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-06 05:40:25 +0000 | mmhat | (~mmh@p200300f1c728cca8ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-06 05:42:21 +0000 | benin0 | (~benin@183.82.28.141) |
| 2022-09-06 05:46:21 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 05:47:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-06 05:50:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 05:50:57 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-06 05:51:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 05:56:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-06 05:56:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 06:00:09 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 268 seconds) |
| 2022-09-06 06:00:44 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 06:05:47 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-06 06:06:46 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 06:07:11 +0000 | phma | (phma@2001:5b0:211c:1318:d8c5:fdf3:6664:bfe2) (Read error: Connection reset by peer) |
| 2022-09-06 06:07:55 +0000 | phma | (~phma@host-67-44-208-94.hnremote.net) |
| 2022-09-06 06:13:22 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-06 06:17:34 +0000 | bebu | (uid567927@id-567927.uxbridge.irccloud.com) |
| 2022-09-06 06:18:56 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-06 06:22:37 +0000 | <bebu> | hi all, i read in LYAH that we can use `let a = 9` in ghci but in script merely doing `a = 9` is enough. I tried `let a = 9` in script and loaded it with `:l` in ghci, but i got an error. Does it mean i can use bind names using let only in the ghci repl? |
| 2022-09-06 06:27:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 06:29:49 +0000 | <c_wraith> | bebu: ghci used to make sense, but then it got "friendlier", which means "harder to understand" |
| 2022-09-06 06:30:18 +0000 | <c_wraith> | it pretends you can just type in whatever haskell code now |
| 2022-09-06 06:30:32 +0000 | <c_wraith> | But it also still has the old mode of operation, where it pretends to be lines in a do block |
| 2022-09-06 06:30:46 +0000 | <c_wraith> | so there is no longer a single mental model for what it's doing. |
| 2022-09-06 06:31:58 +0000 | bbear | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) |
| 2022-09-06 06:32:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 06:32:55 +0000 | <c_wraith> | the "let ..." form is the do-block mode. It copies the syntax of local declarations with a do block. |
| 2022-09-06 06:33:23 +0000 | <c_wraith> | the form without a let is top-level declaration mode. It copies the syntax of top-level declarations. |
| 2022-09-06 06:34:57 +0000 | <c_wraith> | If you're putting code in a file, use the appropriate syntax for the place you're putting the declaration. |
| 2022-09-06 06:35:40 +0000 | <c_wraith> | only ghci will accept them as if they're interchangeable. And even ghci will only do that at the top level |
| 2022-09-06 06:36:47 +0000 | <bebu> | i see--thanks for your comprehensive reply. appreciate it. |
| 2022-09-06 06:37:12 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 06:39:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-06 06:40:13 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-06 06:40:34 +0000 | jtomas | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-06 06:41:59 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-06 06:42:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-06 06:44:30 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 06:45:12 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 06:45:58 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 06:46:41 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-06 06:47:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 06:48:42 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 06:49:07 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-06 06:50:00 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 06:50:51 +0000 | o | (niko@libera/staff/niko) |
| 2022-09-06 06:51:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de) |
| 2022-09-06 06:51:26 +0000 | acidjnk | (~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de) |
| 2022-09-06 06:52:42 +0000 | o | niko |
| 2022-09-06 06:54:21 +0000 | raym | (~raym@user/raym) |
| 2022-09-06 06:56:35 +0000 | benin0 | (~benin@183.82.28.141) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-06 07:02:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b406:b1ff:735b:62f2) |
| 2022-09-06 07:02:18 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 07:03:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 07:08:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-06 07:09:52 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-06 07:10:20 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-06 07:12:04 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection) |
| 2022-09-06 07:15:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 07:15:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-06 07:15:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-06 07:15:32 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 07:15:32 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 07:16:23 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-09-06 07:16:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 07:17:51 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-06 07:17:52 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 07:20:40 +0000 | <qrpnxz> | oh, i guess i can upload now? I didn't get an email, but on hackage i seem to be allowed to upload atm |
| 2022-09-06 07:20:46 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 260 seconds) |
| 2022-09-06 07:20:57 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-06 07:21:31 +0000 | sudden | (~cat@user/sudden) |
| 2022-09-06 07:24:17 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) () |
| 2022-09-06 07:24:33 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 07:26:21 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-06 07:26:21 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 07:27:10 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2022-09-06 07:28:13 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-06 07:30:44 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 07:30:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 07:31:08 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 07:33:22 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 07:33:25 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-06 07:33:46 +0000 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-06 07:33:50 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 07:34:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 07:38:34 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-09-06 07:40:01 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-09-06 07:41:11 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-06 07:41:31 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-06 07:42:31 +0000 | <qrpnxz> | ah no, i think i don't have access |
| 2022-09-06 07:43:24 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 07:46:03 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 07:48:03 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-06 07:48:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-06 07:48:46 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-06 07:48:47 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 07:49:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 07:51:03 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-06 07:52:22 +0000 | fserucas|EoD | (~fserucas|@92.250.98.63) |
| 2022-09-06 08:00:11 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:01:28 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-06 08:01:29 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 08:02:02 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 08:04:10 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-09-06 08:05:29 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-06 08:06:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 08:08:58 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:11:17 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-06 08:11:30 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 08:11:30 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 08:12:28 +0000 | potash | (~foghorn@user/foghorn) (Read error: Connection reset by peer) |
| 2022-09-06 08:12:59 +0000 | potash | (~foghorn@user/foghorn) |
| 2022-09-06 08:13:53 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-06 08:14:46 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-06 08:17:05 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:18:07 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 08:18:07 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 08:19:18 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-06 08:21:59 +0000 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-09-06 08:22:31 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-06 08:24:30 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-06 08:24:50 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-06 08:26:17 +0000 | kuribas | (~user@ptr-17d51em11jxk9cvccig.18120a2.ip6.access.telenet.be) |
| 2022-09-06 08:31:15 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:32:30 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-09-06 08:32:30 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 08:37:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 08:38:35 +0000 | raym | (~raym@user/raym) |
| 2022-09-06 08:39:48 +0000 | frost | (~frost@user/frost) |
| 2022-09-06 08:41:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 08:43:44 +0000 | leah_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-06 08:44:06 +0000 | leah_ | (lp0@heathens.club) |
| 2022-09-06 08:44:38 +0000 | leah_ | (lp0@heathens.club) (Client Quit) |
| 2022-09-06 08:44:52 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-06 08:44:54 +0000 | thatcher | (lp0@heathens.club) |
| 2022-09-06 08:45:50 +0000 | thatcher | leah_ |
| 2022-09-06 08:46:02 +0000 | leah_ | thatcher |
| 2022-09-06 08:46:12 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-06 08:49:49 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-09-06 08:51:46 +0000 | dolio | (~dolio@130.44.130.54) (Ping timeout: 260 seconds) |
| 2022-09-06 08:51:48 +0000 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-06 08:52:08 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:53:14 +0000 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Client Quit) |
| 2022-09-06 08:54:03 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 08:54:03 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 08:55:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 08:58:34 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 08:59:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-06 08:59:51 +0000 | jtomas | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-09-06 09:00:16 +0000 | surgeon | (~surge9nma@2001:470:69fc:105::f585) (Quit: You have been kicked for being idle) |
| 2022-09-06 09:00:32 +0000 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Quit: You have been kicked for being idle) |
| 2022-09-06 09:00:39 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 09:00:39 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:02:12 +0000 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) |
| 2022-09-06 09:05:10 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:07:15 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 09:07:15 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:10:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-06 09:11:03 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-06 09:14:18 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-06 09:14:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 09:14:24 +0000 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) |
| 2022-09-06 09:14:42 +0000 | AlexNoo | (~AlexNoo@178.34.151.32) |
| 2022-09-06 09:15:55 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection) |
| 2022-09-06 09:17:18 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-09-06 09:17:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-06 09:20:15 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:22:17 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 09:22:17 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:22:46 +0000 | AlexZenon | (~alzenon@178.34.151.32) |
| 2022-09-06 09:22:55 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-06 09:26:38 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:29:14 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 09:29:14 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:33:38 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:34:37 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-06 09:36:06 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-06 09:36:07 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:37:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 09:38:03 +0000 | raym | (~raym@user/raym) |
| 2022-09-06 09:40:45 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:43:06 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-06 09:43:07 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:43:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 09:43:54 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 264 seconds) |
| 2022-09-06 09:44:41 +0000 | <dminuoso> | Time to use haxl and manage servers in parallel! Evil ansible, be gone! |
| 2022-09-06 09:44:56 +0000 | <dminuoso> | I am going to regret this decision, aren't I? |
| 2022-09-06 09:45:01 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-06 09:45:47 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-06 09:47:59 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 09:50:09 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 09:50:09 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 09:51:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-06 09:58:33 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Ping timeout (120 seconds)) |
| 2022-09-06 10:00:12 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-06 10:01:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 10:01:47 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-06 10:02:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-06 10:03:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 10:07:35 +0000 | Alex_test | (~al_test@178.34.151.32) |
| 2022-09-06 10:08:40 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-09-06 10:10:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 10:12:17 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 10:12:59 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-06 10:15:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-06 10:16:18 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-06 10:17:55 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 268 seconds) |
| 2022-09-06 10:18:23 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-06 10:18:36 +0000 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-06 10:21:42 +0000 | <pavonia> | For Integer, is there a faster way to find the least significant set bit other than iterating through all bits? |
| 2022-09-06 10:21:48 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 10:23:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 10:23:53 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 10:23:54 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 10:24:34 +0000 | potash | (~foghorn@user/foghorn) (Remote host closed the connection) |
| 2022-09-06 10:24:35 +0000 | <pavonia> | Hhm, some links on Hackage are broken: https://hackage.haskell.org/package/base-4.17.0.0/docs/src/GHC.Bits.html#line-539 --> e.g. unsafeShiftR works, integerShiftR is broken |
| 2022-09-06 10:25:59 +0000 | potash | (~foghorn@user/foghorn) |
| 2022-09-06 10:27:20 +0000 | <int-e> | that's an interesting link |
| 2022-09-06 10:27:57 +0000 | <int-e> | <a href="../https://hackage.haskell.org/package/ghc-bignum-1.3/docs/src/GHC.Num.Integer.html#integerShiftR/GHC.Num.Integer.html#integerShiftR"> |
| 2022-09-06 10:28:14 +0000 | <int-e> | probably something got moved and automatically patched and... well... went wrong |
| 2022-09-06 10:29:12 +0000 | <int-e> | while the links that work are internal to the module, it seems |
| 2022-09-06 10:30:28 +0000 | <int-e> | "probably"... well, it's a possibility. there are other likely ones. |
| 2022-09-06 10:30:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 10:34:18 +0000 | <dminuoso> | pavonia: You can case-of on Integer, and handle the IS constructor specially with an unrolled loop that just & tests the bits. |
| 2022-09-06 10:35:03 +0000 | <dminuoso> | That would be faster in case its conceivable your Integer mostly fit into Int# |
| 2022-09-06 10:35:47 +0000 | <pavonia> | The Integer is big |
| 2022-09-06 10:36:26 +0000 | <pavonia> | Actually, I need to find the first *unset* bit, sorry. But I guess the principle is the same |
| 2022-09-06 10:36:38 +0000 | <dminuoso> | pavonia: Hand written AVX code over the bignum representation then. |
| 2022-09-06 10:37:30 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-06 10:37:45 +0000 | andreabedini | (~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6) |
| 2022-09-06 10:38:00 +0000 | <pavonia> | What is AVX code? |
| 2022-09-06 10:38:01 +0000 | <dminuoso> | Id have to research how ghc-bignum representation works |
| 2022-09-06 10:38:31 +0000 | <dminuoso> | pavonia: SIMD instructions on modern x86 processors |
| 2022-09-06 10:39:17 +0000 | <pavonia> | Uh, I'm not familiar with assembler at all |
| 2022-09-06 10:40:32 +0000 | chomwitt | (~chomwitt@2a02:587:dc16:fe00:36b8:e455:625c:e00b) |
| 2022-09-06 10:40:50 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-06 10:43:48 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 10:44:20 +0000 | <dminuoso> | pavonia: either way, you can just poke at the bignum internals, and do something like: |
| 2022-09-06 10:44:42 +0000 | <dminuoso> | check for each word-sized limb (see https://gmplib.org/manual/Integer-Internals) whether its 0 |
| 2022-09-06 10:44:53 +0000 | <dminuoso> | if its not zero, use your unrolled loop |
| 2022-09-06 10:44:57 +0000 | martin02 | (~silas@141.84.69.76) |
| 2022-09-06 10:44:58 +0000 | <dminuoso> | if it is, check the next limb |
| 2022-09-06 10:45:53 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 10:45:53 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 10:46:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 10:46:16 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 10:46:27 +0000 | <dminuoso> | Also, see: https://hackage.haskell.org/package/integer-gmp-1.1/docs/GHC-Integer-GMP-Internals.html#t:BigNat |
| 2022-09-06 10:47:06 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-06 10:47:35 +0000 | <dminuoso> | You can use sizeofByteArray# to find the number of limbs |
| 2022-09-06 10:49:37 +0000 | <pavonia> | Those broken links are annoying |
| 2022-09-06 10:51:13 +0000 | <dminuoso> | Use something like indexWord32Array# to index into the limbs |
| 2022-09-06 10:51:27 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-06 10:51:34 +0000 | <dminuoso> | Oh wait, word sized. |
| 2022-09-06 10:51:51 +0000 | <dminuoso> | So be careful with the computation on the number of limbs there. |
| 2022-09-06 10:52:43 +0000 | <pavonia> | I don't even understand how BigNum is defined. Like what is a limb? |
| 2022-09-06 10:54:52 +0000 | <pavonia> | I guess it's easer to `mod` in blocks of 64 bits or so and test if all bits are set in this block, though not that efficient |
| 2022-09-06 10:55:17 +0000 | <dminuoso> | pavonia: a limb is to a bignum what a byte is to little endian. |
| 2022-09-06 10:55:47 +0000 | <dminuoso> | in bignum, the number is cut into word-sized chunks called `limbs`, and these stored in little-endian order |
| 2022-09-06 10:58:42 +0000 | <pavonia> | Okay |
| 2022-09-06 10:59:15 +0000 | <dminuoso> | Id do research on what is meant by "word" here. |
| 2022-09-06 11:00:09 +0000 | <dminuoso> | These terms were grossly confused by decades of assembly writers. |
| 2022-09-06 11:00:41 +0000 | <dminuoso> | They somehow have gotten the notion that a "word" meant 2-bytes. Others understand it as the native register size |
| 2022-09-06 11:01:07 +0000 | <dminuoso> | But I think the wording of haddock makes it obvious |
| 2022-09-06 11:01:10 +0000 | <dminuoso> | It stores Word# sized chunks |
| 2022-09-06 11:01:54 +0000 | <dminuoso> | So use `let n = sizeofByteArray# unpacked in ...` and loop over that, pulling limbs off with indexWordOffAddr# |
| 2022-09-06 11:02:07 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-06 11:02:47 +0000 | akegalj | (~akegalj@93.140.21.77) |
| 2022-09-06 11:03:45 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-06 11:04:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 11:06:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:526c:49a6:a3bc:24a5) |
| 2022-09-06 11:08:36 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 11:09:59 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-06 11:10:05 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 11:10:05 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 11:10:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-06 11:11:13 +0000 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-06 11:12:18 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 11:19:28 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-06 11:19:44 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 11:21:49 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 11:21:49 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 11:22:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-06 11:32:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 11:34:53 +0000 | gay_ | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-06 11:35:12 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-06 11:36:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 11:38:43 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Client Quit) |
| 2022-09-06 11:39:02 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-06 11:39:04 +0000 | matthews2 | matthews |
| 2022-09-06 11:41:44 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 11:43:49 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 11:43:49 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 11:47:45 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-06 11:50:25 +0000 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 268 seconds) |
| 2022-09-06 11:53:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 11:55:07 +0000 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2022-09-06 11:55:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-06 11:56:33 +0000 | Me-me | (~me-me@v.working.name) |
| 2022-09-06 11:57:53 +0000 | Me-me | (~me-me@v.working.name) (Changing host) |
| 2022-09-06 11:57:53 +0000 | Me-me | (~me-me@user/me-me) |
| 2022-09-06 12:00:10 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-09-06 12:05:30 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-06 12:05:57 +0000 | Kalhauge | (~Kalhauge@87-49-45-244-mobile.dk.customer.tdc.net) |
| 2022-09-06 12:08:16 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 12:08:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 12:09:51 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 12:09:51 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 12:12:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 12:13:03 +0000 | thatcher_ | (quasselcor@static.144.144.216.95.clients.your-server.de) |
| 2022-09-06 12:13:03 +0000 | thatcher_ | (quasselcor@static.144.144.216.95.clients.your-server.de) (Client Quit) |
| 2022-09-06 12:14:58 +0000 | <Kalhauge> | Hi! Anybody here have a good grasp on how to use typelevel strings (aka Symbols) as expersion level strings? |
| 2022-09-06 12:16:48 +0000 | thatcher_ | (quasselcor@static.144.144.216.95.clients.your-server.de) |
| 2022-09-06 12:17:33 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-06 12:20:14 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-06 12:20:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 12:23:55 +0000 | vglfr | (~vglfr@145.224.94.171) (Read error: Connection reset by peer) |
| 2022-09-06 12:23:59 +0000 | <qrpnxz> | Kalhauge: https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-TypeLits.html#v:symbolVal |
| 2022-09-06 12:24:05 +0000 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-06 12:24:22 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 12:24:46 +0000 | <merijn> | Kalhauge: No, but I can recommend you some good whisky and a therapist for when you come to regret this question some weeks into the future? :D |
| 2022-09-06 12:26:52 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 12:26:52 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 12:28:11 +0000 | <Kalhauge> | qrpnxz: Well I'm trying to use the singleton library to represent an e-DSL type system, and if you embed the Symbol in your ADT, then you can't use it anywhere else than in the types. |
| 2022-09-06 12:28:41 +0000 | <Kalhauge> | merijn, I might already be ready for suggestions :). |
| 2022-09-06 12:29:32 +0000 | <Kalhauge> | data SSymbol n = SSymbol String |
| 2022-09-06 12:29:32 +0000 | <Kalhauge> | deriving (Show, Eq) |
| 2022-09-06 12:29:33 +0000 | <Kalhauge> | symbol :: forall n. KnownSymbol n => SSymbol n |
| 2022-09-06 12:29:33 +0000 | <Kalhauge> | symbol = SSymbol (symbolVal (Proxy @n)) |
| 2022-09-06 12:29:34 +0000 | <Kalhauge> | data MyType |
| 2022-09-06 12:29:34 +0000 | <Kalhauge> | = MyRef Symbol |
| 2022-09-06 12:29:35 +0000 | <Kalhauge> | data SMyType t where |
| 2022-09-06 12:29:35 +0000 | <Kalhauge> | SMyRef :: SSymbol n -> SMyType (MyRef n) |
| 2022-09-06 12:29:36 +0000 | <Kalhauge> | type instance Sing = SMyType |
| 2022-09-06 12:29:36 +0000 | <Kalhauge> | instance KnownSymbol n => SingI (MyRef n) where sing = SMyRef (symbol @n) |
| 2022-09-06 12:29:54 +0000 | <qrpnxz> | idk about singleton lib, but surely you could use it even if you gut it in an ADT, consider: https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-TypeLits.html#t:SomeSymbol |
| 2022-09-06 12:30:18 +0000 | <Kalhauge> | That is my current example, but now MyType can only live at the type level. |
| 2022-09-06 12:30:41 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-06 12:30:47 +0000 | <merijn> | Kalhauge: Maybe you want "MyRef (Proxy Symbol)"? |
| 2022-09-06 12:31:08 +0000 | <qrpnxz> | indeed |
| 2022-09-06 12:33:16 +0000 | <Kalhauge> | That does not work, as it will no longer allow me to use MyRef at the typelevel: |
| 2022-09-06 12:33:50 +0000 | <Kalhauge> | expr :: Expr (MyRef "hello") |
| 2022-09-06 12:37:45 +0000 | <dminuoso> | Kalhauge: Im somewhat confused, what is it exactly that you want? |
| 2022-09-06 12:40:26 +0000 | coot | (~coot@213.134.176.158) (Ping timeout: 268 seconds) |
| 2022-09-06 12:40:39 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-06 12:41:46 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-06 12:43:34 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-06 12:43:57 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-06 12:46:38 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 12:47:22 +0000 | <Kalhauge> | I like to represent an e-DSL type-system, represented as an ADT, in the type-level of haskell. Fx. I'll like to write:: |
| 2022-09-06 12:47:22 +0000 | <Kalhauge> | data Expr t where |
| 2022-09-06 12:47:23 +0000 | <Kalhauge> | Add :: Expr MyInt -> Expr MyInt -> Expr MyInt |
| 2022-09-06 12:47:23 +0000 | <Kalhauge> | ... |
| 2022-09-06 12:47:24 +0000 | <Kalhauge> | One of my types use string type literals, so that I can write something like Expr (MyRef "example"), but I would also like |
| 2022-09-06 12:47:24 +0000 | <Kalhauge> | to eventually do something like |
| 2022-09-06 12:47:25 +0000 | <Kalhauge> | typeOf :: Expr t -> SMyType t |
| 2022-09-06 12:47:25 +0000 | <Kalhauge> | And finally erase the typelevel information: |
| 2022-09-06 12:47:26 +0000 | <Kalhauge> | erase :: SMyType t -> MyType |
| 2022-09-06 12:47:26 +0000 | <Kalhauge> | But Currently I cant build a (MyRef Symbol) on the expression level. |
| 2022-09-06 12:47:27 +0000 | <Kalhauge> | I was thinking if I did something wrong and maybe I can define `data MyType = MyRef String`, or should I just build a new type |
| 2022-09-06 12:47:27 +0000 | <Kalhauge> | `data EMyType = EMyType String` Which represents erases expression level MyTypes? |
| 2022-09-06 12:47:28 +0000 | <Kalhauge> | Did that clear it up, or muddy the water even more? |
| 2022-09-06 12:48:23 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 12:48:43 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 12:48:43 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 12:50:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 12:50:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 12:52:47 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-06 12:52:51 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-06 12:53:41 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 12:55:19 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 12:55:19 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 12:56:32 +0000 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-09-06 12:58:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-06 12:58:53 +0000 | Alex_test | (~al_test@178.34.151.32) (Quit: ;-) |
| 2022-09-06 12:59:15 +0000 | AlexZenon | (~alzenon@178.34.151.32) (Quit: ;-) |
| 2022-09-06 12:59:57 +0000 | AlexNoo | (~AlexNoo@178.34.151.32) (Quit: Leaving) |
| 2022-09-06 13:00:08 +0000 | califax | (~califax@user/califx) |
| 2022-09-06 13:02:27 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 13:03:39 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-06 13:03:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 13:03:55 +0000 | califax | (~califax@user/califx) |
| 2022-09-06 13:04:07 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 13:04:07 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 13:06:33 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-06 13:07:02 +0000 | AlexNoo | (~AlexNoo@178.34.151.32) |
| 2022-09-06 13:07:30 +0000 | AlexZenon | (~alzenon@178.34.151.32) |
| 2022-09-06 13:09:44 +0000 | Alex_test | (~al_test@178.34.151.32) |
| 2022-09-06 13:11:29 +0000 | <Kalhauge> | I found the solution, I think the correct thing is to use the SingKind and Demote into another ADT. http://localhost:8080/file/nix/store/xn6k9fd47fhv6c83sd6i1qlnsc9pall9-singletons-3.0.1-doc/share/d… |
| 2022-09-06 13:12:17 +0000 | <Kalhauge> | And now with a working link: https://hackage.haskell.org/package/singletons-3.0.2/docs/Data-Singletons.html#t:SingKind |
| 2022-09-06 13:12:29 +0000 | <Kalhauge> | Thanks for the help tho :) |
| 2022-09-06 13:16:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 13:17:43 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-06 13:21:40 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 13:23:29 +0000 | oxide | (~lambda@user/oxide) |
| 2022-09-06 13:23:33 +0000 | oxide | (~lambda@user/oxide) (Client Quit) |
| 2022-09-06 13:23:33 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 13:23:33 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 13:26:17 +0000 | Kalhauge | (~Kalhauge@87-49-45-244-mobile.dk.customer.tdc.net) (Quit: Client closed) |
| 2022-09-06 13:26:36 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-06 13:30:17 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 13:32:21 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 13:32:22 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 13:36:00 +0000 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) (Remote host closed the connection) |
| 2022-09-06 13:39:14 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-06 13:39:31 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 13:40:50 +0000 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) |
| 2022-09-06 13:40:50 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-06 13:46:20 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 13:48:41 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-06 13:48:41 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 13:51:49 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-06 13:54:20 +0000 | ofl^ | (~ofl@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-06 13:54:39 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 13:57:39 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 13:57:39 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 13:57:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b406:b1ff:735b:62f2) (Quit: WeeChat 2.8) |
| 2022-09-06 14:07:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 14:08:38 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-06 14:09:01 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 14:16:46 +0000 | ardell | (~ardell@user/ardell) |
| 2022-09-06 14:17:36 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-06 14:19:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 14:23:04 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-06 14:23:05 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-09-06 14:26:48 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-06 14:26:56 +0000 | Panahifar | (~Panahifar@93.119.213.151) |
| 2022-09-06 14:32:03 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-06 14:33:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-09-06 14:37:22 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 14:38:38 +0000 | odnes_ | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 14:39:27 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-06 14:39:27 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 14:39:29 +0000 | sagittaria | (~sagittari@220.118.98.38) |
| 2022-09-06 14:39:49 +0000 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 252 seconds) |
| 2022-09-06 14:39:56 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-09-06 14:40:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 14:40:30 +0000 | sagittaria | (~sagittari@220.118.98.38) (Client Quit) |
| 2022-09-06 14:41:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 14:43:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 14:44:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 14:48:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 14:49:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 14:50:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 14:51:43 +0000 | Panahifar | (~Panahifar@93.119.213.151) (Ping timeout: 244 seconds) |
| 2022-09-06 14:52:27 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-06 14:52:34 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-06 14:53:15 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-06 15:00:27 +0000 | `\` | (~blop@user/blop) (Ping timeout: 258 seconds) |
| 2022-09-06 15:00:56 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:02:58 +0000 | `\` | (~blop@user/blop) |
| 2022-09-06 15:03:06 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-09-06 15:03:06 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 15:07:43 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:10:13 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 15:10:13 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 15:14:32 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:17:00 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 15:17:00 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-06 15:17:00 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 15:18:45 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-06 15:19:22 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-06 15:20:07 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 15:21:25 +0000 | akegalj | (~akegalj@93.140.21.77) (Quit: leaving) |
| 2022-09-06 15:22:44 +0000 | odnes_ | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-06 15:23:01 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-06 15:23:02 +0000 | odnes_ | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 15:23:03 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-06 15:24:36 +0000 | `\` | (~blop@user/blop) (Ping timeout: 258 seconds) |
| 2022-09-06 15:25:02 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-06 15:26:52 +0000 | `\` | (~blop@user/blop) |
| 2022-09-06 15:29:19 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:30:18 +0000 | ardell | (~ardell@user/ardell) (Ping timeout: 240 seconds) |
| 2022-09-06 15:31:48 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 15:31:49 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 15:36:23 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:37:52 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:cbc6:3c91:6cd4:a4c9) |
| 2022-09-06 15:38:12 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-06 15:38:13 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 15:40:42 +0000 | odnes_ | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Ping timeout: 260 seconds) |
| 2022-09-06 15:42:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 15:47:25 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-09-06 15:49:27 +0000 | <troydm> | can I have a class constrain on type variable in data type definition? |
| 2022-09-06 15:49:31 +0000 | <troydm> | like |
| 2022-09-06 15:49:49 +0000 | <troydm> | data Num a => MyType a = MyInt a |
| 2022-09-06 15:50:16 +0000 | <troydm> | it seems to compile fine, except when I run stack ghci, then it complaints on data type contexts |
| 2022-09-06 15:50:26 +0000 | <troydm> | Illegal datatype context (use DatatypeContexts): Num a => |
| 2022-09-06 15:51:01 +0000 | <c_wraith> | you used to be able to, but it was turned off by default because it doesn't do what you hope it would. |
| 2022-09-06 15:51:16 +0000 | <troydm> | c_wraith: hmm, so what should I do? |
| 2022-09-06 15:51:27 +0000 | <c_wraith> | put the context where it's needed. |
| 2022-09-06 15:51:35 +0000 | <c_wraith> | ie, where things actually use it |
| 2022-09-06 15:51:37 +0000 | <troydm> | c_wraith: in fun definitions only? |
| 2022-09-06 15:51:47 +0000 | <troydm> | c_wraith: okey, got it |
| 2022-09-06 15:52:39 +0000 | <jonathanx> | I just created a newtype I'm pretty sure already exist somewhere. |
| 2022-09-06 15:52:40 +0000 | <jonathanx> | newtype Any a = Any {underAny :: forall b. (forall x. a x -> b) -> b} |
| 2022-09-06 15:53:54 +0000 | <jonathanx> | It's for working with DataKinds-"decorated" GADT:s, when you want to hide the type info |
| 2022-09-06 15:54:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 15:54:18 +0000 | <jonathanx> | Anyone know if there is a similar type defined in some common package? |
| 2022-09-06 15:57:34 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 15:59:03 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) |
| 2022-09-06 15:59:11 +0000 | <c_wraith> | jonathanx: I don't think I've seen it expressed exactly that way, but... did you CPS it intentionally? |
| 2022-09-06 16:00:03 +0000 | <c_wraith> | I've definitely seen variants that look more like newtype Foo f = Foo (forall x. f x) |
| 2022-09-06 16:00:10 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-06 16:00:11 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 16:01:20 +0000 | <c_wraith> | Err. no, that's not quite right. You'd want an existential there. data Foo f where Foo :: f x -> Foo f |
| 2022-09-06 16:01:59 +0000 | <jonathanx> | Aren't those equivalent? |
| 2022-09-06 16:02:20 +0000 | <c_wraith> | No. the first one is polymorphic. the second is existential. |
| 2022-09-06 16:02:44 +0000 | caubert | (~caubert@user/caubert) (Read error: Connection reset by peer) |
| 2022-09-06 16:02:57 +0000 | ardell | (~ardell@user/ardell) |
| 2022-09-06 16:03:02 +0000 | caubert | (~caubert@user/caubert) |
| 2022-09-06 16:03:09 +0000 | Successus | (~Successus@user/Successus) |
| 2022-09-06 16:03:21 +0000 | <jonathanx> | Anyway, I made it a while ago. I can't remember why I opted to CPS it, I think it may have had something to do with unbound type variables escaping the context, but I can't remember the details |
| 2022-09-06 16:03:41 +0000 | <c_wraith> | like, the newtype only accepts values that are polymorphic over all x. You could pass it Nothing, but not Just () |
| 2022-09-06 16:03:54 +0000 | <c_wraith> | the existential would allow either as an argument |
| 2022-09-06 16:04:02 +0000 | <jonathanx> | right |
| 2022-09-06 16:04:09 +0000 | <jonathanx> | thanks |
| 2022-09-06 16:04:32 +0000 | <jonathanx> | I might revisit the way it's implemented, skipping the CPS would be nice |
| 2022-09-06 16:04:34 +0000 | econo | (uid147250@user/econo) |
| 2022-09-06 16:04:35 +0000 | ardell | (~ardell@user/ardell) (Client Quit) |
| 2022-09-06 16:04:45 +0000 | <c_wraith> | Anyway, I've definitely seen the existential form a few times. I can't remember specifics offhand. |
| 2022-09-06 16:04:53 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-06 16:05:16 +0000 | <jonathanx> | ok |
| 2022-09-06 16:05:33 +0000 | <c_wraith> | So yeah, it shows up. But it's not something especially standardized, as far as I can recall. |
| 2022-09-06 16:06:07 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 16:08:12 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-09-06 16:09:51 +0000 | CiaoSen | (~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-06 16:10:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 16:11:11 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 16:11:33 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-06 16:13:28 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 16:15:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 16:19:17 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 16:19:56 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:cbc6:3c91:6cd4:a4c9) (Ping timeout: 268 seconds) |
| 2022-09-06 16:21:05 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-06 16:21:06 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 16:21:19 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Quit: Leaving.) |
| 2022-09-06 16:24:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 16:24:47 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-06 16:24:59 +0000 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) |
| 2022-09-06 16:25:01 +0000 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Ping timeout: 260 seconds) |
| 2022-09-06 16:25:09 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-06 16:25:44 +0000 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 244 seconds) |
| 2022-09-06 16:28:06 +0000 | fserucas|EoD | (~fserucas|@92.250.98.63) (Quit: Leaving) |
| 2022-09-06 16:29:48 +0000 | king_gs | (~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Ping timeout: 268 seconds) |
| 2022-09-06 16:30:52 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 16:32:39 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 16:33:11 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) |
| 2022-09-06 16:34:13 +0000 | oats | clippy |
| 2022-09-06 16:34:32 +0000 | clippy | oats |
| 2022-09-06 16:34:38 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-09-06 16:34:38 +0000 | ccntrq1 | ccntrq |
| 2022-09-06 16:39:11 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Remote host closed the connection) |
| 2022-09-06 16:42:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 16:47:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-06 16:54:09 +0000 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-06 16:59:35 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-06 17:00:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 17:04:33 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-06 17:05:01 +0000 | SethTisue | (sid14912@ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 2022-09-06 17:05:10 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2022-09-06 17:14:25 +0000 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
| 2022-09-06 17:19:58 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-06 17:26:01 +0000 | simeon | (~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-09-06 17:28:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 17:33:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 17:33:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 17:37:17 +0000 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 252 seconds) |
| 2022-09-06 17:37:55 +0000 | <troydm> | I have f that has two clauses |
| 2022-09-06 17:38:04 +0000 | <troydm> | like |
| 2022-09-06 17:38:06 +0000 | <troydm> | f 1 = 1 |
| 2022-09-06 17:38:08 +0000 | <troydm> | f 2 = 2 |
| 2022-09-06 17:38:25 +0000 | <troydm> | I would like to define where with helper functions for both clauses |
| 2022-09-06 17:38:30 +0000 | <troydm> | how can I do that? |
| 2022-09-06 17:38:37 +0000 | stefan-__ | (~cri@v2202209182411199965.luckysrv.de) |
| 2022-09-06 17:38:59 +0000 | stefan-__ | (~cri@v2202209182411199965.luckysrv.de) (Client Quit) |
| 2022-09-06 17:39:02 +0000 | <geekosaur> | you can't, without making it a case within a single equation |
| 2022-09-06 17:39:27 +0000 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-06 17:39:28 +0000 | <troydm> | geekosaur: ic, thx |
| 2022-09-06 17:39:37 +0000 | <geekosaur> | or using guards instead of separate equations |
| 2022-09-06 17:39:47 +0000 | neceve | (~neceve@2.26.93.14) |
| 2022-09-06 17:41:10 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-06 17:45:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-06 17:46:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 17:50:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-09-06 17:52:01 +0000 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) () |
| 2022-09-06 17:52:39 +0000 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
| 2022-09-06 17:53:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 17:53:58 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 17:55:42 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-06 17:57:43 +0000 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Ping timeout: 244 seconds) |
| 2022-09-06 18:00:35 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-09-06 18:00:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 18:00:41 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-06 18:01:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 18:01:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 18:02:44 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-06 18:04:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 18:09:52 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 18:11:00 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-06 18:15:10 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:3dd1:dc4d:4d45:78e9) |
| 2022-09-06 18:18:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 18:23:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 18:27:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 18:28:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 18:29:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 18:29:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 18:29:58 +0000 | matthewm_ | (~matthewmo@173.170.253.91) |
| 2022-09-06 18:32:45 +0000 | mbuf | (~Shakthi@49.204.117.94) (Quit: Leaving) |
| 2022-09-06 18:33:07 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-06 18:33:56 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-06 18:34:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-09-06 18:37:55 +0000 | king_gs | (~Thunderbi@187.201.207.143) |
| 2022-09-06 18:38:18 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-09-06 18:40:04 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-09-06 18:40:59 +0000 | stefan-__ | (~cri@v2202209182411199965.luckysrv.de) |
| 2022-09-06 18:40:59 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-06 18:41:03 +0000 | stefan-__ | (~cri@v2202209182411199965.luckysrv.de) (Remote host closed the connection) |
| 2022-09-06 18:41:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-06 18:42:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-06 18:43:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-06 18:44:45 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-06 18:53:35 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-06 18:56:34 +0000 | king_gs | (~Thunderbi@187.201.207.143) (Quit: king_gs) |
| 2022-09-06 18:56:52 +0000 | <Athas> | Is it me that just isn't grasping something fundamental, or is the state of responsive prettyprinting still pretty dismal? |
| 2022-09-06 18:58:56 +0000 | <monochrom> | What does "responsive" mean in this case? |
| 2022-09-06 19:00:50 +0000 | <Athas> | Inserting linebreaks to respect (as much as possible) a maximum width, for example. |
| 2022-09-06 19:01:29 +0000 | <Athas> | That is possible with Wadler-style printers, and you might define prettyprinters for tuples and lists that allow the space after a comma to instead be a linebreak, if necessary to respect the maximum width. |
| 2022-09-06 19:02:11 +0000 | <Athas> | However, what happens when you prettyprint a list of tuples? It might produce things like "[(a,b), (a,b), (a,\nb)]". (Mostly in more complex cases.) |
| 2022-09-06 19:02:56 +0000 | <Athas> | The problem is that the layouters tend to be "greedy", or at least not look for an optimal solution. Now, this _is_ a somewhat hard problem, but not impossible. It's essentially similar to text justification, which is solvable with dynamic programming. |
| 2022-09-06 19:03:32 +0000 | <Athas> | For now I've just abandoned the idea of respecting a maximum width, and insert all linebreaks manually in the prettyprinter definitions. But it feels crude. |
| 2022-09-06 19:03:44 +0000 | <monochrom> | I wouldn't call it dismal, but I think no one has paid attention to this point, sure. |
| 2022-09-06 19:04:21 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-06 19:04:45 +0000 | <Athas> | It seems to crop up whenever I want to prettyprint nontrivial compositions of structures. |
| 2022-09-06 19:05:29 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 19:07:51 +0000 | <monochrom> | In emacs, I accidentally created a file FE.h when I intended FE.hs but made that typo. |
| 2022-09-06 19:08:11 +0000 | <monochrom> | A few minutes later, "why are you in C mode not Haskell mode?" ... "Oh..." |
| 2022-09-06 19:09:16 +0000 | odnes | (~odnes@5-203-205-0.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-06 19:10:22 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 19:11:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:72e8:7d53:f314:af71) |
| 2022-09-06 19:11:53 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-06 19:13:11 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2022-09-06 19:14:03 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-06 19:14:26 +0000 | neceve | (~neceve@2.26.93.14) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-06 19:19:19 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-06 19:22:42 +0000 | <dolio> | I don't think treating it like test justification is what people generally want to see. |
| 2022-09-06 19:22:47 +0000 | <dolio> | Text, even. |
| 2022-09-06 19:23:38 +0000 | <dolio> | Usually, if I have a list of tuples, I don't ever want a linebreak to occur inside a tuple. |
| 2022-09-06 19:24:10 +0000 | <monochrom> | That's what Athas said. |
| 2022-09-06 19:24:56 +0000 | <dolio> | Oh, they were saying that the bad thing is the justified approach? |
| 2022-09-06 19:24:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-06 19:25:05 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-06 19:25:23 +0000 | <monochrom> | I believe that text justification was brought up because Knuth uses a badness and dynamic programming algorithm. A similar algorithm, but with badness defined based on not wanting to split a tuple, can be used. |
| 2022-09-06 19:25:56 +0000 | <monochrom> | So, perhaps hyphenation should have been brought up instead. |
| 2022-09-06 19:26:09 +0000 | <Athas> | Yes, I want to split tuples at top level (if needed), but almost never when nested. |
| 2022-09-06 19:26:32 +0000 | <Athas> | Except maybe I have a list of extremely large tuples. Then perhaps I want a linebreak after every tuple, and also after each tuple component. |
| 2022-09-06 19:26:52 +0000 | <Athas> | And above all I want consistency: every tuple should be printed the same way. |
| 2022-09-06 19:27:32 +0000 | <dolio> | I thought there were pretty printers that will, e.g. put a whole list on one line, or, put every element on its own line, which is often what I want. |
| 2022-09-06 19:27:37 +0000 | <Athas> | To me these are perhaps the most fundamental aspects of printing data structures, and Wadler/Hughes-style prettyprinters don't really seem to work this way. |
| 2022-09-06 19:28:18 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 19:28:45 +0000 | <dolio> | Wanting something to look like a paragraph is more rare. |
| 2022-09-06 19:29:05 +0000 | <Athas> | I don't want that, so it's fine if that is not supported. |
| 2022-09-06 19:29:17 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-06 19:29:20 +0000 | <Athas> | Although incidentally, the 'fill' combinator (or whatever it's called) from Hughes paper can do that quite nicely. |
| 2022-09-06 19:29:26 +0000 | <Athas> | Er, Wadlers paper. |
| 2022-09-06 19:30:11 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-06 19:35:38 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 240 seconds) |
| 2022-09-06 19:36:08 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 19:36:27 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-06 19:44:14 +0000 | maroloccio | (~marolocci@151.75.41.90) |
| 2022-09-06 19:52:42 +0000 | matthewm_ | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 19:54:23 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-09-06 19:55:02 +0000 | kmein | (~weechat@user/kmein) |
| 2022-09-06 19:55:08 +0000 | <monochrom> | tomsmeding: https://paste.tomsmeding.com is giving me 502. |
| 2022-09-06 19:58:24 +0000 | <tomsmeding> | monochrom: not anymore! |
| 2022-09-06 19:58:24 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-09-06 19:58:38 +0000 | <tomsmeding> | sorry, had been updating things but apparently stopped halfway through? |
| 2022-09-06 19:58:38 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 20:02:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 20:06:22 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-06 20:06:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:72e8:7d53:f314:af71) (Quit: WeeChat 2.8) |
| 2022-09-06 20:06:53 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-06 20:14:04 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-06 20:14:23 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-06 20:17:39 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-09-06 20:19:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-06 20:20:28 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 20:22:51 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-06 20:23:27 +0000 | akegalj | (~akegalj@232-118.dsl.iskon.hr) |
| 2022-09-06 20:25:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-06 20:30:01 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-06 20:30:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-06 20:32:12 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-06 20:32:21 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-09-06 20:36:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 20:39:21 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-06 20:39:46 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Ping timeout (120 seconds)) |
| 2022-09-06 20:40:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 20:46:41 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-06 20:50:00 +0000 | cowboy8625 | (~cowboy@64.68.179.149) (Quit: WeeChat 3.5) |
| 2022-09-06 20:51:15 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-06 20:51:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-06 20:53:35 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-06 20:55:20 +0000 | johnw | (~johnw@2600:1700:cf00:db0:49ee:6aa9:597c:106c) |
| 2022-09-06 20:55:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 20:57:25 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2022-09-06 20:57:39 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 20:57:39 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 20:57:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-06 20:58:08 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 20:58:11 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 20:58:35 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-06 20:58:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 20:59:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 21:00:54 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-06 21:01:43 +0000 | benin0 | (~benin@183.82.28.141) |
| 2022-09-06 21:04:22 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 21:04:53 +0000 | thatcher_ | (quasselcor@static.144.144.216.95.clients.your-server.de) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-06 21:05:20 +0000 | thatcher_ | (lp0@heathens.club) |
| 2022-09-06 21:08:49 +0000 | causal | (~user@50.35.83.177) |
| 2022-09-06 21:12:18 +0000 | bilegeek | (~bilegeek@2600:1008:b05f:cf5:5ea4:b2bf:bfaf:c719) |
| 2022-09-06 21:13:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-06 21:13:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 21:17:25 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 21:17:54 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 21:19:47 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-06 21:21:35 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-06 21:23:02 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-06 21:26:19 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-06 21:26:41 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-09-06 21:27:14 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 21:27:42 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 21:28:31 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 21:30:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 21:31:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-06 21:36:43 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-06 21:46:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 21:46:19 +0000 | justache | justache_test |
| 2022-09-06 21:46:34 +0000 | justache_test | justache |
| 2022-09-06 21:47:37 +0000 | akegalj | (~akegalj@232-118.dsl.iskon.hr) (Quit: leaving) |
| 2022-09-06 21:48:42 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:3dd1:dc4d:4d45:78e9) (Ping timeout: 264 seconds) |
| 2022-09-06 21:51:34 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-06 21:51:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 21:52:32 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 21:55:02 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-06 21:59:49 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-06 22:00:33 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-06 22:01:39 +0000 | mmhat | (~mmh@p200300f1c728cca8ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-09-06 22:02:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 22:02:37 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-09-06 22:03:03 +0000 | <c_wraith> | hmm. there was a proposal a while back to add syntax for importing modules only for use in template Haskell splices. anyone remember which proposal that was? |
| 2022-09-06 22:03:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 22:06:44 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-06 22:10:10 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-06 22:10:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-06 22:11:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-06 22:12:05 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-06 22:12:28 +0000 | `\` | (~blop@user/blop) (Ping timeout: 258 seconds) |
| 2022-09-06 22:13:26 +0000 | califax | (~califax@user/califx) |
| 2022-09-06 22:13:50 +0000 | `\` | (~blop@user/blop) |
| 2022-09-06 22:13:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-06 22:14:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 22:14:17 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 22:14:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 22:15:13 +0000 | mmhat | (~mmh@p200300f1c728ccb9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-06 22:16:00 +0000 | Successus | (~Successus@user/Successus) () |
| 2022-09-06 22:16:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 22:19:12 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-06 22:20:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 22:23:30 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 264 seconds) |
| 2022-09-06 22:24:32 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 22:28:26 +0000 | acidjnk | (~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-06 22:28:26 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-06 22:30:46 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 22:33:34 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) () |
| 2022-09-06 22:33:34 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-06 22:35:13 +0000 | <c_wraith> | ah. it was https://github.com/ghc-proposals/ghc-proposals/pull/412 |
| 2022-09-06 22:35:32 +0000 | jushur | (~human@user/jushur) |
| 2022-09-06 22:40:15 +0000 | fjmorazan | (~quassel@user/fjmorazan) () |
| 2022-09-06 22:40:29 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-09-06 22:43:51 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-06 22:44:28 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-06 22:47:49 +0000 | fjmorazan | (~quassel@user/fjmorazan) () |
| 2022-09-06 22:48:36 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-09-06 22:49:11 +0000 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-09-06 22:49:11 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-06 22:49:11 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-09-06 22:49:11 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-06 22:49:39 +0000 | califax | (~califax@user/califx) |
| 2022-09-06 22:49:40 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-06 22:49:59 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-06 22:50:26 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 22:50:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 22:52:57 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-06 23:00:44 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-06 23:06:45 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-06 23:07:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-06 23:09:12 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-06 23:09:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-06 23:09:21 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-06 23:10:52 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-06 23:11:13 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-06 23:11:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:526c:49a6:a3bc:24a5) (Ping timeout: 268 seconds) |
| 2022-09-06 23:15:05 +0000 | euandreh | (~euandreh@179.214.113.107) (Client Quit) |
| 2022-09-06 23:15:41 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 260 seconds) |
| 2022-09-06 23:16:22 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-06 23:18:59 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-06 23:22:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:526c:49a6:a3bc:24a5) |
| 2022-09-06 23:26:50 +0000 | bilegeek | (~bilegeek@2600:1008:b05f:cf5:5ea4:b2bf:bfaf:c719) (Quit: Leaving) |
| 2022-09-06 23:28:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 23:33:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-06 23:35:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 23:36:09 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-06 23:36:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-06 23:38:05 +0000 | cowboy8625 | (~cowboy@64.68.179.149) |
| 2022-09-06 23:39:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-06 23:40:11 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-06 23:40:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-06 23:41:30 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2022-09-06 23:45:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-06 23:50:25 +0000 | Guest8757 | (~Guest87@2.58.185.24) |
| 2022-09-06 23:51:00 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-06 23:51:13 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-09-06 23:51:26 +0000 | <johnjaye> | what does it mean if ghc complains about undefined reference to mbind and -lnuma? i'm trying to compile and run hello world. |
| 2022-09-06 23:58:40 +0000 | <geekosaur> | your ghc was bui;t with NUMA support and you need to install libnuma? (on debian/ubuntu/mint it's libnuma1; can't tell you about others) |
| 2022-09-06 23:59:40 +0000 | <johnjaye> | i have no idea, i just ran ghcup after the software i wanted to run rejected the debian ghc version as too old |