| 2022-09-14 00:04:53 +0200 | nehsou^ | (~dsrt@70.88.176.185) |
| 2022-09-14 00:11:35 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-14 00:12:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-14 00:17:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 00:19:19 +0200 | nehsou^ | (~dsrt@70.88.176.185) (Ping timeout: 265 seconds) |
| 2022-09-14 00:20:49 +0200 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-09-14 00:21:11 +0200 | acidjnk | (~acidjnk@p200300d6e7137a6938064ad36ff8ac53.dip0.t-ipconnect.de) |
| 2022-09-14 00:24:41 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-09-14 00:27:09 +0200 | acidjnk | (~acidjnk@p200300d6e7137a6938064ad36ff8ac53.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-09-14 00:28:00 +0200 | ubert | (~Thunderbi@178.115.63.2.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 00:31:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 00:36:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 00:38:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-14 00:42:22 +0200 | <hippoid> | I'm trying to start a hakyll project using nix. After doing `nix-shell` and `stack ghci`, I can succesfully do a `import Hakyll`. But I don't have any of the hakyll executables, like hakyll-init. repo here: https://github.com/idrisr/stack-nix. What do I need to alter to get the hakyll executables? |
| 2022-09-14 00:45:21 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-09-14 00:51:20 +0200 | <[Leary]> | hippoid: I don't know hakyll, but it you can probably add something like `haskellPackages.hakyll` to `buildInputs`. |
| 2022-09-14 00:52:05 +0200 | <hippoid> | i think i just needed to do `stack exec hakyll-init` cause that's working for me. |
| 2022-09-14 00:54:15 +0200 | nehsou^ | (~nehsou@70.88.176.185) |
| 2022-09-14 00:55:13 +0200 | <[Leary]> | There are a lot of different workflows when you're combining nix with stack or cabal; if it works for you, it works. |
| 2022-09-14 00:55:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-14 00:55:47 +0200 | <davean> | I've never gotten a nix+haskell workflow I like, haskell.nix isn't terrible but god why is it so bad? |
| 2022-09-14 00:56:16 +0200 | <davean> | and I still don't know how to make it so stuff has access to zlib.out/zlib.dev for dynamic recompilation when it is installed on the system as a shell command I actually want to run but it needs to relink its self. |
| 2022-09-14 00:59:36 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 244 seconds) |
| 2022-09-14 01:01:25 +0200 | <sm> | there's also #haskell.nix:libera.chat |
| 2022-09-14 01:02:55 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-14 01:05:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 01:10:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 01:11:32 +0200 | coot | (~coot@213.134.176.158) (Ping timeout: 265 seconds) |
| 2022-09-14 01:13:41 +0200 | <jackdk> | davean: I never solved the zlib issues myself. If I need a shell that can build something that transitively depends on zlib, I use `haskellPackages.ghcWithPackages(p: [p.zlib])` |
| 2022-09-14 01:14:18 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-14 01:15:41 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 260 seconds) |
| 2022-09-14 01:16:22 +0200 | <davean> | jackdk: yah but I need my *normal shell* to be able to do it to run commands that self-rebuild to generate optimal implimentations |
| 2022-09-14 01:16:42 +0200 | <davean> | That means I have to alias every execution of that command to run inside a shell |
| 2022-09-14 01:17:34 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 268 seconds) |
| 2022-09-14 01:19:09 +0200 | <jackdk> | As an extreme answer, you could put that ghc-with-zlib in environment.systemPackages? I am almost annoyed enough to try writing a pure haskell zlib. Almost. |
| 2022-09-14 01:19:31 +0200 | <jackdk> | (I was considering wanting ghcjs-compiled zlib the other day for bad reasons) |
| 2022-09-14 01:21:06 +0200 | <davean> | jackdk: mmm, I think one could make a very performant version if they tried. That isn't even the best implimentation of its self. |
| 2022-09-14 01:21:10 +0200 | <davean> | But you'd lose a lot too |
| 2022-09-14 01:22:25 +0200 | <davean> | Really this is a nix problem though |
| 2022-09-14 01:22:36 +0200 | <davean> | their design philosophy has a few flaws in expectation |
| 2022-09-14 01:22:45 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-14 01:22:52 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Client Quit) |
| 2022-09-14 01:27:13 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-09-14 01:29:15 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-14 01:29:29 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-09-14 01:29:56 +0200 | <davean> | jackdk: you might be better vendoring a vendorable DEFLATE C implimentation |
| 2022-09-14 01:31:55 +0200 | <jackdk> | davean: Could be. Though I'm more likely better of adding it to the pile of projects I'm yet to start and closing something else off ^^ |
| 2022-09-14 01:32:00 +0200 | <jackdk> | and/or finishing amazonka2 |
| 2022-09-14 01:32:34 +0200 | dsal | apologies for complaining about amazonka2 -- really like it, but builds got in my way today |
| 2022-09-14 01:33:10 +0200 | <davean> | Is amazonka2 a thing? (I stay away from using AWS) |
| 2022-09-14 01:33:43 +0200 | zachel | (~zachelfai@user/zachel) |
| 2022-09-14 01:33:53 +0200 | <dsal> | Yeah, it's pretty nice. I've got a couple of programs making good use of it. |
| 2022-09-14 01:34:27 +0200 | <davean> | That library, don't say such slander about AWS, they work hard to have that level of downtime! |
| 2022-09-14 01:34:51 +0200 | <davean> | (I've litterly never encountered another host with as many issues) |
| 2022-09-14 01:35:48 +0200 | <dsal> | My programs were mostly made when I had really bad connectivity and were built almost entirely around "everything is broken" so I don't really notice when they have issues. |
| 2022-09-14 01:36:10 +0200 | <davean> | Ah well I serve to other people |
| 2022-09-14 01:36:18 +0200 | <davean> | somewhere on the globe will notice when something is down |
| 2022-09-14 01:36:23 +0200 | dsal | is self-serving |
| 2022-09-14 01:36:41 +0200 | <dsal> | Where do you put stuff you expect people to be able to get? |
| 2022-09-14 01:37:32 +0200 | <davean> | Various places. If you want a cloud GCP is MASSIVELY more stable and with a better network, otherwise theres like equinix metal if you want a lot of performance and bandwidth, but hell, I think Digital Ocean has better uptime than AWS |
| 2022-09-14 01:37:49 +0200 | <dsal> | I've mostly only seen GCP from the inside, so that's a pretty scary thing to hear. heh |
| 2022-09-14 01:37:50 +0200 | <davean> | Scale matters a lot for that decision |
| 2022-09-14 01:37:59 +0200 | <davean> | dsal: Yah, isn't it? |
| 2022-09-14 01:38:34 +0200 | <davean> | dsal: you can't even ping locally inside AWS for any period of time without packet loss |
| 2022-09-14 01:38:35 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-14 01:38:43 +0200 | <davean> | or at least extreme latency spikes |
| 2022-09-14 01:38:54 +0200 | <hpc> | can't be that much scarier than what i have heard about us-east-1 |
| 2022-09-14 01:40:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 01:40:50 +0200 | <[Leary]> | davean, jackdk: Re the zlib / shared libraries problem, have you seen this discussion? <https://discourse.nixos.org/t/shared-libraries-error-with-cabal-repl-in-nix-shell/8921/9>. For use in a system/profile install when the program needs to recompile itself, I suppose you'd use `makeWrapper` and set the env var in there instead. |
| 2022-09-14 01:42:29 +0200 | <jackdk> | [Leary]: That's a cute trick with `LD_LIBRARY_PATH` |
| 2022-09-14 01:42:47 +0200 | <davean> | [Leary]: oh! |
| 2022-09-14 01:42:52 +0200 | <davean> | Thanks thats something to look at |
| 2022-09-14 01:43:08 +0200 | <jackdk> | davean: Yeah I've been helping Brendan clean up and catch up amazonka to a bunch of newer services etc |
| 2022-09-14 01:44:29 +0200 | <jean-paul[m]> | "I can't even set up a reproducible build environment where my software can rebuild itself at runtime against non-hermetic cross-language dependencies" biiiig fail there, haskell.nix, feel much shame. |
| 2022-09-14 01:44:50 +0200 | <davean> | jean-paul[m]: I mean it assumes all the build is at installtime is the problem |
| 2022-09-14 01:44:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 01:44:53 +0200 | <davean> | thats not how things work |
| 2022-09-14 01:45:05 +0200 | <davean> | building is part of the lifetime of a system |
| 2022-09-14 01:45:06 +0200 | <jean-paul[m]> | davean: It is how a _lot_ of things work. |
| 2022-09-14 01:45:13 +0200 | <davean> | jean-paul[m]: the most basic sure |
| 2022-09-14 01:45:22 +0200 | <davean> | but its a very limited perspective |
| 2022-09-14 01:45:31 +0200 | <jean-paul[m]> | Or really, it assumes all of the build is at build time. :) |
| 2022-09-14 01:45:53 +0200 | <jean-paul[m]> | Sure, it is limited. A lot of limited tools do a good job. Show me an unlimited tool. :) |
| 2022-09-14 01:50:08 +0200 | <[Leary]> | It's not like it can't support run-time rebuilds, but you /should/ expect to have to jump through more hoops to do so. |
| 2022-09-14 01:52:17 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 01:54:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-14 01:59:34 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-14 02:03:36 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-09-14 02:04:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 02:04:13 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-14 02:06:06 +0200 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection) |
| 2022-09-14 02:07:32 +0200 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-09-14 02:17:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 02:21:51 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-09-14 02:22:10 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 02:22:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 02:23:25 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 02:24:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-14 02:27:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-14 02:30:44 +0200 | <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 02:31:23 +0200 | <davean> | sammelweis: so uh, :t probably won't help you there. You can use -fdefer-type-errors though |
| 2022-09-14 02:31:31 +0200 | <davean> | but if there are type errors, what you'll get from :t will be false |
| 2022-09-14 02:31:40 +0200 | <davean> | you're PROBABLY better off using _ instead |
| 2022-09-14 02:32:04 +0200 | <davean> | that is, using Typed Holes |
| 2022-09-14 02:32:06 +0200 | <sammelweis> | just want to get the type of some stuff from libraries |
| 2022-09-14 02:32:22 +0200 | <sammelweis> | trying to figure out what type changed to break my code when ghc got upgraded |
| 2022-09-14 02:32:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 02:32:29 +0200 | <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 02:32:46 +0200 | <davean> | This is what the errors are telling you - where the *conflict* is |
| 2022-09-14 02:33:39 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:3578:dbbf:f7b2:91f0) |
| 2022-09-14 02:34:16 +0200 | <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 02:34:33 +0200 | <davean> | You'll learn the problems I was trying to explain when you use it I guess :) |
| 2022-09-14 02:34:56 +0200 | <sammelweis> | na I already found it |
| 2022-09-14 02:35:03 +0200 | <sammelweis> | the type of `toList` changed |
| 2022-09-14 02:35:40 +0200 | <sammelweis> | really i used `:i toList` in ghci not just `:t` |
| 2022-09-14 02:36:12 +0200 | <davean> | RIGHT that makes sense |
| 2022-09-14 02:36:33 +0200 | <sammelweis> | thanks davean |
| 2022-09-14 02:36:37 +0200 | <davean> | NP |
| 2022-09-14 02:36:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-14 02:41:36 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-09-14 02:42:33 +0200 | gff_ | (~gff@user/gff) (Ping timeout: 268 seconds) |
| 2022-09-14 02:44:37 +0200 | gff_ | (~gff@user/gff) |
| 2022-09-14 02:49:38 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:3578:dbbf:f7b2:91f0) (Quit: Leaving) |
| 2022-09-14 02:51:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 02:55:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 02:56:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 03:01:10 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 03:01:48 +0200 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-09-14 03:05:35 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2022-09-14 03:08:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-14 03:18:08 +0200 | janus | (janus@anubis.0x90.dk) |
| 2022-09-14 03:20:28 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-14 03:23:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 03:24:41 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-14 03:25:36 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-09-14 03:27:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 03:30:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 03:31:57 +0200 | <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 03:33:11 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-09-14 03:33:53 +0200 | <jackdk> | okay but what are you doing with nhc98? I'm intrigued |
| 2022-09-14 03:35:23 +0200 | <janus> | jackdk: trying to build ghc-0.29 with nhc98, and i need to patch a few things |
| 2022-09-14 03:35:48 +0200 | <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 03:36:00 +0200 | <jackdk> | are you... bootstrapping? |
| 2022-09-14 03:36:03 +0200 | <janus> | ghc-0.29 is written in a weird dialect with no do-notation and monomorphized return functions |
| 2022-09-14 03:36:21 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-14 03:36:21 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-14 03:36:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-14 03:36:26 +0200 | <janus> | dunno if it qualifies as bootstrapping since i probably got nhc98 built using generated sources |
| 2022-09-14 03:36:52 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 03:36:58 +0200 | <jackdk> | But you're hoping to build ghc 0.29 off an nhc98 bindist? |
| 2022-09-14 03:37:35 +0200 | <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 03:39:24 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-14 03:40:29 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-14 03:40:59 +0200 | <janus> | yeah, i'll read the length using Storable(peek) and then `peekCStringLen (addr + 4, peekedLength)` |
| 2022-09-14 03:41:02 +0200 | <janus> | good tip, thanks |
| 2022-09-14 03:41:32 +0200 | <jackdk> | If you know the type of the length you're reading into, yyou can probably use sizeof instead of `4` |
| 2022-09-14 03:41:51 +0200 | potash | (~foghorn@user/foghorn) (Ping timeout: 265 seconds) |
| 2022-09-14 03:41:55 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-14 03:42:40 +0200 | <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 03:44:03 +0200 | <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 03:46:35 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 03:47:08 +0200 | <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 03:47:28 +0200 | <janus> | not sure what you meant by that |
| 2022-09-14 03:50:33 +0200 | zachel | (~zachelfai@user/zachel) () |
| 2022-09-14 03:53:32 +0200 | <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 03:54:19 +0200 | <jackdk> | Yeah, that Storable class has a sizeOf function |
| 2022-09-14 03:54:30 +0200 | <jackdk> | (as in the one in your nhc link |
| 2022-09-14 03:54:31 +0200 | <jackdk> | ) |
| 2022-09-14 03:55:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 03:57:50 +0200 | frost | (~frost@user/frost) |
| 2022-09-14 03:58:55 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 04:00:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-14 04:00:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 04:02:31 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-09-14 04:04:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-14 04:05:00 +0200 | <Axman6> | traverse sequence |
| 2022-09-14 04:05:04 +0200 | <Axman6> | :t traverse sequence |
| 2022-09-14 04:05:05 +0200 | <lambdabot> | (Traversable t1, Traversable t2, Monad f) => t1 (t2 (f a)) -> f (t1 (t2 a)) |
| 2022-09-14 04:05:44 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 04:06:00 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-14 04:06:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 04:10:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-14 04:11:25 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 04:13:42 +0200 | <Axman6> | % :i (<*>) |
| 2022-09-14 04:13:43 +0200 | <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 04:17:07 +0200 | potash | (~foghorn@user/foghorn) |
| 2022-09-14 04:20:38 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 04:22:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 04:23:02 +0200 | <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 04:24:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-14 04:24:57 +0200 | <jackdk> | Yeah I read that article a while back, and failed to reproduce its results so I gave up |
| 2022-09-14 04:25:36 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 04:29:26 +0200 | <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 04:31:37 +0200 | td_ | (~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 265 seconds) |
| 2022-09-14 04:33:00 +0200 | td_ | (~td@muedsl-82-207-238-076.citykom.de) |
| 2022-09-14 04:35:07 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-09-14 04:40:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-09-14 04:41:06 +0200 | Furor | Colere |
| 2022-09-14 04:43:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-14 04:43:20 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-14 04:43:20 +0200 | finn_elija | FinnElija |
| 2022-09-14 04:49:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 04:53:35 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-14 04:53:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 04:58:29 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 05:10:35 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-14 05:20:41 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 2022-09-14 05:21:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 05:24:46 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 260 seconds) |
| 2022-09-14 05:26:30 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-14 05:26:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 05:37:07 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-14 05:39:15 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 250 seconds) |
| 2022-09-14 05:41:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 05:43:59 +0200 | <dsal> | jackdk: Huge thanks for that nix help. |
| 2022-09-14 05:44:23 +0200 | <jackdk> | dsal: You're welcome |
| 2022-09-14 05:46:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 05:46:22 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-14 05:46:52 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-14 05:54:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 06:00:58 +0200 | benin0 | (~benin@2401:4900:262f:a430:9290:df23:56e1:829) |
| 2022-09-14 06:05:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 06:05:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 06:08:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2022-09-14 06:09:51 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Quit: WeeChat 3.5) |
| 2022-09-14 06:10:14 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-14 06:10:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 06:12:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-14 06:14:41 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-14 06:15:04 +0200 | fjMSX | (~hypni2p@128-68-149-52.broadband.corbina.ru) (Remote host closed the connection) |
| 2022-09-14 06:16:50 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 06:18:21 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-14 06:19:32 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-14 06:19:48 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-09-14 06:23:41 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 06:23:48 +0200 | raym | (~raym@user/raym) (Ping timeout: 264 seconds) |
| 2022-09-14 06:23:50 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-09-14 06:25:58 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-09-14 06:27:20 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-14 06:27:56 +0200 | nehsou^ | (~nehsou@70.88.176.185) (Remote host closed the connection) |
| 2022-09-14 06:28:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-14 06:30:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-14 06:30:51 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-14 06:31:18 +0200 | benin0 | (~benin@2401:4900:262f:a430:9290:df23:56e1:829) (Ping timeout: 244 seconds) |
| 2022-09-14 06:33:39 +0200 | <sammelweis> | once again i've been sucked into trying to make show type at point work in emacs haskell mode |
| 2022-09-14 06:33:53 +0200 | <sammelweis> | i've spent hours at this in the past |
| 2022-09-14 06:34:22 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-14 06:34:25 +0200 | <sammelweis> | i never really got used to losing it after intero stopped being maintained |
| 2022-09-14 06:35:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-14 06:36:13 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-14 06:38:12 +0200 | <glguy> | sammelweis: whatever it is that spacemacs does seems to "just work" |
| 2022-09-14 06:38:26 +0200 | <glguy> | I opened one of my Haskell projects in emacs and I get type signatures on hover |
| 2022-09-14 06:39:23 +0200 | <glguy> | https://ibb.co/mXzWfKd |
| 2022-09-14 06:39:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 06:39:42 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-14 06:40:07 +0200 | <glguy> | at a minimum I've turn on the haskell layer and I have hls installed from ghcup |
| 2022-09-14 06:42:06 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 06:42:15 +0200 | <[Leary]> | You can also just do (expr :: _) and see it in ghcid or whatnot. |
| 2022-09-14 06:43:06 +0200 | <[Leary]> | Typed holes are pretty handy. |
| 2022-09-14 06:43:18 +0200 | <davean> | You can do the same without type holes via :t |
| 2022-09-14 06:43:54 +0200 | <glguy> | typed holes allow you to use stuff that wouldn't be in scope with :t |
| 2022-09-14 06:44:01 +0200 | <davean> | Thats true |
| 2022-09-14 06:44:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 06:44:10 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 06:44:22 +0200 | <[Leary]> | Via `-- $> :t expr`? I don't keep a ghci ready 99% of the time. |
| 2022-09-14 06:44:47 +0200 | <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 06:45:15 +0200 | <glguy> | (and that's working in vim and emacs, too) |
| 2022-09-14 06:45:26 +0200 | <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 06:47:05 +0200 | <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 06:47:05 +0200 | <glguy> | https://ibb.co/Y2WymGs |
| 2022-09-14 06:48:51 +0200 | <sammelweis> | glguy: i'm using spacemacs |
| 2022-09-14 06:49:02 +0200 | <glguy> | sure, maybe don't use lens; but there are other things that use type variables :) |
| 2022-09-14 06:49:19 +0200 | <davean> | glguy: I have a mixed relation with lens ;) |
| 2022-09-14 06:49:38 +0200 | <davean> | I think I'm contractually obligated to not say anything bad about it. |
| 2022-09-14 06:49:57 +0200 | <glguy> | I try to limit myself to 0 or 1 clever uses of it per project |
| 2022-09-14 06:51:49 +0200 | raym | (~raym@user/raym) |
| 2022-09-14 06:54:54 +0200 | <glguy> | sammelweis: looks like I added the layers: haskell, lsp |
| 2022-09-14 06:56:22 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-09-14 06:59:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 07:01:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-09-14 07:02:12 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 264 seconds) |
| 2022-09-14 07:08:51 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 252 seconds) |
| 2022-09-14 07:09:10 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-14 07:09:57 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-14 07:11:11 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-09-14 07:11:29 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 07:13:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 07:14:30 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-09-14 07:17:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 07:23:31 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-14 07:27:19 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-09-14 07:28:29 +0200 | Furor | Colere |
| 2022-09-14 07:38:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-14 07:38:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-14 07:40:36 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-14 07:41:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 07:43:10 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-14 07:45:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-14 07:45:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 07:46:32 +0200 | king_gs | (~Thunderbi@187.201.36.251) |
| 2022-09-14 07:47:39 +0200 | <sammelweis> | glguy: i had haskell but not lsp; adding lsp... |
| 2022-09-14 07:48:27 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 07:49:38 +0200 | <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 07:50:35 +0200 | <sammelweis> | it says dante loaded... warnings show up highlighted... just no show type at point |
| 2022-09-14 07:52:00 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2022-09-14 07:58:05 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 08:06:40 +0200 | <sammelweis> | omg lol it works if i use `, h t` to get the type insteac of `C-c C-t` |
| 2022-09-14 08:06:41 +0200 | king_gs | (~Thunderbi@187.201.36.251) (Read error: Connection reset by peer) |
| 2022-09-14 08:08:14 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:5a85:6602:e9eb:2cef) |
| 2022-09-14 08:25:34 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 265 seconds) |
| 2022-09-14 08:26:13 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-14 08:29:25 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-14 08:32:52 +0200 | benin0 | (~benin@183.82.204.57) |
| 2022-09-14 08:34:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-14 08:35:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 08:37:32 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2022-09-14 08:40:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 08:40:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 08:41:37 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 08:41:48 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-14 08:45:21 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 08:45:35 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 08:48:46 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 08:49:01 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 08:54:42 +0200 | <Athas> | Is nextafter/nextafterf exposed anywhere in base? |
| 2022-09-14 08:59:55 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-14 09:00:09 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 09:00:12 +0200 | odnes | (~odnes@5-203-152-64.pat.nym.cosmote.net) |
| 2022-09-14 09:01:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9cf:5cb1:5dd5:8bdc) |
| 2022-09-14 09:01:48 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-14 09:03:07 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 09:03:22 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 09:03:30 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-14 09:04:14 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 2022-09-14 09:07:36 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 265 seconds) |
| 2022-09-14 09:08:39 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-14 09:09:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 09:14:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 09:20:22 +0200 | <Axman6> | Athas: what is that? |
| 2022-09-14 09:20:58 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 09:22:29 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Read error: Connection reset by peer) |
| 2022-09-14 09:22:37 +0200 | <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 09:23:42 +0200 | <Athas> | Axman6: given a floating point number, produces the next or previous number. |
| 2022-09-14 09:23:59 +0200 | img | (~img@user/img) |
| 2022-09-14 09:24:23 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:5a85:6602:e9eb:2cef) (Ping timeout: 244 seconds) |
| 2022-09-14 09:24:37 +0200 | <sm> | carbolymer: sounds right, what's the command line ? |
| 2022-09-14 09:24:42 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 09:24:57 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 09:25:20 +0200 | <zachel> | j |
| 2022-09-14 09:25:49 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-14 09:26:56 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds) |
| 2022-09-14 09:27:13 +0200 | <carbolymer> | sm: cabal build -O0 --ghc-options '-Wwarn -freverse-errors -fobject-code' txe |
| 2022-09-14 09:27:21 +0200 | <carbolymer> | sm: and it's building with only -O0 |
| 2022-09-14 09:27:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 09:28:38 +0200 | <sm> | how about one option per --ghc-options |
| 2022-09-14 09:28:42 +0200 | <carbolymer> | @_@ |
| 2022-09-14 09:28:55 +0200 | <Axman6> | :t decodeFloat |
| 2022-09-14 09:28:57 +0200 | <lambdabot> | RealFloat a => a -> (Integer, Int) |
| 2022-09-14 09:29:06 +0200 | <sm> | or maybe an = |
| 2022-09-14 09:29:16 +0200 | <carbolymer> | sm: the same, even with = |
| 2022-09-14 09:30:06 +0200 | <sm> | oh, --ghc-option maybe |
| 2022-09-14 09:30:09 +0200 | <Axman6> | :t let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e |
| 2022-09-14 09:30:11 +0200 | <lambdabot> | <no location info>: error: |
| 2022-09-14 09:30:11 +0200 | <lambdabot> | not an expression: ‘let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e’ |
| 2022-09-14 09:30:34 +0200 | <sm> | no, --ghc-options should work too it says here |
| 2022-09-14 09:30:38 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 09:31:18 +0200 | <carbolymer> | nope |
| 2022-09-14 09:31:35 +0200 | <carbolymer> | still I'm seeing |
| 2022-09-14 09:31:35 +0200 | <carbolymer> | >Build profile: -w ghc-9.2.2 -O0 |
| 2022-09-14 09:32:13 +0200 | <sm> | maybe a cabal.project file is overriding ? |
| 2022-09-14 09:32:14 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-14 09:32:44 +0200 | <carbolymer> | shouldn't CLI take priority? |
| 2022-09-14 09:32:48 +0200 | <sm> | or a .cabal file ? |
| 2022-09-14 09:32:57 +0200 | <sm> | not sure |
| 2022-09-14 09:33:02 +0200 | <Axman6> | :t let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f |
| 2022-09-14 09:33:03 +0200 | <lambdabot> | (RealFloat a1, RealFloat a2) => a1 -> a2 |
| 2022-09-14 09:33:18 +0200 | <Axman6> | > let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f 1 |
| 2022-09-14 09:33:19 +0200 | <carbolymer> | damn it, and I promised to myself, no yak shaving today |
| 2022-09-14 09:33:20 +0200 | <lambdabot> | 1.0000000000000002 |
| 2022-09-14 09:33:24 +0200 | <Axman6> | > let f x = let (s,e) = decodeFloat x in encodeFloat (s+1) e in f pi |
| 2022-09-14 09:33:26 +0200 | <lambdabot> | 3.1415926535897936 |
| 2022-09-14 09:33:53 +0200 | <Axman6> | Athas: that _may_ be what you want? worth checking the docs for encode/decodeFloat |
| 2022-09-14 09:35:55 +0200 | <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 09:36:09 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-14 09:37:05 +0200 | <Athas> | Wait, what's going on here. |
| 2022-09-14 09:37:20 +0200 | <Athas> | > let (s,e) = decodeFloat (1/0::Float) in encodeFloat s e |
| 2022-09-14 09:37:23 +0200 | <lambdabot> | 3.402823669209385e38 |
| 2022-09-14 09:38:00 +0200 | <Athas> | Oh, decodeFloat is unspecified when the argument is infinity or nan. Haskell's float support disappoints me yet again. |
| 2022-09-14 09:38:13 +0200 | <Athas> | Oh, and it doesn't handle negative zero either. |
| 2022-09-14 09:38:34 +0200 | <Athas> | This stuff is why I have an ever increasing number of FFI declarations to the C math library. |
| 2022-09-14 09:39:12 +0200 | <sm> | carbolymer: hehe I hear you. Take a break and try later ? Must be simple |
| 2022-09-14 09:39:38 +0200 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-09-14 09:41:27 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-14 09:41:42 +0200 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-09-14 09:44:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 09:46:46 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:3964:b66c:fb35:38e9) |
| 2022-09-14 09:48:36 +0200 | <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 09:48:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 09:51:40 +0200 | <carbolymer> | sm: hm indeed, -v3 shows it somewhere |
| 2022-09-14 09:51:52 +0200 | <carbolymer> | I swear -fobject-code was faster |
| 2022-09-14 09:51:58 +0200 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) |
| 2022-09-14 09:52:09 +0200 | <carbolymer> | (that's why I was convinced it wasn't enabled) |
| 2022-09-14 09:52:16 +0200 | <carbolymer> | sm: thx |
| 2022-09-14 09:57:35 +0200 | <sm> | np |
| 2022-09-14 09:58:22 +0200 | <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 09:58:40 +0200 | <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 09:58:42 +0200 | <dminuoso> | What is going on here? |
| 2022-09-14 10:00:49 +0200 | <dminuoso> | Oh. It seems that the cabal sdist on hackage contains the configure script, while the repository does not |
| 2022-09-14 10:02:25 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-14 10:02:53 +0200 | <carbolymer> | dminuoso: shouldn't that be `Custom` instead? |
| 2022-09-14 10:03:25 +0200 | <dminuoso> | No, looking at it again, the documentation is not well written |
| 2022-09-14 10:03:36 +0200 | <dminuoso> | Custom | Script is not a choice between the two, its rather that the default is one of them. |
| 2022-09-14 10:03:45 +0200 | <dminuoso> | But it is not giving a list of possible values for this field |
| 2022-09-14 10:03:51 +0200 | <dminuoso> | You have to read the text to figure this one out |
| 2022-09-14 10:04:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-14 10:04:51 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 10:06:07 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-14 10:07:40 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 10:07:56 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Client Quit) |
| 2022-09-14 10:08:01 +0200 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) |
| 2022-09-14 10:08:12 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 10:10:39 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-14 10:16:33 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) |
| 2022-09-14 10:17:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 10:22:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 10:24:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 10:25:13 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 10:26:25 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:3964:b66c:fb35:38e9) (Quit: Leaving) |
| 2022-09-14 10:30:15 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 10:30:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-14 10:31:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-14 10:32:13 +0200 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-14 10:32:38 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 10:35:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-14 10:44:59 +0200 | MajorBiscuit | (~MajorBisc@145.94.167.213) |
| 2022-09-14 10:45:22 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-14 10:47:15 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-14 10:48:01 +0200 | Guest74 | (~Guest74@199.101.192.190) |
| 2022-09-14 10:49:07 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 2022-09-14 10:49:36 +0200 | <Guest74> | Hi, is there better way to write intersperse? My code example is here: https://paste.tomsmeding.com/ChbWfeNO |
| 2022-09-14 10:50:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 10:50:31 +0200 | <Guest74> | I felt my code is a bit tedious but cannot figure out a good way |
| 2022-09-14 10:53:18 +0200 | <dminuoso> | Guest74: Yes, use (:) rather than (++) |
| 2022-09-14 10:54:13 +0200 | <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 10:54:46 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:dd7a:d24a:98d5:1396) |
| 2022-09-14 10:54:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 10:56:06 +0200 | <[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 10:59:40 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-14 11:04:35 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 11:06:19 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 11:07:44 +0200 | <Guest74> | great, thanks both. Let me try all the suggestions |
| 2022-09-14 11:09:23 +0200 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 252 seconds) |
| 2022-09-14 11:11:13 +0200 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2022-09-14 11:14:25 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-14 11:18:37 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-14 11:23:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 11:24:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 11:27:20 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-14 11:27:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 11:28:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-09-14 11:30:37 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:dd7a:d24a:98d5:1396) (Remote host closed the connection) |
| 2022-09-14 11:36:55 +0200 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) |
| 2022-09-14 11:37:05 +0200 | acidjnk | (~acidjnk@p200300d6e7137a694dbc2622debc4d85.dip0.t-ipconnect.de) |
| 2022-09-14 11:43:33 +0200 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 11:45:28 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:1403:a15f:72c7:8590) |
| 2022-09-14 11:46:44 +0200 | taeaad_ | (~taeaad@user/taeaad) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2022-09-14 11:48:26 +0200 | taeaad | (~taeaad@user/taeaad) |
| 2022-09-14 11:52:25 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-14 11:55:09 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-14 11:56:04 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-09-14 11:57:08 +0200 | <Guest74> | [Leary] here is the suggested one. `intersp s = drop 1 . foldr (\x acc -> [s,x]++acc) []` and it works, seemly :) |
| 2022-09-14 11:59:04 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:1403:a15f:72c7:8590) (Remote host closed the connection) |
| 2022-09-14 11:59:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 11:59:53 +0200 | <Guest74> | BTW: is there any way to formally prove my intersperse is mathematically equal to the one in library (Data.List)? |
| 2022-09-14 12:01:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-14 12:01:49 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 12:04:02 +0200 | <dminuoso> | You mean extensionally equivalent? |
| 2022-09-14 12:04:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 12:04:22 +0200 | <dminuoso> | Should be very easy by induction |
| 2022-09-14 12:04:24 +0200 | thyriaen_ | (~thyriaen@dynamic-089-204-135-094.89.204.135.pool.telefonica.de) |
| 2022-09-14 12:05:04 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2022-09-14 12:07:18 +0200 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 12:07:22 +0200 | <[exa]> | Guest74: you might even have luck with expanding both definitions to a common β-normal form |
| 2022-09-14 12:07:56 +0200 | benin0 | (~benin@183.82.204.57) (Ping timeout: 268 seconds) |
| 2022-09-14 12:09:12 +0200 | Guest74 | (~Guest74@199.101.192.190) (Ping timeout: 252 seconds) |
| 2022-09-14 12:10:08 +0200 | benin0 | (~benin@183.82.30.105) |
| 2022-09-14 12:11:51 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 12:13:13 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 12:14:58 +0200 | thyriaen_ | (~thyriaen@dynamic-089-204-135-094.89.204.135.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-09-14 12:16:23 +0200 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 12:20:25 +0200 | thyriaen__ | (~thyriaen@83.137.6.60) |
| 2022-09-14 12:20:54 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a69c4ebc292776c95cf.dip0.t-ipconnect.de) |
| 2022-09-14 12:22:41 +0200 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2022-09-14 12:25:12 +0200 | acidjnk | (~acidjnk@p200300d6e7137a694dbc2622debc4d85.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-14 12:27:39 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 12:28:50 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-14 12:31:09 +0200 | benin0 | (~benin@183.82.30.105) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-14 12:31:22 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-14 12:34:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 12:38:50 +0200 | Guest74 | (~Guest74@199.101.192.190) |
| 2022-09-14 12:39:11 +0200 | <Guest74> | dminuoso, any details? |
| 2022-09-14 12:39:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 12:40:07 +0200 | thyriaen__ | (~thyriaen@83.137.6.60) (Quit: Leaving) |
| 2022-09-14 12:40:26 +0200 | <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 12:42:23 +0200 | <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 12:43:11 +0200 | benin0 | (~benin@183.82.31.92) |
| 2022-09-14 12:43:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 12:47:02 +0200 | <lortabac> | Guest74: first you have to define what you mean by identical |
| 2022-09-14 12:47:45 +0200 | <lortabac> | also, do you want to compare the source code or the Haskell functions themselves? |
| 2022-09-14 12:49:54 +0200 | Guest74 | (~Guest74@199.101.192.190) (Ping timeout: 252 seconds) |
| 2022-09-14 12:56:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-09-14 12:56:52 +0200 | Guest74 | (~Guest74@85.203.23.75) |
| 2022-09-14 12:57:42 +0200 | frost | (~frost@user/frost) |
| 2022-09-14 12:57:43 +0200 | akegalj | (~akegalj@93-138-145-73.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-14 13:01:37 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:02:37 +0200 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-14 13:02:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:70d9:f4e:21d1:c42f) |
| 2022-09-14 13:03:02 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:04:55 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-09-14 13:05:48 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:05:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 13:07:03 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:07:39 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 13:08:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 13:09:42 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:11:04 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:12:13 +0200 | <Guest74> | Well, just realized it's impossible to find a perfect solution for formal proving in Haskell... never mind |
| 2022-09-14 13:12:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 13:12:54 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:14:19 +0200 | <hpc> | turing completeness strikes again! |
| 2022-09-14 13:14:37 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:16:24 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:17:41 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:18:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-14 13:18:48 +0200 | <int-e> | . o O ( Are you still indecisive or already undecidable? ) |
| 2022-09-14 13:19:36 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:20:05 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:20:44 +0200 | Guest7461 | (~Guest74@85.203.23.75) |
| 2022-09-14 13:21:48 +0200 | Guest74 | (~Guest74@85.203.23.75) (Ping timeout: 252 seconds) |
| 2022-09-14 13:22:57 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-14 13:24:10 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-14 13:28:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 13:29:07 +0200 | Guest7461 | (~Guest74@85.203.23.75) (Quit: Client closed) |
| 2022-09-14 13:31:46 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-09-14 13:33:32 +0200 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-14 13:33:59 +0200 | doyougnu | (~doyougnu@195.69.96.100) (Remote host closed the connection) |
| 2022-09-14 13:34:44 +0200 | doyougnu | (~doyougnu@195.69.96.100) |
| 2022-09-14 13:35:04 +0200 | doyougnu | (~doyougnu@195.69.96.100) (Remote host closed the connection) |
| 2022-09-14 13:35:19 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-14 13:35:28 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 13:36:10 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 13:40:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 13:40:26 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-09-14 13:44:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 13:45:28 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-14 13:46:38 +0200 | ccapndave | (~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) |
| 2022-09-14 13:55:21 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:d588:de76:f8ed:daae) |
| 2022-09-14 13:55:22 +0200 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) |
| 2022-09-14 13:56:18 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-14 14:00:55 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 14:02:29 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 14:11:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:15:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-14 14:19:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 14:19:31 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 14:19:46 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-14 14:19:52 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:603b:d5e1:1442:85e3) |
| 2022-09-14 14:21:53 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-14 14:26:44 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 14:31:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-14 14:32:13 +0200 | <dragestil> | Does anyone know what is error code -9 when building haddock using hadrian for the ghc boot libraries? |
| 2022-09-14 14:33:09 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-14 14:35:38 +0200 | <darkling> | Probably: EBADF 9 Bad file descriptor |
| 2022-09-14 14:36:57 +0200 | <dragestil> | darkling: ok, why -9 if it should be 9? |
| 2022-09-14 14:37:48 +0200 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2022-09-14 14:38:06 +0200 | <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 14:38:27 +0200 | <dragestil> | I see, thanks |
| 2022-09-14 14:38:38 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-14 14:40:13 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-09-14 14:40:48 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-14 14:48:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:49:36 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-14 14:50:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 14:52:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 14:52:50 +0200 | <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 14:52:53 +0200 | <geekosaur> | *killed |
| 2022-09-14 14:52:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 14:54:35 +0200 | <absence> | why does getLocaleEncoding return ASCII when all the locale environment variables specify UTF-8? |
| 2022-09-14 14:55:25 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 14:56:31 +0200 | <geekosaur> | no locale files? |
| 2022-09-14 14:57:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 14:58:22 +0200 | <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 14:58:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-09-14 14:58:56 +0200 | <geekosaur> | it should, yes |
| 2022-09-14 15:00:07 +0200 | <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 15:02:08 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-14 15:02:48 +0200 | <dragestil> | geekosaur: ok it is actually taking 100% cpu, but 4.7% ram |
| 2022-09-14 15:03:03 +0200 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 2022-09-14 15:03:53 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-14 15:04:07 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 15:04:35 +0200 | _xor | (~xor@74.215.182.83) (Quit: brb) |
| 2022-09-14 15:05:17 +0200 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
| 2022-09-14 15:07:10 +0200 | <geekosaur> | absence, does `locale` think the locale makes sense? |
| 2022-09-14 15:11:15 +0200 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) |
| 2022-09-14 15:11:44 +0200 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 2022-09-14 15:12:16 +0200 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
| 2022-09-14 15:15:24 +0200 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 15:20:27 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-09-14 15:22:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 15:24:16 +0200 | ccapndave | (~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-09-14 15:24:52 +0200 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-14 15:26:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 15:28:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 15:30:03 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-14 15:33:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-14 15:33:37 +0200 | ubert | (~Thunderbi@91.141.76.98.wireless.dyn.drei.com) |
| 2022-09-14 15:36:50 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-09-14 15:39:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 15:41:59 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-14 15:43:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 15:46:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 15:46:31 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-14 15:49:39 +0200 | thyriaen | (~thyriaen@83.137.6.60) |
| 2022-09-14 15:50:02 +0200 | odnes | (~odnes@5-203-152-64.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-14 15:51:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 15:53:47 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-14 15:59:11 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-14 16:09:44 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 16:10:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-14 16:12:58 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-14 16:15:36 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-14 16:18:00 +0200 | dsrt^ | (~dsrt@70.88.176.185) (Remote host closed the connection) |
| 2022-09-14 16:18:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 16:23:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 16:23:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 16:24:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9cf:5cb1:5dd5:8bdc) (Quit: WeeChat 2.8) |
| 2022-09-14 16:24:06 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-09-14 16:25:53 +0200 | slack1256 | (~slack1256@191.126.99.70) |
| 2022-09-14 16:26:10 +0200 | <slack1256> | Apart from EKG, what monitoring alternative do I have? |
| 2022-09-14 16:28:06 +0200 | <absence> | geekosaur: not sure, it lists a bunch of environment variables, all containing some language and UTF-8 |
| 2022-09-14 16:28:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 16:28:42 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-14 16:30:30 +0200 | vglfr | (~vglfr@145.224.94.72) |
| 2022-09-14 16:31:07 +0200 | <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 16:33:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-14 16:34:12 +0200 | thyriaen | (~thyriaen@83.137.6.60) (Ping timeout: 265 seconds) |
| 2022-09-14 16:34:16 +0200 | <geekosaur> | (more correctly, the locale it uses comes from the same functions; getLocaleEncoding itself just reports the result) |
| 2022-09-14 16:34:49 +0200 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 16:40:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 16:40:49 +0200 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 16:41:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 16:41:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 16:43:25 +0200 | thyriaen | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-09-14 16:44:02 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-14 16:46:32 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-09-14 16:49:15 +0200 | thyriaen_ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2022-09-14 16:49:20 +0200 | thyriaen__ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) |
| 2022-09-14 16:51:32 +0200 | thyriaen | (~thyriaen@dynamic-046-114-175-108.46.114.pool.telefonica.de) |
| 2022-09-14 16:54:24 +0200 | thyriaen__ | (~thyriaen@178.165.203.199.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-14 16:56:26 +0200 | thyriaen | (~thyriaen@dynamic-046-114-175-108.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2022-09-14 16:57:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 17:02:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 17:02:39 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-14 17:07:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 17:08:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-14 17:10:36 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 264 seconds) |
| 2022-09-14 17:13:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a69c4ebc292776c95cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-14 17:21:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 17:22:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 17:30:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-14 17:36:19 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-14 17:36:42 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-14 17:37:05 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-14 17:40:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-14 17:42:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 17:44:47 +0200 | MajorBiscuit | (~MajorBisc@145.94.167.213) (Ping timeout: 265 seconds) |
| 2022-09-14 17:48:17 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-14 17:52:36 +0200 | slac80483 | (~slack1256@186.11.45.76) |
| 2022-09-14 17:54:55 +0200 | slack1256 | (~slack1256@191.126.99.70) (Ping timeout: 265 seconds) |
| 2022-09-14 17:55:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a05c4ebc292776c95cf.dip0.t-ipconnect.de) |
| 2022-09-14 17:57:30 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-14 17:57:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 17:59:11 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-14 18:01:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 18:02:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 18:10:16 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-14 18:11:11 +0200 | econo | (uid147250@user/econo) |
| 2022-09-14 18:16:35 +0200 | lagash | (lagash@2605:6400:20:b4:9c76:1538:3398:ce71) (Ping timeout: 248 seconds) |
| 2022-09-14 18:19:07 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-14 18:22:02 +0200 | img | (~img@user/img) |
| 2022-09-14 18:22:30 +0200 | waleee | (~waleee@192.165.44.49) (Quit: WeeChat 3.6) |
| 2022-09-14 18:23:02 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-14 18:23:54 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 18:27:20 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-14 18:28:14 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 18:28:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 18:32:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 18:33:06 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 18:36:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 18:39:35 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-14 18:42:20 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-14 18:50:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 18:53:00 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-09-14 18:54:42 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-14 19:02:26 +0200 | waleee | (~waleee@192.165.44.49) (Ping timeout: 268 seconds) |
| 2022-09-14 19:05:32 +0200 | mrianbloom | (uid350277@id-350277.ilkley.irccloud.com) |
| 2022-09-14 19:07:29 +0200 | <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 19:07:33 +0200 | johnw_ | (~johnw@2600:1700:cf00:db0:edb4:1119:188a:648c) |
| 2022-09-14 19:08:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:08:26 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) (Ping timeout: 260 seconds) |
| 2022-09-14 19:10:30 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-09-14 19:12:17 +0200 | <monochrom> | @type lift |
| 2022-09-14 19:12:19 +0200 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2022-09-14 19:12:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 19:12:49 +0200 | <monochrom> | I think lift helps. All monad transformers are supposed to be an instance of MonadTrans and support lift. |
| 2022-09-14 19:13:43 +0200 | <mrianbloom> | Right, lift is fine. I'm talking about lifting an arbitrary function :: m a -> m b |
| 2022-09-14 19:13:47 +0200 | <mrianbloom> | Maybe I |
| 2022-09-14 19:13:57 +0200 | <mrianbloom> | I'm missing something :) |
| 2022-09-14 19:14:07 +0200 | <monochrom> | Oh nevermind, I misread. |
| 2022-09-14 19:14:29 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Ping timeout: 252 seconds) |
| 2022-09-14 19:15:11 +0200 | <dolio> | @type \f -> (>>= lift . f . return) |
| 2022-09-14 19:15:12 +0200 | <lambdabot> | (MonadTrans t, Monad m1, Monad m2, Monad (t m1)) => (m2 a -> m1 b) -> t m1 a -> t m1 b |
| 2022-09-14 19:16:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 19:16:23 +0200 | <mrianbloom> | dolio: Cool |
| 2022-09-14 19:17:48 +0200 | <mrianbloom> | is there a binary operation version of that. Or is that standard somewhere? |
| 2022-09-14 19:18:56 +0200 | <troydm> | megaparsec question, I want p parser to succeed consuming input or succeed even on failure without consuming any input |
| 2022-09-14 19:19:00 +0200 | <troydm> | I did something like |
| 2022-09-14 19:19:14 +0200 | <troydm> | try (char '+') <|> return '-' |
| 2022-09-14 19:19:25 +0200 | <troydm> | but I feel like there is better way to do this |
| 2022-09-14 19:23:16 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-14 19:27:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-14 19:28:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 19:49:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 19:50:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 19:59:58 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Remote host closed the connection) |
| 2022-09-14 20:00:10 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-14 20:06:02 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 255 seconds) |
| 2022-09-14 20:06:23 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 265 seconds) |
| 2022-09-14 20:07:04 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-14 20:07:13 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 250 seconds) |
| 2022-09-14 20:09:10 +0200 | <monochrom> | optional p |
| 2022-09-14 20:09:18 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2022-09-14 20:09:53 +0200 | <monochrom> | or, optional (try p) if you need the try |
| 2022-09-14 20:10:20 +0200 | <dsal> | As a purist, I also thing `try (char '+') <|> pure '-' ` is a better way. |
| 2022-09-14 20:10:38 +0200 | dsal | is a thinging man |
| 2022-09-14 20:12:17 +0200 | <monochrom> | Now, of course, maybe id '-' <$> optional (try (char '+')) is much less direct than try (char '+') <|> pure '-', so meh. |
| 2022-09-14 20:12:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 20:13:12 +0200 | <monochrom> | (And optional is secretly (<|> pure Nothing) anyway.) |
| 2022-09-14 20:15:53 +0200 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) |
| 2022-09-14 20:16:08 +0200 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) (Client Quit) |
| 2022-09-14 20:16:25 +0200 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) |
| 2022-09-14 20:17:37 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 250 seconds) |
| 2022-09-14 20:19:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 20:19:47 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-09-14 20:19:48 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) |
| 2022-09-14 20:20:04 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-09-14 20:23:47 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.3) |
| 2022-09-14 20:26:12 +0200 | Alex_test | (~al_test@94.233.241.238) (Ping timeout: 268 seconds) |
| 2022-09-14 20:26:17 +0200 | AlexZenon | (~alzenon@94.233.241.238) (Ping timeout: 250 seconds) |
| 2022-09-14 20:26:28 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-14 20:26:39 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-14 20:26:43 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:603b:d5e1:1442:85e3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-14 20:27:20 +0200 | benin0 | (~benin@183.82.31.92) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-14 20:27:27 +0200 | AlexNoo | (~AlexNoo@94.233.241.238) (Ping timeout: 252 seconds) |
| 2022-09-14 20:28:40 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-14 20:29:32 +0200 | Alex_test | (~al_test@178.34.161.3) |
| 2022-09-14 20:30:52 +0200 | AlexZenon | (~alzenon@178.34.161.3) |
| 2022-09-14 20:34:00 +0200 | maxxxino | (~maxxxino@85.233.56.235) |
| 2022-09-14 20:36:08 +0200 | kenran | (~kenran@200116b82bb311007f88ec26b564b2cb.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-14 20:37:23 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 2022-09-14 20:40:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 20:44:19 +0200 | AlexNoo_ | AlexNoo |
| 2022-09-14 20:46:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-14 20:47:10 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-09-14 20:47:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-09-14 20:49:23 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-14 20:50:19 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-14 20:54:40 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-14 20:59:17 +0200 | maxxxino | (~maxxxino@85.233.56.235) (Quit: Connection closed) |
| 2022-09-14 20:59:29 +0200 | maxxxino | (~maxxxino@85.233.56.235) |
| 2022-09-14 21:02:50 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-14 21:03:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-14 21:04:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 21:04:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 21:05:06 +0200 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 260 seconds) |
| 2022-09-14 21:10:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 21:10:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-14 21:14:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-14 21:24:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 21:28:37 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2022-09-14 21:28:57 +0200 | tv | (~tv@user/tv) |
| 2022-09-14 21:31:29 +0200 | vglfr | (~vglfr@145.224.94.72) |
| 2022-09-14 21:31:44 +0200 | MoC | (~moc@user/moc) |
| 2022-09-14 21:32:26 +0200 | tv | (~tv@user/tv) (Client Quit) |
| 2022-09-14 21:32:44 +0200 | tv | (~tv@user/tv) |
| 2022-09-14 21:35:17 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-14 21:37:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 21:37:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 21:38:45 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-14 21:38:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 21:39:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 21:42:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-14 21:44:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 21:49:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-14 21:50:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-14 21:50:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 21:52:08 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-14 21:55:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 22:06:45 +0200 | raym | (~raym@user/raym) |
| 2022-09-14 22:07:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 22:08:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 22:08:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 22:11:01 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-14 22:15:05 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-09-14 22:20:01 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-14 22:21:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-14 22:23:44 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-14 22:29:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-14 22:29:43 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-14 22:30:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 22:31:21 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-14 22:34:46 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-14 22:39:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-14 22:39:49 +0200 | ed | smol-hors |
| 2022-09-14 22:42:00 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-14 22:42:54 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) (Remote host closed the connection) |
| 2022-09-14 22:44:51 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:edfa:b28c:b513:e768) (Quit: king_gs) |
| 2022-09-14 22:45:24 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:c5c1:3011:5b01:17ca) |
| 2022-09-14 22:59:32 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-09-14 23:00:09 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-09-14 23:06:31 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2022-09-14 23:07:34 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-09-14 23:24:32 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 23:26:14 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 23:27:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-14 23:29:19 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-14 23:30:37 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-14 23:32:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-14 23:32:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-14 23:34:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-14 23:36:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-14 23:36:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-14 23:45:09 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-09-14 23:45:48 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-14 23:48:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-14 23:48:36 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-14 23:52:06 +0200 | maxxxino | (~maxxxino@85.233.56.235) (Quit: Connection closed) |
| 2022-09-14 23:56:00 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 244 seconds) |
| 2022-09-14 23:58:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |