| 2022-09-14 00:03:36 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-09-14 00:04:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 00:04:13 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-14 00:06:06 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection) |
| 2022-09-14 00:07:32 +0000 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-09-14 00:17:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 00:21:51 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-09-14 00:22:10 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 00:22:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 00:23:25 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 00:24:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-14 00:27:39 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-14 00:30:44 +0000 | <sammelweis> | how can I get ghci to load a file with type errors so I can use :t to help me fix type errors? |
| 2022-09-14 00:31:23 +0000 | <davean> | sammelweis: so uh, :t probably won't help you there. You can use -fdefer-type-errors though |
| 2022-09-14 00:31:31 +0000 | <davean> | but if there are type errors, what you'll get from :t will be false |
| 2022-09-14 00:31:40 +0000 | <davean> | you're PROBABLY better off using _ instead |
| 2022-09-14 00:32:04 +0000 | <davean> | that is, using Typed Holes |
| 2022-09-14 00:32:06 +0000 | <sammelweis> | just want to get the type of some stuff from libraries |
| 2022-09-14 00:32:22 +0000 | <sammelweis> | trying to figure out what type changed to break my code when ghc got upgraded |
| 2022-09-14 00:32:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 00:32:29 +0000 | <davean> | sammelweis: but if there are errors, and that type relates to that error, the type you get will be wrong by relation |
| 2022-09-14 00:32:46 +0000 | <davean> | This is what the errors are telling you - where the *conflict* is |
| 2022-09-14 00:33:39 +0000 | ph88 | (~ph88@2a02:8109:9e00:71d0:3578:dbbf:f7b2:91f0) |
| 2022-09-14 00:34:16 +0000 | <davean> | anyway, what you're asking for is https://downloads.haskell.org/ghc/9.2.2/docs/html/users_guide/exts/defer_type_errors.html?highligh… and https://downloads.haskell.org/ghc/9.2.2/docs/html/users_guide/exts/typed_holes.html?highlight=type… will probably serve you better |
| 2022-09-14 00:34:33 +0000 | <davean> | You'll learn the problems I was trying to explain when you use it I guess :) |
| 2022-09-14 00:34:56 +0000 | <sammelweis> | na I already found it |
| 2022-09-14 00:35:03 +0000 | <sammelweis> | the type of `toList` changed |
| 2022-09-14 00:35:40 +0000 | <sammelweis> | really i used `:i toList` in ghci not just `:t` |
| 2022-09-14 00:36:12 +0000 | <davean> | RIGHT that makes sense |
| 2022-09-14 00:36:33 +0000 | <sammelweis> | thanks davean |
| 2022-09-14 00:36:37 +0000 | <davean> | NP |
| 2022-09-14 00:36:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-14 00:41:36 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-09-14 00:42:33 +0000 | gff_ | (~gff@user/gff) (Ping timeout: 268 seconds) |
| 2022-09-14 00:44:37 +0000 | gff_ | (~gff@user/gff) |
| 2022-09-14 00:49:38 +0000 | ph88 | (~ph88@2a02:8109:9e00:71d0:3578:dbbf:f7b2:91f0) (Quit: Leaving) |
| 2022-09-14 00:51:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 00:55:31 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 00:56:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 01:01:10 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 01:01:48 +0000 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-09-14 01:05:35 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2022-09-14 01:08:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-14 01:18:08 +0000 | janus | (janus@anubis.0x90.dk) |
| 2022-09-14 01:20:28 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-14 01:23:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 01:24:41 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-14 01:25:36 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-09-14 01:27:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 01:30:47 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 01:31:57 +0000 | <janus> | how do i read a length-prefixed string using nhc98? only see null terminated on https://www.haskell.org/nhc98/libs/FFI.html |
| 2022-09-14 01:33:11 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-09-14 01:33:53 +0000 | <jackdk> | okay but what are you doing with nhc98? I'm intrigued |
| 2022-09-14 01:35:23 +0000 | <janus> | jackdk: trying to build ghc-0.29 with nhc98, and i need to patch a few things |
| 2022-09-14 01:35:48 +0000 | <jackdk> | I would try to do something with the CStringLen type or read the length separately and then try to read "n" chars into a list |
| 2022-09-14 01:36:00 +0000 | <jackdk> | are you... bootstrapping? |
| 2022-09-14 01:36:03 +0000 | <janus> | ghc-0.29 is written in a weird dialect with no do-notation and monomorphized return functions |
| 2022-09-14 01:36:21 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-14 01:36:21 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-14 01:36:21 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-14 01:36:26 +0000 | <janus> | dunno if it qualifies as bootstrapping since i probably got nhc98 built using generated sources |
| 2022-09-14 01:36:52 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 01:36:58 +0000 | <jackdk> | But you're hoping to build ghc 0.29 off an nhc98 bindist? |
| 2022-09-14 01:37:35 +0000 | <janus> | no, using an nhc98 source dist, but since i didn't have a haskell compiler installed, it must have built using generated sources, i figure |
| 2022-09-14 01:39:24 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-14 01:40:29 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-14 01:40:59 +0000 | <janus> | yeah, i'll read the length using Storable(peek) and then `peekCStringLen (addr + 4, peekedLength)` |
| 2022-09-14 01:41:02 +0000 | <janus> | good tip, thanks |
| 2022-09-14 01:41:32 +0000 | <jackdk> | If you know the type of the length you're reading into, yyou can probably use sizeof instead of `4` |
| 2022-09-14 01:41:51 +0000 | potash | (~foghorn@user/foghorn) (Ping timeout: 265 seconds) |
| 2022-09-14 01:41:55 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-14 01:42:40 +0000 | <janus> | this is for the parser, and it using a macro called FAST_STRING, which when compiling on ghc is _PackedString. NHC has a PackedString too, so i thought it'd use that |
| 2022-09-14 01:44:03 +0000 | <janus> | PackedString is abstract though, and can only be built using a String... but i'll do that then: struct {len, data} -> CString -> String -> PackedString |
| 2022-09-14 01:46:35 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 01:47:08 +0000 | <janus> | the `4` is because the length is a `long`. I have to hardcode it because i don't wanna get started with hsc2hs and stuff, which wouldn't work on this ancient stuff |
| 2022-09-14 01:47:28 +0000 | <janus> | not sure what you meant by that |
| 2022-09-14 01:50:33 +0000 | zachel | (~zachelfai@user/zachel) () |
| 2022-09-14 01:53:32 +0000 | <janus> | ah, maybe you just meant if I know the haskell type mapping to the c-type. yeah i do, it should be a CLong |
| 2022-09-14 01:54:19 +0000 | <jackdk> | Yeah, that Storable class has a sizeOf function |
| 2022-09-14 01:54:30 +0000 | <jackdk> | (as in the one in your nhc link |
| 2022-09-14 01:54:31 +0000 | <jackdk> | ) |
| 2022-09-14 01:55:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 01:57:50 +0000 | frost | (~frost@user/frost) |
| 2022-09-14 01:58:55 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 02:00:25 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-14 02:00:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 02:02:31 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-09-14 02:04:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-14 02:05:00 +0000 | <Axman6> | traverse sequence |
| 2022-09-14 02:05:04 +0000 | <Axman6> | :t traverse sequence |
| 2022-09-14 02:05:05 +0000 | <lambdabot> | (Traversable t1, Traversable t2, Monad f) => t1 (t2 (f a)) -> f (t1 (t2 a)) |
| 2022-09-14 02:05:44 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 02:06:00 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-14 02:06:49 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 02:10:07 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-14 02:11:25 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 02:13:42 +0000 | <Axman6> | % :i (<*>) |
| 2022-09-14 02:13:43 +0000 | <yahb2> | type Applicative :: (* -> *) -> Constraint ; class Functor f => Applicative f where ; ... ; (<*>) :: f (a -> b) -> f a -> f b ; ... ; -- Defined in ‘GHC.Base’ ; infixl 4 <*> |
| 2022-09-14 02:17:07 +0000 | potash | (~foghorn@user/foghorn) |
| 2022-09-14 02:20:38 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 02:22:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 02:23:02 +0000 | <janus> | jackdk: but there is already an article on interpreting nhc98 with hugs, so if you combine that with what i am doing, my hope is that you could bootstrap ghc without generated sources |
| 2022-09-14 02:24:27 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-14 02:24:57 +0000 | <jackdk> | Yeah I read that article a while back, and failed to reproduce its results so I gave up |
| 2022-09-14 02:25:36 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 02:29:26 +0000 | <janus> | i think i tried and failed too. not sure why it isn't published as a guix package so that it would be reproducable |
| 2022-09-14 02:31:37 +0000 | td_ | (~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 265 seconds) |
| 2022-09-14 02:33:00 +0000 | td_ | (~td@muedsl-82-207-238-076.citykom.de) |
| 2022-09-14 02:35:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-09-14 02:40:45 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-09-14 02:41:06 +0000 | Furor | Colere |
| 2022-09-14 02:43:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-14 02:43:20 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-14 02:43:20 +0000 | finn_elija | FinnElija |
| 2022-09-14 02:49:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 02:53:35 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-14 02:53:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 02:58:29 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 03:10:35 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-14 03:20:41 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 2022-09-14 03:21:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 03:24:46 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 260 seconds) |
| 2022-09-14 03:26:30 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-14 03:26:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 03:37:07 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-14 03:39:15 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 250 seconds) |
| 2022-09-14 03:41:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 03:43:59 +0000 | <dsal> | jackdk: Huge thanks for that nix help. |
| 2022-09-14 03:44:23 +0000 | <jackdk> | dsal: You're welcome |
| 2022-09-14 03:46:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 03:46:22 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-14 03:46:52 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-14 03:54:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 04:00:58 +0000 | benin0 | (~benin@2401:4900:262f:a430:9290:df23:56e1:829) |
| 2022-09-14 04:05:39 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 04:05:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 04:08:12 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2022-09-14 04:09:51 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Quit: WeeChat 3.5) |
| 2022-09-14 04:10:14 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-14 04:10:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 04:12:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-14 04:14:41 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-14 04:15:04 +0000 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) (Remote host closed the connection) |
| 2022-09-14 04:16:50 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 04:18:21 +0000 | biberu | (~biberu@user/biberu) |
| 2022-09-14 04:19:32 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-14 04:19:48 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-09-14 04:23:41 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 04:23:48 +0000 | raym | (~raym@user/raym) (Ping timeout: 264 seconds) |
| 2022-09-14 04:23:50 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-09-14 04:25:58 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-09-14 04:27:20 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-14 04:27:56 +0000 | nehsou^ | (~nehsou@70.88.176.185) (Remote host closed the connection) |
| 2022-09-14 04:28:31 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-14 04:30:12 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-14 04:30:51 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-14 04:31:18 +0000 | benin0 | (~benin@2401:4900:262f:a430:9290:df23:56e1:829) (Ping timeout: 244 seconds) |
| 2022-09-14 04:33:39 +0000 | <sammelweis> | once again i've been sucked into trying to make show type at point work in emacs haskell mode |
| 2022-09-14 04:33:53 +0000 | <sammelweis> | i've spent hours at this in the past |
| 2022-09-14 04:34:22 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-14 04:34:25 +0000 | <sammelweis> | i never really got used to losing it after intero stopped being maintained |
| 2022-09-14 04:35:56 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-14 04:36:13 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-14 04:38:12 +0000 | <glguy> | sammelweis: whatever it is that spacemacs does seems to "just work" |
| 2022-09-14 04:38:26 +0000 | <glguy> | I opened one of my Haskell projects in emacs and I get type signatures on hover |
| 2022-09-14 04:39:23 +0000 | <glguy> | https://ibb.co/mXzWfKd |
| 2022-09-14 04:39:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 04:39:42 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-14 04:40:07 +0000 | <glguy> | at a minimum I've turn on the haskell layer and I have hls installed from ghcup |
| 2022-09-14 04:42:06 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 04:42:15 +0000 | <[Leary]> | You can also just do (expr :: _) and see it in ghcid or whatnot. |
| 2022-09-14 04:43:06 +0000 | <[Leary]> | Typed holes are pretty handy. |
| 2022-09-14 04:43:18 +0000 | <davean> | You can do the same without type holes via :t |
| 2022-09-14 04:43:54 +0000 | <glguy> | typed holes allow you to use stuff that wouldn't be in scope with :t |
| 2022-09-14 04:44:01 +0000 | <davean> | Thats true |
| 2022-09-14 04:44:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 04:44:10 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 04:44:22 +0000 | <[Leary]> | Via `-- $> :t expr`? I don't keep a ghci ready 99% of the time. |
| 2022-09-14 04:44:47 +0000 | <glguy> | I used to use them more in ghcid but I'm pretty keen on the vscode haskell extension and the hls integration. |
| 2022-09-14 04:45:15 +0000 | <glguy> | (and that's working in vim and emacs, too) |
| 2022-09-14 04:45:26 +0000 | <davean> | I don't know that I've ever had such a case, but I could see how TypedHoles are easier for like the type embeded down in an expression |
| 2022-09-14 04:47:05 +0000 | <glguy> | Like say you're trying to be clever with the lens library and you're wondering what type something has after all the specializations |
| 2022-09-14 04:47:05 +0000 | <glguy> | https://ibb.co/Y2WymGs |
| 2022-09-14 04:48:51 +0000 | <sammelweis> | glguy: i'm using spacemacs |
| 2022-09-14 04:49:02 +0000 | <glguy> | sure, maybe don't use lens; but there are other things that use type variables :) |
| 2022-09-14 04:49:19 +0000 | <davean> | glguy: I have a mixed relation with lens ;) |
| 2022-09-14 04:49:38 +0000 | <davean> | I think I'm contractually obligated to not say anything bad about it. |
| 2022-09-14 04:49:57 +0000 | <glguy> | I try to limit myself to 0 or 1 clever uses of it per project |
| 2022-09-14 04:51:49 +0000 | raym | (~raym@user/raym) |
| 2022-09-14 04:54:54 +0000 | <glguy> | sammelweis: looks like I added the layers: haskell, lsp |
| 2022-09-14 04:56:22 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-09-14 04:59:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 05:01:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-09-14 05:02:12 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 264 seconds) |
| 2022-09-14 05:08:51 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 252 seconds) |
| 2022-09-14 05:09:10 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-14 05:09:57 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-14 05:11:11 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-09-14 05:11:29 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 05:13:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 05:14:30 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-09-14 05:17:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 05:23:31 +0000 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-14 05:27:19 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-14 05:28:29 +0000 | Furor | Colere |
| 2022-09-14 05:38:22 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-14 05:38:43 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-14 05:40:36 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-14 05:41:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 05:43:10 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-14 05:45:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-14 05:45:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 05:46:32 +0000 | king_gs | (~Thunderbi@187.201.36.251) |
| 2022-09-14 05:47:39 +0000 | <sammelweis> | glguy: i had haskell but not lsp; adding lsp... |
| 2022-09-14 05:48:27 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 05:49:38 +0000 | <sammelweis> | man, i duno, it actually works on like `return` but for any variable defined in the buffer it says `variable not in scope` |
| 2022-09-14 05:50:35 +0000 | <sammelweis> | it says dante loaded... warnings show up highlighted... just no show type at point |
| 2022-09-14 05:52:00 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2022-09-14 05:58:05 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 06:06:40 +0000 | <sammelweis> | omg lol it works if i use `, h t` to get the type insteac of `C-c C-t` |
| 2022-09-14 06:06:41 +0000 | king_gs | (~Thunderbi@187.201.36.251) (Read error: Connection reset by peer) |
| 2022-09-14 06:08:14 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:5a85:6602:e9eb:2cef) |
| 2022-09-14 06:25:34 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 265 seconds) |
| 2022-09-14 06:26:13 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-14 06:29:25 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-14 06:32:52 +0000 | benin0 | (~benin@183.82.204.57) |
| 2022-09-14 06:34:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-14 06:35:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 06:37:32 +0000 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2022-09-14 06:40:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 06:40:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 06:41:37 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 06:41:48 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-14 06:45:21 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 06:45:35 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 06:48:46 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 06:49:01 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 06:54:42 +0000 | <Athas> | Is nextafter/nextafterf exposed anywhere in base? |
| 2022-09-14 06:59:55 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-14 07:00:09 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 07:00:12 +0000 | odnes | (~odnes@5-203-152-64.pat.nym.cosmote.net) |
| 2022-09-14 07:01:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9cf:5cb1:5dd5:8bdc) |
| 2022-09-14 07:01:48 +0000 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-14 07:03:07 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 07:03:22 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 07:03:30 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-14 07:04:14 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 2022-09-14 07:07:36 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 265 seconds) |
| 2022-09-14 07:08:39 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-14 07:09:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 07:14:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 07:20:22 +0000 | <Axman6> | Athas: what is that? |
| 2022-09-14 07:20:58 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 07:22:29 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Read error: Connection reset by peer) |
| 2022-09-14 07:22:37 +0000 | <carbolymer> | I forgot, how do I pass GHC flags on the CLI to `cabal build`? --ghc-options= doesn't seem to work |
| 2022-09-14 07:23:42 +0000 | <Athas> | Axman6: given a floating point number, produces the next or previous number. |
| 2022-09-14 07:23:59 +0000 | img | (~img@user/img) |
| 2022-09-14 07:24:23 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:5a85:6602:e9eb:2cef) (Ping timeout: 244 seconds) |
| 2022-09-14 07:24:37 +0000 | <sm> | carbolymer: sounds right, what's the command line ? |
| 2022-09-14 07:24:42 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 07:24:57 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 07:25:20 +0000 | <zachel> | j |
| 2022-09-14 07:25:49 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-14 07:26:56 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds) |
| 2022-09-14 07:27:13 +0000 | <carbolymer> | sm: cabal build -O0 --ghc-options '-Wwarn -freverse-errors -fobject-code' txe |
| 2022-09-14 07:27:21 +0000 | <carbolymer> | sm: and it's building with only -O0 |
| 2022-09-14 07:27:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 07:28:38 +0000 | <sm> | how about one option per --ghc-options |
| 2022-09-14 07:28:42 +0000 | <carbolymer> | @_@ |
| 2022-09-14 07:28:55 +0000 | <Axman6> | :t decodeFloat |
| 2022-09-14 07:28:57 +0000 | <lambdabot> | RealFloat a => a -> (Integer, Int) |
| 2022-09-14 07:29:06 +0000 | <sm> | or maybe an = |
| 2022-09-14 07:29:16 +0000 | <carbolymer> | sm: the same, even with = |
| 2022-09-14 07:30:06 +0000 | <sm> | oh, --ghc-option maybe |
| 2022-09-14 07:30:09 +0000 | <Axman6> | :t let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e |
| 2022-09-14 07:30:11 +0000 | <lambdabot> | <no location info>: error: |
| 2022-09-14 07:30:11 +0000 | <lambdabot> | not an expression: ‘let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e’ |
| 2022-09-14 07:30:34 +0000 | <sm> | no, --ghc-options should work too it says here |
| 2022-09-14 07:30:38 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 07:31:18 +0000 | <carbolymer> | nope |
| 2022-09-14 07:31:35 +0000 | <carbolymer> | still I'm seeing |
| 2022-09-14 07:31:35 +0000 | <carbolymer> | >Build profile: -w ghc-9.2.2 -O0 |
| 2022-09-14 07:32:13 +0000 | <sm> | maybe a cabal.project file is overriding ? |
| 2022-09-14 07:32:14 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-14 07:32:44 +0000 | <carbolymer> | shouldn't CLI take priority? |
| 2022-09-14 07:32:48 +0000 | <sm> | or a .cabal file ? |
| 2022-09-14 07:32:57 +0000 | <sm> | not sure |
| 2022-09-14 07:33:02 +0000 | <Axman6> | :t let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f |
| 2022-09-14 07:33:03 +0000 | <lambdabot> | (RealFloat a1, RealFloat a2) => a1 -> a2 |
| 2022-09-14 07:33:18 +0000 | <Axman6> | > let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f 1 |
| 2022-09-14 07:33:19 +0000 | <carbolymer> | damn it, and I promised to myself, no yak shaving today |
| 2022-09-14 07:33:20 +0000 | <lambdabot> | 1.0000000000000002 |
| 2022-09-14 07:33:24 +0000 | <Axman6> | > let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f pi |
| 2022-09-14 07:33:26 +0000 | <lambdabot> | 3.1415926535897936 |
| 2022-09-14 07:33:53 +0000 | <Axman6> | Athas: that _may_ be what you want? worth checking the docs for encode/decodeFloat |
| 2022-09-14 07:35:55 +0000 | <Athas> | Axman6: yes, I can do it by hand (although I might want to preserve infinities, which that doesn't do), but I was wondering whether there is already a function for doing it. |
| 2022-09-14 07:36:09 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-14 07:37:05 +0000 | <Athas> | Wait, what's going on here. |
| 2022-09-14 07:37:20 +0000 | <Athas> | > let (s,e) = decodeFloat (1/0::Float) in encodeFloat s e |
| 2022-09-14 07:37:23 +0000 | <lambdabot> | 3.402823669209385e38 |
| 2022-09-14 07:38:00 +0000 | <Athas> | Oh, decodeFloat is unspecified when the argument is infinity or nan. Haskell's float support disappoints me yet again. |
| 2022-09-14 07:38:13 +0000 | <Athas> | Oh, and it doesn't handle negative zero either. |
| 2022-09-14 07:38:34 +0000 | <Athas> | This stuff is why I have an ever increasing number of FFI declarations to the C math library. |
| 2022-09-14 07:39:12 +0000 | <sm> | carbolymer: hehe I hear you. Take a break and try later ? Must be simple |
| 2022-09-14 07:39:38 +0000 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-09-14 07:41:27 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-14 07:41:42 +0000 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-09-14 07:44:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 07:46:46 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:3964:b66c:fb35:38e9) |
| 2022-09-14 07:48:36 +0000 | <sm> | carbolymer: it says Build profile: -w ghc-9.2.4 -O0, but with -v you'll see the others in the ghc command when it builds your local packages |
| 2022-09-14 07:48:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 07:51:40 +0000 | <carbolymer> | sm: hm indeed, -v3 shows it somewhere |
| 2022-09-14 07:51:52 +0000 | <carbolymer> | I swear -fobject-code was faster |
| 2022-09-14 07:51:58 +0000 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) |
| 2022-09-14 07:52:09 +0000 | <carbolymer> | (that's why I was convinced it wasn't enabled) |
| 2022-09-14 07:52:16 +0000 | <carbolymer> | sm: thx |
| 2022-09-14 07:57:35 +0000 | <sm> | np |
| 2022-09-14 07:58:22 +0000 | <dminuoso> | Im staring at a cabal package with `build-type: Configure`, but that build-type is not documented https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-build-type |
| 2022-09-14 07:58:40 +0000 | <dminuoso> | Invoking `cabal build` tells me to run `autoreconf -i` beforehand, but when using this package as a dependency it builds just fine |
| 2022-09-14 07:58:42 +0000 | <dminuoso> | What is going on here? |
| 2022-09-14 08:00:49 +0000 | <dminuoso> | Oh. It seems that the cabal sdist on hackage contains the configure script, while the repository does not |
| 2022-09-14 08:02:25 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-14 08:02:53 +0000 | <carbolymer> | dminuoso: shouldn't that be `Custom` instead? |
| 2022-09-14 08:03:25 +0000 | <dminuoso> | No, looking at it again, the documentation is not well written |
| 2022-09-14 08:03:36 +0000 | <dminuoso> | Custom | Script is not a choice between the two, its rather that the default is one of them. |
| 2022-09-14 08:03:45 +0000 | <dminuoso> | But it is not giving a list of possible values for this field |
| 2022-09-14 08:03:51 +0000 | <dminuoso> | You have to read the text to figure this one out |
| 2022-09-14 08:04:47 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-14 08:04:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 08:06:07 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-14 08:07:40 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 08:07:56 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Client Quit) |
| 2022-09-14 08:08:01 +0000 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) |
| 2022-09-14 08:08:12 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 08:10:39 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-14 08:16:33 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) |
| 2022-09-14 08:17:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 08:22:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 08:24:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 08:25:13 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 08:26:25 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:3964:b66c:fb35:38e9) (Quit: Leaving) |
| 2022-09-14 08:30:15 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 08:30:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-14 08:31:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-14 08:32:13 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-14 08:32:38 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 08:35:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-14 08:44:59 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.213) |
| 2022-09-14 08:45:22 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-14 08:47:15 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-14 08:48:01 +0000 | Guest74 | (~Guest74@199.101.192.190) |
| 2022-09-14 08:49:07 +0000 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 2022-09-14 08:49:36 +0000 | <Guest74> | Hi, is there better way to write intersperse? My code example is here: https://paste.tomsmeding.com/ChbWfeNO |
| 2022-09-14 08:50:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 08:50:31 +0000 | <Guest74> | I felt my code is a bit tedious but cannot figure out a good way |
| 2022-09-14 08:53:18 +0000 | <dminuoso> | Guest74: Yes, use (:) rather than (++) |
| 2022-09-14 08:54:13 +0000 | <dminuoso> | You can also reduce the number of pattern matching by realizing that the special case is the *first* element only, after that you just prepend every element with your argument. |
| 2022-09-14 08:54:46 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:dd7a:d24a:98d5:1396) |
| 2022-09-14 08:54:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 08:56:06 +0000 | <[Leary]> | Guest74: Not to give too much away, but you can write it as `drop 1 . foldr f z` for some `f` and `z`. |
| 2022-09-14 08:59:40 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-14 09:04:35 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 09:06:19 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 09:07:44 +0000 | <Guest74> | great, thanks both. Let me try all the suggestions |
| 2022-09-14 09:09:23 +0000 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 252 seconds) |
| 2022-09-14 09:11:13 +0000 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2022-09-14 09:14:25 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-14 09:18:37 +0000 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 09:23:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 09:24:41 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 09:27:20 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-14 09:27:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 09:28:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-09-14 09:30:37 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:dd7a:d24a:98d5:1396) (Remote host closed the connection) |
| 2022-09-14 09:36:55 +0000 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) |
| 2022-09-14 09:37:05 +0000 | acidjnk | (~acidjnk@p200300d6e7137a694dbc2622debc4d85.dip0.t-ipconnect.de) |
| 2022-09-14 09:43:33 +0000 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 09:45:28 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:1403:a15f:72c7:8590) |
| 2022-09-14 09:46:44 +0000 | taeaad_ | (~taeaad@user/taeaad) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2022-09-14 09:48:26 +0000 | taeaad | (~taeaad@user/taeaad) |
| 2022-09-14 09:52:25 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-14 09:55:09 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-14 09:56:04 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-09-14 09:57:08 +0000 | <Guest74> | [Leary] here is the suggested one. `intersp s = drop 1 . foldr (\x acc -> [s,x]++acc) []` and it works, seemly :) |
| 2022-09-14 09:59:04 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:1403:a15f:72c7:8590) (Remote host closed the connection) |
| 2022-09-14 09:59:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 09:59:53 +0000 | <Guest74> | BTW: is there any way to formally prove my intersperse is mathematically equal to the one in library (Data.List)? |
| 2022-09-14 10:01:10 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-14 10:01:49 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 10:04:02 +0000 | <dminuoso> | You mean extensionally equivalent? |
| 2022-09-14 10:04:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 10:04:22 +0000 | <dminuoso> | Should be very easy by induction |
| 2022-09-14 10:04:24 +0000 | thyriaen_ | (~thyriaen@dynamic-089-204-135-094.89.204.135.pool.telefonica.de) |
| 2022-09-14 10:05:04 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2022-09-14 10:07:18 +0000 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 10:07:22 +0000 | <[exa]> | Guest74: you might even have luck with expanding both definitions to a common β-normal form |
| 2022-09-14 10:07:56 +0000 | benin0 | (~benin@183.82.204.57) (Ping timeout: 268 seconds) |
| 2022-09-14 10:09:12 +0000 | Guest74 | (~Guest74@199.101.192.190) (Ping timeout: 252 seconds) |
| 2022-09-14 10:10:08 +0000 | benin0 | (~benin@183.82.30.105) |
| 2022-09-14 10:11:51 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 10:13:13 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 10:14:58 +0000 | thyriaen_ | (~thyriaen@dynamic-089-204-135-094.89.204.135.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-09-14 10:16:23 +0000 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 10:20:25 +0000 | thyriaen__ | (~thyriaen@83.137.6.60) |
| 2022-09-14 10:20:54 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a69c4ebc292776c95cf.dip0.t-ipconnect.de) |
| 2022-09-14 10:22:41 +0000 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2022-09-14 10:25:12 +0000 | acidjnk | (~acidjnk@p200300d6e7137a694dbc2622debc4d85.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-14 10:27:39 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 10:28:50 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-14 10:31:09 +0000 | benin0 | (~benin@183.82.30.105) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-14 10:31:22 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 10:34:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 10:38:50 +0000 | Guest74 | (~Guest74@199.101.192.190) |
| 2022-09-14 10:39:11 +0000 | <Guest74> | dminuoso, any details? |
| 2022-09-14 10:39:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 10:40:07 +0000 | thyriaen__ | (~thyriaen@83.137.6.60) (Quit: Leaving) |
| 2022-09-14 10:40:26 +0000 | <Guest74> | I mean, since Haskell is FP, I guess it should have a way to formally prove the equivalence of two functions. |
| 2022-09-14 10:42:23 +0000 | <Guest74> | certain language has such an application to prove 2 funcs are identical or not. if not, it gives a counter-example. |
| 2022-09-14 10:43:11 +0000 | benin0 | (~benin@183.82.31.92) |
| 2022-09-14 10:43:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 10:47:02 +0000 | <lortabac> | Guest74: first you have to define what you mean by identical |
| 2022-09-14 10:47:45 +0000 | <lortabac> | also, do you want to compare the source code or the Haskell functions themselves? |
| 2022-09-14 10:49:54 +0000 | Guest74 | (~Guest74@199.101.192.190) (Ping timeout: 252 seconds) |
| 2022-09-14 10:56:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-09-14 10:56:52 +0000 | Guest74 | (~Guest74@85.203.23.75) |
| 2022-09-14 10:57:42 +0000 | frost | (~frost@user/frost) |
| 2022-09-14 10:57:43 +0000 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-14 11:01:37 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:02:37 +0000 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-14 11:02:47 +0000 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) |
| 2022-09-14 11:03:02 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:04:55 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-09-14 11:05:48 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:05:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 11:07:03 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:07:39 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 11:08:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 11:09:42 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:11:04 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:12:13 +0000 | <Guest74> | Well, just realized it's impossible to find a perfect solution for formal proving in Haskell... never mind |
| 2022-09-14 11:12:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 11:12:54 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:14:19 +0000 | <hpc> | turing completeness strikes again! |
| 2022-09-14 11:14:37 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:16:24 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:17:41 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:18:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-14 11:18:48 +0000 | <int-e> | . o O ( Are you still indecisive or already undecidable? ) |
| 2022-09-14 11:19:36 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:20:05 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:20:44 +0000 | Guest7461 | (~Guest74@85.203.23.75) |
| 2022-09-14 11:21:48 +0000 | Guest74 | (~Guest74@85.203.23.75) (Ping timeout: 252 seconds) |
| 2022-09-14 11:22:57 +0000 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 11:24:10 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 11:28:47 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 11:29:07 +0000 | Guest7461 | (~Guest74@85.203.23.75) (Quit: Client closed) |
| 2022-09-14 11:31:46 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-09-14 11:33:32 +0000 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-14 11:33:59 +0000 | doyougnu | (~doyougnu@195.69.96.100) (Remote host closed the connection) |
| 2022-09-14 11:34:44 +0000 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-14 11:35:04 +0000 | doyougnu | (~doyougnu@195.69.96.100) (Remote host closed the connection) |
| 2022-09-14 11:35:19 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-14 11:35:28 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 11:36:10 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 11:40:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 11:40:26 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-14 11:44:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 11:45:28 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-14 11:46:38 +0000 | ccapndave | (~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) |
| 2022-09-14 11:55:21 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:d588:de76:f8ed:daae) |
| 2022-09-14 11:55:22 +0000 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) |
| 2022-09-14 11:56:18 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-14 12:00:55 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 12:02:29 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 12:11:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 12:15:28 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-14 12:19:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 12:19:31 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 12:19:46 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-14 12:19:52 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:603b:d5e1:1442:85e3) |
| 2022-09-14 12:21:53 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-14 12:26:44 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 12:31:23 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-14 12:32:13 +0000 | <dragestil> | Does anyone know what is error code -9 when building haddock using hadrian for the ghc boot libraries? |
| 2022-09-14 12:33:09 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 12:35:38 +0000 | <darkling> | Probably: EBADF 9 Bad file descriptor |
| 2022-09-14 12:36:57 +0000 | <dragestil> | darkling: ok, why -9 if it should be 9? |
| 2022-09-14 12:37:48 +0000 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2022-09-14 12:38:06 +0000 | <darkling> | Depends on the conventions used in the particular library call, I think. Some things use 0 for success and non-zero for failure; some things use positive numbers for success (e.g. reporting a count) and negative numbers for failure. |
| 2022-09-14 12:38:27 +0000 | <dragestil> | I see, thanks |
| 2022-09-14 12:38:38 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-14 12:40:13 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-09-14 12:40:48 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-14 12:48:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 12:49:36 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-14 12:50:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 12:52:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 12:52:50 +0000 | <geekosaur> | that will depend on what's reporting the error code also. -9 can also indicate something ran out of memory and got OOM filled |
| 2022-09-14 12:52:53 +0000 | <geekosaur> | *killed |
| 2022-09-14 12:52:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 12:54:35 +0000 | <absence> | why does getLocaleEncoding return ASCII when all the locale environment variables specify UTF-8? |
| 2022-09-14 12:55:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 12:56:31 +0000 | <geekosaur> | no locale files? |
| 2022-09-14 12:57:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 12:58:22 +0000 | <absence> | geekosaur: which files should i look for? it's a normal ubuntu installation, so i had hoped it included the necessary files.. |
| 2022-09-14 12:58:41 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-09-14 12:58:56 +0000 | <geekosaur> | it should, yes |
| 2022-09-14 13:00:07 +0000 | <absence> | geekosaur: while LANG is en_US, some of the other stuff like LC_NUMERIC, LC_TIME, etc are a different language. all utf-8 though |
| 2022-09-14 13:02:08 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-14 13:02:48 +0000 | <dragestil> | geekosaur: ok it is actually taking 100% cpu, but 4.7% ram |
| 2022-09-14 13:03:03 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 2022-09-14 13:03:53 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-14 13:04:07 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 13:04:35 +0000 | _xor | (~xor@74.215.182.83) (Quit: brb) |
| 2022-09-14 13:05:17 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
| 2022-09-14 13:07:10 +0000 | <geekosaur> | absence, does `locale` think the locale makes sense? |
| 2022-09-14 13:11:15 +0000 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) |
| 2022-09-14 13:11:44 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 2022-09-14 13:12:16 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
| 2022-09-14 13:15:24 +0000 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 13:20:27 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-09-14 13:22:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 13:24:16 +0000 | ccapndave | (~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-09-14 13:24:52 +0000 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-14 13:26:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 13:28:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 13:30:03 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-14 13:33:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-14 13:33:37 +0000 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) |
| 2022-09-14 13:36:50 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-14 13:39:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 13:41:59 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-14 13:43:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 13:46:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 13:46:31 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-14 13:49:39 +0000 | thyriaen | (~thyriaen@83.137.6.60) |
| 2022-09-14 13:50:02 +0000 | odnes | (~odnes@5-203-152-64.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-14 13:51:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 13:53:47 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-14 13:59:11 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-14 14:09:44 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 14:10:37 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-14 14:12:58 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-14 14:15:36 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-14 14:18:00 +0000 | dsrt^ | (~dsrt@70.88.176.185) (Remote host closed the connection) |
| 2022-09-14 14:18:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:23:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 14:23:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:24:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9cf:5cb1:5dd5:8bdc) (Quit: WeeChat 2.8) |
| 2022-09-14 14:24:06 +0000 | stef204 | (~stef204@user/stef204) |
| 2022-09-14 14:25:53 +0000 | slack1256 | (~slack1256@191.126.99.70) |
| 2022-09-14 14:26:10 +0000 | <slack1256> | Apart from EKG, what monitoring alternative do I have? |
| 2022-09-14 14:28:06 +0000 | <absence> | geekosaur: not sure, it lists a bunch of environment variables, all containing some language and UTF-8 |
| 2022-09-14 14:28:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 14:28:42 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-14 14:30:30 +0000 | vglfr | (~vglfr@145.224.94.72) |
| 2022-09-14 14:31:07 +0000 | <geekosaur> | absence, well, that does mean the basic locale system is working. thing is, `getLocaleEncoding` uses the same functions so it should work too |
| 2022-09-14 14:33:07 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-14 14:34:12 +0000 | thyriaen | (~thyriaen@83.137.6.60) (Ping timeout: 265 seconds) |
| 2022-09-14 14:34:16 +0000 | <geekosaur> | (more correctly, the locale it uses comes from the same functions; getLocaleEncoding itself just reports the result) |
| 2022-09-14 14:34:49 +0000 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 14:40:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:40:49 +0000 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 14:41:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 14:41:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:43:25 +0000 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-09-14 14:44:02 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-14 14:46:32 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-09-14 14:49:15 +0000 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2022-09-14 14:49:20 +0000 | thyriaen__ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 14:51:32 +0000 | thyriaen | (~thyriaen@dynamic-046-114-175-108.46.114.pool.telefonica.de) |
| 2022-09-14 14:54:24 +0000 | thyriaen__ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 14:56:26 +0000 | thyriaen | (~thyriaen@dynamic-046-114-175-108.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2022-09-14 14:57:46 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 15:02:10 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 15:02:39 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-14 15:07:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 15:08:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 15:10:36 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 264 seconds) |
| 2022-09-14 15:13:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a69c4ebc292776c95cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-14 15:21:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 15:22:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 15:30:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 15:36:19 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-14 15:36:42 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-14 15:37:05 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-14 15:40:39 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-14 15:42:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 15:44:47 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.213) (Ping timeout: 265 seconds) |
| 2022-09-14 15:48:17 +0000 | biberu | (~biberu@user/biberu) |
| 2022-09-14 15:52:36 +0000 | slac80483 | (~slack1256@186.11.45.76) |
| 2022-09-14 15:54:55 +0000 | slack1256 | (~slack1256@191.126.99.70) (Ping timeout: 265 seconds) |
| 2022-09-14 15:55:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a05c4ebc292776c95cf.dip0.t-ipconnect.de) |
| 2022-09-14 15:57:30 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-14 15:57:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 15:59:11 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 16:01:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 16:02:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 16:10:16 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-14 16:11:11 +0000 | econo | (uid147250@user/econo) |
| 2022-09-14 16:16:35 +0000 | lagash | (lagash@2605:6400:20:b4:9c76:1538:3398:ce71) (Ping timeout: 248 seconds) |
| 2022-09-14 16:19:07 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 16:22:02 +0000 | img | (~img@user/img) |
| 2022-09-14 16:22:30 +0000 | waleee | (~waleee@192.165.44.49) (Quit: WeeChat 3.6) |
| 2022-09-14 16:23:02 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 16:23:54 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 16:27:20 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-09-14 16:28:14 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 16:28:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 16:32:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 16:33:06 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 16:36:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 16:39:35 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-14 16:42:20 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-09-14 16:50:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 16:53:00 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-09-14 16:54:42 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-14 17:02:26 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 268 seconds) |
| 2022-09-14 17:05:32 +0000 | mrianbloom | (uid350277@id-350277.ilkley.irccloud.com) |
| 2022-09-14 17:07:29 +0000 | <mrianbloom> | Is it possible to construct a function of type (m a -> m b) -> (t m a -> t m b) where 'm' is a monad and 't' is an arbitrary monad transformer? Or is there some subset of monads and transformers where this is possible? |
| 2022-09-14 17:07:33 +0000 | johnw_ | (~johnw@2600:1700:cf00:db0:edb4:1119:188a:648c) |
| 2022-09-14 17:08:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 17:08:26 +0000 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) (Ping timeout: 260 seconds) |
| 2022-09-14 17:10:30 +0000 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-09-14 17:12:17 +0000 | <monochrom> | @type lift |
| 2022-09-14 17:12:19 +0000 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2022-09-14 17:12:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 17:12:49 +0000 | <monochrom> | I think lift helps. All monad transformers are supposed to be an instance of MonadTrans and support lift. |
| 2022-09-14 17:13:43 +0000 | <mrianbloom> | Right, lift is fine. I'm talking about lifting an arbitrary function :: m a -> m b |
| 2022-09-14 17:13:47 +0000 | <mrianbloom> | Maybe I |
| 2022-09-14 17:13:57 +0000 | <mrianbloom> | I'm missing something :) |
| 2022-09-14 17:14:07 +0000 | <monochrom> | Oh nevermind, I misread. |
| 2022-09-14 17:14:29 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Ping timeout: 252 seconds) |
| 2022-09-14 17:15:11 +0000 | <dolio> | @type \f -> (>>= lift . f . return) |
| 2022-09-14 17:15:12 +0000 | <lambdabot> | (MonadTrans t, Monad m1, Monad m2, Monad (t m1)) => (m2 a -> m1 b) -> t m1 a -> t m1 b |
| 2022-09-14 17:16:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 17:16:23 +0000 | <mrianbloom> | dolio: Cool |
| 2022-09-14 17:17:48 +0000 | <mrianbloom> | is there a binary operation version of that. Or is that standard somewhere? |
| 2022-09-14 17:18:56 +0000 | <troydm> | megaparsec question, I want p parser to succeed consuming input or succeed even on failure without consuming any input |
| 2022-09-14 17:19:00 +0000 | <troydm> | I did something like |
| 2022-09-14 17:19:14 +0000 | <troydm> | try (char '+') <|> return '-' |
| 2022-09-14 17:19:25 +0000 | <troydm> | but I feel like there is better way to do this |
| 2022-09-14 17:23:16 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-14 17:27:30 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-14 17:28:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 17:49:51 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 17:50:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 17:59:58 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Remote host closed the connection) |
| 2022-09-14 18:00:10 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 18:06:02 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 255 seconds) |
| 2022-09-14 18:06:23 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 265 seconds) |
| 2022-09-14 18:07:04 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-14 18:07:13 +0000 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 250 seconds) |
| 2022-09-14 18:09:10 +0000 | <monochrom> | optional p |
| 2022-09-14 18:09:18 +0000 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2022-09-14 18:09:53 +0000 | <monochrom> | or, optional (try p) if you need the try |
| 2022-09-14 18:10:20 +0000 | <dsal> | As a purist, I also thing `try (char '+') <|> pure '-' ` is a better way. |
| 2022-09-14 18:10:38 +0000 | dsal | is a thinging man |
| 2022-09-14 18:12:17 +0000 | <monochrom> | Now, of course, maybe id '-' <$> optional (try (char '+')) is much less direct than try (char '+') <|> pure '-', so meh. |
| 2022-09-14 18:12:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 18:13:12 +0000 | <monochrom> | (And optional is secretly (<|> pure Nothing) anyway.) |
| 2022-09-14 18:15:53 +0000 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) |
| 2022-09-14 18:16:08 +0000 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) (Client Quit) |
| 2022-09-14 18:16:25 +0000 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) |
| 2022-09-14 18:17:37 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-14 18:19:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 18:19:47 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-09-14 18:19:48 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) |
| 2022-09-14 18:20:04 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-09-14 18:23:47 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.3) |
| 2022-09-14 18:26:12 +0000 | Alex_test | (~al_test@94.233.241.238) (Ping timeout: 268 seconds) |
| 2022-09-14 18:26:17 +0000 | AlexZenon | (~alzenon@94.233.241.238) (Ping timeout: 250 seconds) |
| 2022-09-14 18:26:28 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-14 18:26:39 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-14 18:26:43 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:603b:d5e1:1442:85e3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-14 18:27:20 +0000 | benin0 | (~benin@183.82.31.92) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-14 18:27:27 +0000 | AlexNoo | (~AlexNoo@94.233.241.238) (Ping timeout: 252 seconds) |
| 2022-09-14 18:28:40 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-14 18:29:32 +0000 | Alex_test | (~al_test@178.34.161.3) |
| 2022-09-14 18:30:52 +0000 | AlexZenon | (~alzenon@178.34.161.3) |
| 2022-09-14 18:34:00 +0000 | maxxxino | (~maxxxino@85.233.56.235) |
| 2022-09-14 18:36:08 +0000 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-14 18:37:23 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 2022-09-14 18:40:59 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 18:44:19 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-14 18:46:37 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-14 18:47:10 +0000 | monochrom | (trebla@216.138.220.146) |
| 2022-09-14 18:47:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-09-14 18:49:23 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-14 18:50:19 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-14 18:54:40 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-14 18:59:17 +0000 | maxxxino | (~maxxxino@85.233.56.235) (Quit: Connection closed) |
| 2022-09-14 18:59:29 +0000 | maxxxino | (~maxxxino@85.233.56.235) |
| 2022-09-14 19:02:50 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-14 19:03:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 19:04:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 19:04:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:05:06 +0000 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 260 seconds) |
| 2022-09-14 19:10:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 19:10:40 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-14 19:14:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 19:24:20 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 19:28:37 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2022-09-14 19:28:57 +0000 | tv | (~tv@user/tv) |
| 2022-09-14 19:31:29 +0000 | vglfr | (~vglfr@145.224.94.72) |
| 2022-09-14 19:31:44 +0000 | MoC | (~moc@user/moc) |
| 2022-09-14 19:32:26 +0000 | tv | (~tv@user/tv) (Client Quit) |
| 2022-09-14 19:32:44 +0000 | tv | (~tv@user/tv) |
| 2022-09-14 19:35:17 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-14 19:37:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 19:37:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:38:45 +0000 | jargon | (~jargon@184.101.186.15) |
| 2022-09-14 19:38:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 19:39:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:42:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 19:44:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 19:49:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 19:50:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 19:50:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:52:08 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-14 19:55:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 20:06:45 +0000 | raym | (~raym@user/raym) |
| 2022-09-14 20:07:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 20:08:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 20:08:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 20:11:01 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-14 20:15:05 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-09-14 20:20:01 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-14 20:21:07 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-14 20:23:44 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-14 20:29:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 20:29:43 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 20:30:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 20:31:21 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-14 20:34:46 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 20:39:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 20:39:49 +0000 | ed | smol-hors |
| 2022-09-14 20:42:00 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 20:42:54 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) (Remote host closed the connection) |
| 2022-09-14 20:44:51 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) (Quit: king_gs) |
| 2022-09-14 20:45:24 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) |
| 2022-09-14 20:59:32 +0000 | rodental | (~rodental@38.146.5.222) |
| 2022-09-14 21:00:09 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-09-14 21:06:31 +0000 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2022-09-14 21:07:34 +0000 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-09-14 21:24:32 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 21:26:14 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 21:27:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 21:29:19 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 21:30:37 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-14 21:32:28 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-14 21:32:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 21:34:49 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 21:36:34 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 21:36:58 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-14 21:45:09 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-09-14 21:45:48 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-14 21:48:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-14 21:48:36 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-14 21:52:06 +0000 | maxxxino | (~maxxxino@85.233.56.235) (Quit: Connection closed) |
| 2022-09-14 21:56:00 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-14 21:58:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-09-14 22:02:53 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-14 22:03:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 22:07:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 22:07:37 +0000 | <hippoid> | when is this doc from? https://www.haskell.org/cabal/proposal/pkg-spec.pdf |
| 2022-09-14 22:07:44 +0000 | <hippoid> | still *mostly* relevant? |
| 2022-09-14 22:09:08 +0000 | fmgornick | (~fmgornick@2607:ea00:107:3c07:47f:ae3d:73e5:8989) |
| 2022-09-14 22:09:15 +0000 | <fmgornick> | ?src const |
| 2022-09-14 22:09:16 +0000 | <lambdabot> | const x _ = x |
| 2022-09-14 22:09:17 +0000 | <monochrom> | It looks like before or around the time cabal-install and ghc-pkg were first invented. |
| 2022-09-14 22:09:23 +0000 | fmgornick | (~fmgornick@2607:ea00:107:3c07:47f:ae3d:73e5:8989) (Client Quit) |
| 2022-09-14 22:09:55 +0000 | <monochrom> | It is mostly relevant but there has been evolutions exceeding it. |
| 2022-09-14 22:10:31 +0000 | <monochrom> | Perhaps s/cabal-install/the Cabal library/ |
| 2022-09-14 22:11:22 +0000 | <geekosaur> | if it's ghc-pkg then it probably predates cabal-install, yeh |
| 2022-09-14 22:11:33 +0000 | <geekosaur> | ghc-pkg has been around for a lot longer |
| 2022-09-14 22:12:53 +0000 | <monochrom> | An example of evolutions: build-depends are no longer top level. They were quickly changed such that you have multiple sections for multiple build targets (e.g., multiple exes plus a library), each target has its own build-depends. |
| 2022-09-14 22:13:52 +0000 | <geekosaur> | I think build-depends are still top level in package registrations, since those are libraries only and (at least currently) are 1-to-1 with packages |
| 2022-09-14 22:14:05 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-14 22:14:25 +0000 | <geekosaur> | note that cabal-install package descriptions are derived from but not identical to ghc-pkg registrations |
| 2022-09-14 22:14:26 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-14 22:15:23 +0000 | <geekosaur> | try e.g. `ghc-pkg describe base` to see what a registration file looks like |
| 2022-09-14 22:17:06 +0000 | <monochrom> | The filename is no longer Setup.description, it's now <your choice>.cabal |
| 2022-09-14 22:18:43 +0000 | <monochrom> | You should simply fast-forward to https://cabal.readthedocs.io/en/stable/ |
| 2022-09-14 22:18:44 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-14 22:19:57 +0000 | <hippoid> | monochrom: ok thanks |
| 2022-09-14 22:20:15 +0000 | <monochrom> | Unless you are "I am on a linux distro team, I build Haskell stuff into my linux distro binary packages", in which case the ./Setup.lhs commands are your friends. |
| 2022-09-14 22:20:52 +0000 | <oats> | one time I stumbled across a nice lil networking library that made implementing line-based protocols over tcp real easy, but I've forgotten its name. Any ideas what it may be? |
| 2022-09-14 22:20:55 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-14 22:21:31 +0000 | <oats> | wasn't much more than `openConnection :: Config -> IO Socket` and `readLine :: Socket -> IO ByteString` or something like that |
| 2022-09-14 22:22:29 +0000 | <oats> | can't remember if it supported TLS or not |
| 2022-09-14 22:23:01 +0000 | <monochrom> | I don't know which library it is, but `Socket -> IO ByteString` is begging for DoS attacks if it doesn't have a secret upper bound. |
| 2022-09-14 22:23:54 +0000 | <int-e> | it could be a lazy bytestring? |
| 2022-09-14 22:23:56 +0000 | <geekosaur> | hoogle suggests http-streams |
| 2022-09-14 22:24:08 +0000 | <geekosaur> | it's probably wrong though since that seems overly specific |
| 2022-09-14 22:25:12 +0000 | <geekosaur> | (but confusingly it supports AF_LOCAL sockets) |
| 2022-09-14 22:25:36 +0000 | <int-e> | (probably isn't; and lazy bytestrings which are their own can of worms of course) |
| 2022-09-14 22:26:16 +0000 | <monochrom> | If the bytestring is lazy, then it depends on why the protocol is line-based in the first place. |
| 2022-09-14 22:28:22 +0000 | <int-e> | The DoS angle is more likely to be valid than not. |
| 2022-09-14 22:32:48 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-14 22:32:53 +0000 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) |
| 2022-09-14 22:37:49 +0000 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) (Read error: Connection reset by peer) |
| 2022-09-14 22:38:04 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-14 22:38:42 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-14 22:39:13 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-14 22:43:36 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-14 22:45:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 22:45:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 22:50:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 22:51:20 +0000 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) |
| 2022-09-14 22:53:13 +0000 | kalalele | (~kalalele@2a02:587:7e16:35a7:143a:d530:11be:fbde) (Client Quit) |
| 2022-09-14 22:57:07 +0000 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) |
| 2022-09-14 22:57:17 +0000 | <oats> | geekosaur, it wasn't for http, pretty sure it was for tcp clients |
| 2022-09-14 22:57:47 +0000 | <oats> | I don't believe those were the exact function signatures, just tryna give the gist |
| 2022-09-14 22:58:42 +0000 | <geekosaur[m]> | I went by the name but of course that could be off too |
| 2022-09-14 23:02:08 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 244 seconds) |
| 2022-09-14 23:06:47 +0000 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) (Ping timeout: 268 seconds) |
| 2022-09-14 23:15:03 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-14 23:20:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a05c4ebc292776c95cf.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-14 23:21:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 23:26:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 23:26:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 23:27:01 +0000 | shailangsa | (~shailangs@host86-186-133-23.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-09-14 23:29:49 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-14 23:34:33 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-14 23:35:15 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-14 23:35:32 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 265 seconds) |
| 2022-09-14 23:38:20 +0000 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) (Ping timeout: 268 seconds) |
| 2022-09-14 23:45:51 +0000 | <Axman6> | oats: IIRC TLS can be handled by the Socket itself, so it should work fine |
| 2022-09-14 23:45:57 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-14 23:49:27 +0000 | phma | (~phma@2001:5b0:210b:b5b8:9584:c6eb:7e64:72d6) (Read error: Connection reset by peer) |
| 2022-09-14 23:49:54 +0000 | phma | (phma@2001:5b0:210b:b5b8:2ced:876a:7379:58a9) |
| 2022-09-14 23:51:08 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-14 23:53:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-14 23:53:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-14 23:53:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-14 23:54:34 +0000 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-14 23:55:56 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-09-14 23:57:42 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-14 23:58:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 23:59:38 +0000 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) |