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