| 2023-04-02 00:00:15 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-02 00:01:47 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-02 00:02:55 +0000 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 260 seconds) |
| 2023-04-02 00:03:16 +0000 | califax | (~califax@user/califx) |
| 2023-04-02 00:09:21 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-02 00:25:11 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-02 00:26:28 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-04-02 00:28:30 +0000 | jlee | (~jlee@2601:248:1:d90:3fac:736e:cbdb:ae89) (Quit: Konversation terminated!) |
| 2023-04-02 00:33:38 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 00:33:53 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-04-02 00:51:21 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-04-02 00:55:20 +0000 | <Axman6> | Is there a way to teach hls about the dependencies a standalone haskell file needs? I have a cabal: comment at the top which works fine when I run the file using is shebang line, but when editing it (in helix currently) I get errors about imports needing packages specified in build-depends |
| 2023-04-02 01:01:06 +0000 | dipper_ | (~dipper@203.168.13.4) |
| 2023-04-02 01:01:39 +0000 | <Axman6> | Looks like cabal/stack script support has been asked for, but not implemented: https://github.com/haskell/haskell-language-server/issues/111 |
| 2023-04-02 01:09:56 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 01:11:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-02 01:17:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-02 01:23:38 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 01:28:53 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-02 01:31:24 +0000 | gurkengl1s | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 01:31:55 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-02 01:48:13 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-02 01:51:23 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 01:52:45 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 01:58:37 +0000 | razetime | (~Thunderbi@49.207.192.117) |
| 2023-04-02 02:01:23 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 2023-04-02 02:05:02 +0000 | sex | (~sex@1.213.228.20) |
| 2023-04-02 02:05:06 +0000 | <sex> | printf("Hello slave World") |
| 2023-04-02 02:07:13 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-02 02:07:13 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-02 02:07:13 +0000 | finn_elija | FinnElija |
| 2023-04-02 02:07:17 +0000 | sex | (~sex@1.213.228.20) (K-Lined) |
| 2023-04-02 02:08:18 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 02:09:31 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 02:10:42 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 02:16:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 02:18:52 +0000 | <sm> | Axman6: alas yes |
| 2023-04-02 02:22:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 2023-04-02 02:22:36 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-04-02 02:23:10 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 02:25:36 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2023-04-02 02:25:51 +0000 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 255 seconds) |
| 2023-04-02 02:27:02 +0000 | smallville7123 | (~Android@116.90.72.44) |
| 2023-04-02 02:27:25 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-04-02 02:27:34 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-02 02:27:36 +0000 | td_ | (~td@i53870922.versanet.de) |
| 2023-04-02 02:29:47 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-02 02:34:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 2023-04-02 02:35:21 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-02 02:44:42 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 2023-04-02 02:55:11 +0000 | <Nosrep> | would it be possible for IntMap to use Bits instead of Ints |
| 2023-04-02 02:55:54 +0000 | <Nosrep> | or finitebits i guess? |
| 2023-04-02 02:56:28 +0000 | <Nosrep> | don't really know how it works internally but it sounds better than implementing a bunch of int32map word64maps and whatever else (there are none, but i wish there were) |
| 2023-04-02 02:59:03 +0000 | <EvanR> | there's a package for IntMap that uses Enum |
| 2023-04-02 02:59:13 +0000 | <EvanR> | which maps to and from Int |
| 2023-04-02 02:59:41 +0000 | <EvanR> | https://hackage.haskell.org/package/enummaps |
| 2023-04-02 03:00:15 +0000 | <EvanR> | which sounds more efficient than going through Bits |
| 2023-04-02 03:02:01 +0000 | <EvanR> | Enum also allows you to use e.g. Char |
| 2023-04-02 03:07:24 +0000 | <Nosrep> | it uses fromEnum under the hood |
| 2023-04-02 03:07:37 +0000 | <Nosrep> | so might as well just use intset at that point |
| 2023-04-02 03:07:56 +0000 | <Nosrep> | wait, is int64 a thing on 32bit systems? |
| 2023-04-02 03:09:47 +0000 | <Nosrep> | okay never mind i was thinking about having int64map on 32 bit systems but yeah seems kinda pointless if it isnt |
| 2023-04-02 03:10:20 +0000 | <Nosrep> | enummaps is cool though |
| 2023-04-02 03:14:35 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 03:15:41 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 03:19:30 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 03:19:51 +0000 | <EvanR> | yes you can wrap IntMap yourself if you want |
| 2023-04-02 03:21:15 +0000 | <EvanR> | Int64 is a thing on 32bit, two 32bit ints xD |
| 2023-04-02 03:26:59 +0000 | <Nosrep> | how would i go about wrapping i |
| 2023-04-02 03:27:11 +0000 | <Nosrep> | without just truncating it somehow which has collisiosn |
| 2023-04-02 03:27:26 +0000 | <Nosrep> | wouldn't you have to like copy the whole intmap code over and change the key to int64? |
| 2023-04-02 03:27:33 +0000 | <EvanR> | I'm not following |
| 2023-04-02 03:27:42 +0000 | <EvanR> | you want to use IntMap with what kind of key |
| 2023-04-02 03:28:38 +0000 | <EvanR> | if it can't fit into an Int it won't work |
| 2023-04-02 03:32:17 +0000 | <EvanR> | if it can, Enum is a pre-existing gateway to do that |
| 2023-04-02 03:33:32 +0000 | <Nosrep> | i want an intmap thats still 64bit on 32 bit systems so my program doesn't fall apart |
| 2023-04-02 03:34:15 +0000 | <Nosrep> | it should be possible the a guy on github was like "oh i can modify the key but idk if i wanna put that in" |
| 2023-04-02 03:36:17 +0000 | <EvanR> | Int64 map for 32bit systems, sounds like a bad idea |
| 2023-04-02 03:36:21 +0000 | <EvanR> | but possible |
| 2023-04-02 03:36:57 +0000 | <EvanR> | it kind of defeats the purpose of the performance gain of using Int |
| 2023-04-02 03:39:53 +0000 | <EvanR> | there's always Map Int64 |
| 2023-04-02 03:40:03 +0000 | <EvanR> | and hiding what kind of table you use behind a newtype |
| 2023-04-02 03:52:21 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-02 03:52:32 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-02 04:01:15 +0000 | gurkengl1s | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-02 04:01:43 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-04-02 04:05:30 +0000 | <Nosrep> | good idea |
| 2023-04-02 04:05:33 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-02 04:05:57 +0000 | califax | (~califax@user/califx) |
| 2023-04-02 04:06:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) (Ping timeout: 248 seconds) |
| 2023-04-02 04:08:34 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-04-02 04:26:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 04:27:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-04-02 04:30:48 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 268 seconds) |
| 2023-04-02 04:32:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) |
| 2023-04-02 04:32:09 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-02 04:52:37 +0000 | trev | (~trev@user/trev) |
| 2023-04-02 04:55:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-02 05:04:06 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-02 05:08:49 +0000 | _xor | (~xor@74.215.46.17) (Quit: bbiab) |
| 2023-04-02 05:09:06 +0000 | pony | u-ou |
| 2023-04-02 05:22:15 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 05:24:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 05:41:06 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-04-02 05:42:01 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 2023-04-02 05:42:03 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-02 05:43:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-04-02 05:43:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-02 05:46:07 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-04-02 05:54:01 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 05:54:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 06:03:53 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-02 06:04:10 +0000 | phma | (~phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 2023-04-02 06:04:31 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-02 06:04:34 +0000 | phma | (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) |
| 2023-04-02 06:05:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 06:08:36 +0000 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 255 seconds) |
| 2023-04-02 06:16:05 +0000 | barzo | (~hd@31.223.56.16) |
| 2023-04-02 06:16:39 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 06:20:10 +0000 | razetime | (~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy) |
| 2023-04-02 06:25:49 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-04-02 06:30:09 +0000 | kuribas | (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) |
| 2023-04-02 06:30:50 +0000 | <kuribas> | How do HKTs fit into the lambda cube? |
| 2023-04-02 06:30:54 +0000 | <kuribas> | They are not types that depend on types, since (Type -> Type) is not a type... |
| 2023-04-02 06:31:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 06:32:11 +0000 | <kuribas> | They are not terms either. |
| 2023-04-02 06:32:27 +0000 | <kuribas> | (Type -> Type) is not a (value level) term. |
| 2023-04-02 06:38:11 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 06:47:30 +0000 | kuribas | (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-04-02 06:50:18 +0000 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) |
| 2023-04-02 06:58:44 +0000 | barzo | (~hd@31.223.56.16) (Quit: Leaving) |
| 2023-04-02 07:02:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 07:10:42 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 2023-04-02 07:11:28 +0000 | hltk | (~hltk@hltk.fi) (Remote host closed the connection) |
| 2023-04-02 07:11:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 07:16:14 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 07:21:37 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-02 07:24:04 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-02 07:48:55 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-02 07:49:34 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Client Quit) |
| 2023-04-02 07:50:38 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-02 07:51:02 +0000 | u-ou | no-n |
| 2023-04-02 07:57:57 +0000 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 2023-04-02 07:59:02 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-04-02 08:03:31 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-02 08:17:35 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-04-02 08:19:16 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 08:21:41 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 08:21:52 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-04-02 08:22:20 +0000 | andreas303-apple | (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2023-04-02 08:22:42 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-04-02 08:32:53 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 08:33:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 08:35:23 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection) |
| 2023-04-02 08:36:56 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-04-02 08:43:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-02 08:53:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-02 08:57:42 +0000 | phma | (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 2023-04-02 08:58:34 +0000 | phma | (~phma@2001:5b0:210d:32c8:ebb2:77d8:cd18:90d7) |
| 2023-04-02 09:00:03 +0000 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) (Quit: You have been kicked for being idle) |
| 2023-04-02 09:00:04 +0000 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Quit: You have been kicked for being idle) |
| 2023-04-02 09:00:51 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 260 seconds) |
| 2023-04-02 09:09:05 +0000 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-02 09:15:48 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2023-04-02 09:16:42 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-02 09:33:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 2023-04-02 09:35:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 09:38:56 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-02 09:42:29 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 09:46:38 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 09:59:54 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-04-02 10:10:58 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 10:14:24 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-02 10:16:28 +0000 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-02 10:16:53 +0000 | paul_j | (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) |
| 2023-04-02 10:27:47 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 2023-04-02 10:34:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 10:35:22 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2023-04-02 10:38:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds) |
| 2023-04-02 10:39:29 +0000 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-04-02 10:43:50 +0000 | sefidel | (~sefidel@user/sefidel) |
| 2023-04-02 10:49:36 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 2023-04-02 10:57:14 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-04-02 11:05:20 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 2023-04-02 11:06:04 +0000 | Sciencentistguy6 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-02 11:07:14 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-04-02 11:08:19 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 2023-04-02 11:08:19 +0000 | Sciencentistguy6 | Sciencentistguy |
| 2023-04-02 11:09:11 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 11:11:10 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-02 11:14:20 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 11:16:27 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 2023-04-02 11:18:04 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-02 11:19:29 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-04-02 11:25:41 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-02 11:27:33 +0000 | acidjnk | (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) |
| 2023-04-02 11:27:58 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-04-02 11:29:15 +0000 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 260 seconds) |
| 2023-04-02 11:30:01 +0000 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-04-02 11:35:20 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 11:35:35 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-02 11:37:12 +0000 | paul_j | (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) (Quit: Asta la vista) |
| 2023-04-02 11:39:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-02 11:43:40 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 11:45:43 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 11:46:20 +0000 | turlando | (~turlando@user/turlando) |
| 2023-04-02 11:47:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 11:48:24 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 11:52:57 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2023-04-02 11:54:53 +0000 | turlando | (~turlando@user/turlando) |
| 2023-04-02 11:55:45 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 260 seconds) |
| 2023-04-02 12:03:17 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-02 12:11:12 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-04-02 12:14:08 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 12:31:28 +0000 | talismanick | (~talismani@76.133.152.122) |
| 2023-04-02 12:48:10 +0000 | Alex_test | (~al_test@178.34.151.91) (Quit: ;-) |
| 2023-04-02 12:49:10 +0000 | AlexZenon | (~alzenon@178.34.151.91) (Quit: ;-) |
| 2023-04-02 12:49:17 +0000 | AlexNoo | (~AlexNoo@178.34.151.91) (Quit: Leaving) |
| 2023-04-02 13:02:04 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 13:02:49 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Client Quit) |
| 2023-04-02 13:04:58 +0000 | Guest54 | (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) |
| 2023-04-02 13:06:00 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-02 13:06:53 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 13:07:39 +0000 | Guest54 | (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) (Quit: Client closed) |
| 2023-04-02 13:09:21 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 13:13:00 +0000 | AlexNoo | (~AlexNoo@178.34.151.91) |
| 2023-04-02 13:13:55 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 13:17:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-04-02 13:18:43 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-02 13:20:22 +0000 | AlexZenon | (~alzenon@178.34.151.91) |
| 2023-04-02 13:22:08 +0000 | smallville7123 | (~Android@116.90.72.44) (Ping timeout: 248 seconds) |
| 2023-04-02 13:22:25 +0000 | Alex_test | (~al_test@178.34.151.91) |
| 2023-04-02 13:25:27 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-04-02 13:32:48 +0000 | kenran | (~user@user/kenran) |
| 2023-04-02 13:35:38 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-04-02 13:38:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-02 13:42:46 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-04-02 13:45:58 +0000 | irrgit_ | (~irrgit@176.113.74.130) |
| 2023-04-02 13:48:32 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-02 13:48:35 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 13:49:24 +0000 | irrgit__ | (~irrgit@176.113.74.74) (Ping timeout: 255 seconds) |
| 2023-04-02 13:52:35 +0000 | Everything | (~Everythin@46.185.124.65) |
| 2023-04-02 13:52:43 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 248 seconds) |
| 2023-04-02 13:53:36 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 13:56:34 +0000 | pavonia | (~user@user/siracusa) |
| 2023-04-02 14:04:28 +0000 | kdass | (~root@072-238-128-073.res.spectrum.com) |
| 2023-04-02 14:04:52 +0000 | <kdass> | hello |
| 2023-04-02 14:05:38 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 14:05:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 14:06:40 +0000 | kenran | (~user@user/kenran) |
| 2023-04-02 14:07:20 +0000 | kdass | (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 2023-04-02 14:14:19 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-02 14:23:54 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 14:25:53 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-04-02 14:30:05 +0000 | myme | (~myme@2a01:799:d60:e400:152f:3afa:67d8:6d3c) (Ping timeout: 246 seconds) |
| 2023-04-02 14:30:22 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 252 seconds) |
| 2023-04-02 14:31:17 +0000 | myme | (~myme@2a01:799:d60:e400:53f1:6d0a:f3a2:798b) |
| 2023-04-02 14:38:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-02 14:41:40 +0000 | <juri_> | hello! |
| 2023-04-02 14:41:44 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 14:43:02 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 14:49:36 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 2023-04-02 14:52:23 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 14:53:11 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 14:53:42 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 14:53:52 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 248 seconds) |
| 2023-04-02 14:54:32 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-02 14:57:52 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 14:59:02 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-02 14:59:31 +0000 | acidjnk | (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-04-02 15:01:38 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 15:01:38 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 15:01:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 15:06:40 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-04-02 15:07:15 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 255 seconds) |
| 2023-04-02 15:09:15 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-02 15:10:41 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 15:11:09 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 15:11:10 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 15:11:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 15:11:54 +0000 | krei-se | (~krei-se@p50874388.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-02 15:14:23 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-04-02 15:15:50 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 15:17:37 +0000 | turlando | (~turlando@user/turlando) |
| 2023-04-02 15:22:39 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 15:25:14 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 15:28:59 +0000 | irrgit__ | (~irrgit@176.113.74.138) |
| 2023-04-02 15:30:09 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2023-04-02 15:32:31 +0000 | irrgit_ | (~irrgit@176.113.74.130) (Ping timeout: 252 seconds) |
| 2023-04-02 15:42:04 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 15:43:18 +0000 | taupiqueur | (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) |
| 2023-04-02 15:47:44 +0000 | taupiqueur | (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) (Ping timeout: 248 seconds) |
| 2023-04-02 15:49:01 +0000 | irrgit_ | (~irrgit@176.113.74.130) |
| 2023-04-02 15:50:24 +0000 | gensyst | (~gensyst@user/gensyst) |
| 2023-04-02 15:51:58 +0000 | <gensyst> | Any Haskell/Nix guys here? |
| 2023-04-02 15:52:02 +0000 | <gensyst> | (and flakes) |
| 2023-04-02 15:52:16 +0000 | irrgit__ | (~irrgit@176.113.74.138) (Ping timeout: 252 seconds) |
| 2023-04-02 15:53:20 +0000 | <ncf> | don't ask to ask |
| 2023-04-02 15:53:53 +0000 | <[exa]> | quite a few people here use nix |
| 2023-04-02 15:55:32 +0000 | <gensyst> | In Nix/flakes code like this, https://dpaste.com/AR6SKVPX3 .. (taken from serokell.io blog post) .. where would you insert "buildPhase = " to override the buildPhase? |
| 2023-04-02 15:55:59 +0000 | <gensyst> | For testing I've tried putting buildPhase = ""; at a few places (to test if really no buildling happens), but always the build happens anyway. |
| 2023-04-02 15:59:03 +0000 | <ncf> | i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 2023-04-02 16:01:21 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 16:03:04 +0000 | <Cale> | The result of callCabal2nix should have a buildPhase attribute, have you tried replacing that? |
| 2023-04-02 16:05:09 +0000 | <Cale> | nix-repl> x = (import <nixpkgs> {}).haskell.packages.ghc8107.callCabal2nix "lumatone-hs" ./lumatone-hs.cabal {} |
| 2023-04-02 16:05:09 +0000 | <Cale> | nix-repl> x.buildPhase |
| 2023-04-02 16:05:09 +0000 | <Cale> | "runHook preBuild\n./Setup build \nrunHook postBuild\n" |
| 2023-04-02 16:08:03 +0000 | <Cale> | er, passed the .cabal rather than the source path there, but you get the idea |
| 2023-04-02 16:09:04 +0000 | econo | (uid147250@user/econo) |
| 2023-04-02 16:12:00 +0000 | <Cale> | x.overrideAttrs (self: { buildPhase = ""; }) resulted in the build not happening (and then the next steps failing to find .hi files) |
| 2023-04-02 16:13:39 +0000 | dipper_ | (~dipper@203.168.13.4) (Ping timeout: 265 seconds) |
| 2023-04-02 16:13:54 +0000 | <ncf> | (why would you want that, though?) |
| 2023-04-02 16:14:03 +0000 | <Cale> | Yeah, you probably wouldn't, haha |
| 2023-04-02 16:17:37 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 16:19:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 16:20:19 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2023-04-02 16:20:26 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 16:21:52 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2023-04-02 16:26:03 +0000 | <gensyst> | Cale, ncf i'm just getting confused... (i have some existing addBuildDepends functions etc.) |
| 2023-04-02 16:26:06 +0000 | <gensyst> | comparing with https://github.com/NixOS/nixpkgs/blob/master/doc/languages-frameworks/haskell.section.md |
| 2023-04-02 16:26:19 +0000 | <gensyst> | was the argument order changed for functions like addBuildDepends, at some point? |
| 2023-04-02 16:27:03 +0000 | <ncf> | there's two versions of those functions, one in haskell.lib and one in haskell.lib.compose, and they have swapped argument orders |
| 2023-04-02 16:27:06 +0000 | <ncf> | don't ask me why |
| 2023-04-02 16:27:22 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-04-02 16:27:52 +0000 | <ncf> | (well, i'm gonna go out on a limb and guess haskell.lib is for backwards compatibility while haskell.lib.compose is for making chains of functions with lib.pipe) |
| 2023-04-02 16:28:44 +0000 | <gensyst> | ah, good to know! |
| 2023-04-02 16:30:08 +0000 | <gensyst> | ncf Cale, I tried replacing the buildPhase without any luck: https://dpaste.com/GX3HGTNUA |
| 2023-04-02 16:30:09 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-04-02 16:31:00 +0000 | <ncf> | <ncf> i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 2023-04-02 16:31:41 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 16:34:33 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-04-02 16:35:46 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-04-02 16:37:20 +0000 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 2023-04-02 16:38:48 +0000 | <gensyst> | ncf, that fails to compile: https://dpaste.com/3S2BKQHP6 |
| 2023-04-02 16:39:05 +0000 | <gensyst> | ncf, fyi if I replace buildPhase with postInstall (which is not what I want), it at least compiles |
| 2023-04-02 16:39:13 +0000 | <gensyst> | so i guess it shows we are on the right track, so to speak |
| 2023-04-02 16:40:41 +0000 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-02 16:43:04 +0000 | <ncf> | indeed, the arguments to https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/generic-builder.nix don't let you override the entire build phase |
| 2023-04-02 16:43:17 +0000 | <ncf> | if you still want to do that (why?), use .overrideAttrs |
| 2023-04-02 16:45:05 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-04-02 16:45:29 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 16:47:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 16:50:10 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-02 16:50:47 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2023-04-02 16:52:43 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 16:57:00 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-04-02 16:57:35 +0000 | <jumper149> | I am currently using brick to build a TUI, but just noticed that reflex-vty exists. Does anyone know whether one library is better than the other in any way? |
| 2023-04-02 16:59:05 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2023-04-02 16:59:48 +0000 | <Cale> | As one of the authors of reflex-vty, I'd also be curious if you find one works out better for you than the other. reflex-vty is based on the same vty library as brick, but provides a functional reactive programming (FRP) interface to it. |
| 2023-04-02 17:00:38 +0000 | <sm> | I assume brick provides more widgets and is easier to learn |
| 2023-04-02 17:00:55 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-04-02 17:01:11 +0000 | sm | imagines brick-reflex |
| 2023-04-02 17:02:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 17:02:07 +0000 | <Cale> | The only reason we're not based on top of brick is that at the time that we were starting reflex-vty at least, brick's author didn't want to expose a bunch of internals that we'd have needed. :P |
| 2023-04-02 17:04:34 +0000 | <Cale> | I haven't looked at it much since then, and it looks a fair bit different from how I remember, so I'm not sure if writing a binding would go completely differently now. |
| 2023-04-02 17:10:57 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 17:14:26 +0000 | ubert | (~Thunderbi@p548c88d5.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-04-02 17:16:07 +0000 | <jumper149> | Well overall I feel like brick is quite pragmatic. It uses the Elm approach (Model,View,Update), which is fine with me. |
| 2023-04-02 17:16:25 +0000 | <jumper149> | But I feel like the abstractions could still be improved quite a bit. |
| 2023-04-02 17:16:36 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-04-02 17:18:40 +0000 | <jumper149> | For example the `EventM` monad (to update the state) uses `MonadState` to access the application state. This is pragmatic, because you can now use mircrolens-mtl functions, but it doesn't play so good when combined with a custom monad stack for example. |
| 2023-04-02 17:19:43 +0000 | <jumper149> | Maybe FRP makes life a little better, idk. |
| 2023-04-02 17:21:48 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2023-04-02 17:22:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 17:23:23 +0000 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-02 17:23:31 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-04-02 17:24:26 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 17:30:12 +0000 | <sm> | define "better" :) |
| 2023-04-02 17:35:21 +0000 | <gensyst> | ncf, thanks for asking "why?". it pushed me to do what i originally wanted and for that preCheck should be fine. |
| 2023-04-02 17:35:42 +0000 | <gensyst> | The real issue is "cabal build" not working when called from within a test suite (using turtle scripting) |
| 2023-04-02 17:36:26 +0000 | <gensyst> | something about /homeless-shelter and even if I with preCheck set HOME=$(pwd) or HOME=$TMP some other errors about GHC env variables |
| 2023-04-02 17:36:49 +0000 | <gensyst> | By what mechanism could cabal build work fine in the build phase, and even in nix develop shell, but not when call from within a test suite? |
| 2023-04-02 17:36:59 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 17:37:07 +0000 | <gensyst> | (it's an integration test that builds the project itself and then runs it) |
| 2023-04-02 17:38:05 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 17:39:36 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-02 17:39:46 +0000 | <ncf> | i only know the builder does its own plumbing (rather than just calling cabal), but i don't know exactly how it works |
| 2023-04-02 17:39:55 +0000 | <ncf> | i'd suggest asking the Nix Haskell room on matrix |
| 2023-04-02 17:40:19 +0000 | <ncf> | https://matrix.to/#/#haskell:nixos.org |
| 2023-04-02 17:40:29 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-04-02 17:42:00 +0000 | <gensyst> | what matrix clients are best for linux (debian) |
| 2023-04-02 17:42:46 +0000 | <mauke> | if you find a good one, let me know |
| 2023-04-02 17:43:17 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 17:44:56 +0000 | <gensyst> | mauke, which have you tried? just checked and from the ones on Debian, nheko seems the most maintained/popular on GitHub |
| 2023-04-02 17:47:14 +0000 | <mauke> | element, nheko, fluffychat |
| 2023-04-02 17:48:39 +0000 | <mauke> | nheko's UI suffers from being a bunch of pre-fab components slapped together |
| 2023-04-02 17:49:10 +0000 | <mauke> | there's no coherent design or look-and-feel; it's all just what Qt happens to offer in widget X |
| 2023-04-02 17:49:33 +0000 | <gensyst> | ah ok. imo i gave up on "pretty" when i moved to linux. for linux, functionality matters to me now. pretty is for walled-garden, closed-source apple users |
| 2023-04-02 17:49:45 +0000 | <mauke> | which is why e.g. scrolling in the preferences pane works completely differently from the main chat area |
| 2023-04-02 17:50:07 +0000 | <mauke> | it's also great if you like HTML injection bugs in native C++ applications :-) |
| 2023-04-02 17:52:42 +0000 | <sm> | ouch |
| 2023-04-02 17:55:51 +0000 | <witcher> | gensyst: i'm on the lookout as well, currently, but am really struggling to find something |
| 2023-04-02 17:56:05 +0000 | <witcher> | i've settled for a weechat plugin for the time being. not ideal |
| 2023-04-02 17:56:46 +0000 | <sm> | Element is free software, isn't it ? |
| 2023-04-02 17:56:55 +0000 | <witcher> | it is |
| 2023-04-02 17:58:56 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-04-02 18:01:36 +0000 | winny | (~weechat@user/winny) (Quit: rebooting because alpine nukes old kernels. Sad) |
| 2023-04-02 18:02:21 +0000 | winny | (~weechat@user/winny) |
| 2023-04-02 18:02:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 18:02:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 18:03:25 +0000 | ddellaco1 | (~ddellacos@146.70.165.10) (Ping timeout: 250 seconds) |
| 2023-04-02 18:10:11 +0000 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-04-02 18:14:57 +0000 | fercoder | (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) |
| 2023-04-02 18:23:37 +0000 | Guest|27 | (~Guest|27@168.194.233.219) |
| 2023-04-02 18:30:08 +0000 | <Guest|27> | Hi. I wanted to ask if there was a problem with installing GHCup in admin mode because every time I try to install it closes the shell before doing any thing except if i use admin mode. |
| 2023-04-02 18:32:35 +0000 | <mauke> | what do you mean by "close the shell"? |
| 2023-04-02 18:33:07 +0000 | <mauke> | actually, what OS are you on and how are you trying to install it? |
| 2023-04-02 18:34:17 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 18:35:41 +0000 | Guest|2731 | (~Guest|27@168.194.233.219) |
| 2023-04-02 18:36:51 +0000 | <yushyin> | most likely windows |
| 2023-04-02 18:37:10 +0000 | <Guest|2731> | (I'm sorry i lost mi connection for a moment)I'm on windows 8.1 and by "close the shell" I mean that the power shell sends 3 herror messages and then it closes |
| 2023-04-02 18:38:08 +0000 | Guest|27 | (~Guest|27@168.194.233.219) (Ping timeout: 260 seconds) |
| 2023-04-02 18:38:57 +0000 | <mauke> | what command are you using for installation? |
| 2023-04-02 18:39:55 +0000 | <Guest|2731> | This is the one given in the official page |
| 2023-04-02 18:39:56 +0000 | <Guest|2731> | "Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; try { Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true } catch { |
| 2023-04-02 18:39:56 +0000 | <Guest|2731> | Write-Error $_ }" |
| 2023-04-02 18:40:45 +0000 | <Guest|2731> | I already tried turning off mi antivirus but it didn't work so i was asking if there was really a problem with installing it in admin mode because that's the only time it didn't send mi error messages |
| 2023-04-02 18:42:52 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 18:45:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 18:46:30 +0000 | kenran | (~user@user/kenran) |
| 2023-04-02 18:51:53 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 18:56:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 18:57:05 +0000 | mechap | (~mechap@user/mechap) |
| 2023-04-02 18:57:41 +0000 | pyook | (~pyook@user/puke) |
| 2023-04-02 19:00:11 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2023-04-02 19:01:01 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 19:07:05 +0000 | Guest|2731 | (~Guest|27@168.194.233.219) (Ping timeout: 268 seconds) |
| 2023-04-02 19:08:39 +0000 | Guest|27 | (~Guest|27@168.194.233.219) |
| 2023-04-02 19:08:47 +0000 | Guest|27 | (~Guest|27@168.194.233.219) (Client Quit) |
| 2023-04-02 19:12:10 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 19:16:13 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-02 19:17:20 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 19:31:20 +0000 | fercoder | (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) (Quit: Client closed) |
| 2023-04-02 19:32:52 +0000 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 252 seconds) |
| 2023-04-02 19:35:23 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-02 19:36:25 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2023-04-02 19:37:22 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-02 19:42:16 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) |
| 2023-04-02 19:42:23 +0000 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) |
| 2023-04-02 19:44:32 +0000 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:b94a:fdf5:9dc3:ac65) (Ping timeout: 248 seconds) |
| 2023-04-02 19:44:38 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 2023-04-02 19:51:04 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-04-02 19:52:30 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 19:52:30 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 19:52:30 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 19:55:40 +0000 | <heraldo> | This Steven Diehl document, the one, WIWIK I think |
| 2023-04-02 19:56:04 +0000 | <heraldo> | Is anyone in here familiar with it |
| 2023-04-02 19:56:41 +0000 | <heraldo> | I think I might have made a mess of the acryonym. It is the What I wish I knew document |
| 2023-04-02 19:56:58 +0000 | <heraldo> | Wow I made typos all of the place |
| 2023-04-02 19:57:11 +0000 | biberu | (~biberu@user/biberu) |
| 2023-04-02 19:57:47 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 264 seconds) |
| 2023-04-02 19:58:00 +0000 | <heraldo> | Thanks |
| 2023-04-02 19:59:48 +0000 | heraldo | (~heraldo@user/heraldo) () |
| 2023-04-02 20:00:30 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-02 20:01:28 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-04-02 20:02:13 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 20:04:08 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-04-02 20:05:44 +0000 | root | (~root@072-238-128-073.res.spectrum.com) |
| 2023-04-02 20:05:59 +0000 | root | (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 2023-04-02 20:06:04 +0000 | Sciencentistguy1 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-02 20:06:08 +0000 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 265 seconds) |
| 2023-04-02 20:07:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-02 20:08:45 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2023-04-02 20:08:46 +0000 | Sciencentistguy1 | Sciencentistguy |
| 2023-04-02 20:10:03 +0000 | kachmar | (~kachmar@pppoe.178-66-156-162.dynamic.avangarddsl.ru) |
| 2023-04-02 20:13:16 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-02 20:16:50 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2023-04-02 20:17:03 +0000 | caubert | (~caubert@user/caubert) |
| 2023-04-02 20:19:51 +0000 | Everything | (~Everythin@46.185.124.65) (Quit: leaving) |
| 2023-04-02 20:27:11 +0000 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2023-04-02 20:30:47 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 264 seconds) |
| 2023-04-02 20:31:33 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 20:35:37 +0000 | talismanick | (~talismani@76.133.152.122) |
| 2023-04-02 20:37:13 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2023-04-02 20:40:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 20:48:05 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-04-02 20:50:01 +0000 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 20:50:04 +0000 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 268 seconds) |
| 2023-04-02 20:50:08 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-04-02 21:02:13 +0000 | jesser[m]1 | (~jesserjes@2001:470:69fc:105::3:3cd5) |
| 2023-04-02 21:07:41 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-02 21:07:41 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-02 21:07:41 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 21:10:38 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-02 21:11:52 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-04-02 21:18:02 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-02 21:34:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 21:34:47 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-04-02 21:38:19 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 21:50:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-02 21:50:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 21:51:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 21:54:04 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-04-02 21:56:10 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-04-02 22:03:54 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 2023-04-02 22:07:05 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-04-02 22:08:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 22:12:16 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-04-02 22:19:23 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-04-02 22:23:38 +0000 | no-n | pony |
| 2023-04-02 22:28:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-02 22:31:24 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 22:32:23 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2023-04-02 22:33:49 +0000 | tired | (~tired@user/tired) |
| 2023-04-02 22:38:03 +0000 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-02 23:11:27 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-04-02 23:13:11 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 2023-04-02 23:13:11 +0000 | mauke_ | mauke |
| 2023-04-02 23:13:40 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 23:16:01 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-04-02 23:16:18 +0000 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2023-04-02 23:18:55 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-02 23:22:14 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2023-04-02 23:24:00 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-04-02 23:24:00 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-04-02 23:24:00 +0000 | haritz | (~hrtz@user/haritz) |
| 2023-04-02 23:26:43 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2023-04-02 23:29:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-02 23:30:59 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 23:32:16 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 23:37:49 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 23:38:56 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 23:50:35 +0000 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-04-02 23:52:20 +0000 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 23:53:15 +0000 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 2023-04-02 23:56:17 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-02 23:57:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2023-04-02 23:57:39 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-04-02 23:59:34 +0000 | <erisco> | if I have something where x >>= \a -> (y >>= \b -> z) does not equal (x >>= \a -> y) >>= \b -> z do I have something recognisable or do I just have a mess? |