2021-11-27 00:00:54 +0100 | <dsal> | arahael: I believe it's Network.AWS |
2021-11-27 00:01:20 +0100 | <arahael> | dsal: Curious - I happen to know it's in Amazonka, but how do we find that out? |
2021-11-27 00:01:23 +0100 | <dsal> | Oh yeah, it's Credentials, exported from Network.AWS |
2021-11-27 00:01:45 +0100 | <geekosaur> | make sure you didn't do something like import Network.AWS (Credentials) |
2021-11-27 00:01:54 +0100 | <sm> | dsal: awesome |
2021-11-27 00:01:56 +0100 | <geekosaur> | without the trailing (..) to get its constructors |
2021-11-27 00:02:08 +0100 | <arahael> | I mean, "import Amazonka" works. I guess Amazonka might be doing a re-export. |
2021-11-27 00:02:22 +0100 | <dsal> | I wasn't even aware of Amazonka as a module. |
2021-11-27 00:02:44 +0100 | <arahael> | It's not a re-export. |
2021-11-27 00:02:53 +0100 | <arahael> | https://github.com/brendanhay/amazonka/blob/main/lib/amazonka/src/Amazonka/Auth.hs#L258 |
2021-11-27 00:03:19 +0100 | <arahael> | I guess the method I should use when looking for "Foo.Bar.Baz" is to do a github search instead for "Foo.Bar"? |
2021-11-27 00:03:22 +0100 | <dsal> | Amazonka has a lot of rexports. |
2021-11-27 00:03:33 +0100 | <arahael> | dsal: That's the actual type. |
2021-11-27 00:03:40 +0100 | <dsal> | Sure, but that's not how I got it. |
2021-11-27 00:04:06 +0100 | <dsal> | Unless… did they move everything since the last 2.0 I tried? |
2021-11-27 00:05:05 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
2021-11-27 00:05:09 +0100 | <dsal> | Amazonka exports Credentials it imports from Amazonka.Auth |
2021-11-27 00:05:51 +0100 | <arahael> | So I guess Network.AWS must be re-exporting the Amazonka one. |
2021-11-27 00:06:17 +0100 | <geekosaur> | mm, that error says it's coming from Amazonka.Auth |
2021-11-27 00:06:27 +0100 | <geekosaur> | how are you importing Amazonka? |
2021-11-27 00:06:43 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 00:06:55 +0100 | <arahael> | "import Amazonka". |
2021-11-27 00:07:05 +0100 | <geekosaur> | no list? that seems odd then |
2021-11-27 00:07:06 +0100 | <arahael> | Or rather, I am now. :) |
2021-11-27 00:07:13 +0100 | <geekosaur> | oh |
2021-11-27 00:07:25 +0100 | <arahael> | geekosaur: The question was more: "How do I know that I need to do an Import Amazonka"? |
2021-11-27 00:07:45 +0100 | <arahael> | geekosaur: As opposed to "Import Amazonka.Bazooka". |
2021-11-27 00:07:45 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 250 seconds) |
2021-11-27 00:07:58 +0100 | <arahael> | Or even as dsal thought, "import Network.AWS". |
2021-11-27 00:08:00 +0100 | <geekosaur> | I would look at the type it listed and start drilling down |
2021-11-27 00:08:09 +0100 | <arahael> | geekosaur: Yeah, how would you find that type? :D |
2021-11-27 00:08:10 +0100 | <geekosaur> | Amazonka, then Amazonka.Auth |
2021-11-27 00:08:17 +0100 | <geekosaur> | it's in the error message |
2021-11-27 00:08:26 +0100 | <geekosaur> | "Data Constructor not in scope: Discover :: Amazonka.Auth.Credentials" |
2021-11-27 00:08:32 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-11-27 00:09:05 +0100 | <arahael> | geekosaur: Right, so I've since suggested that maybe the method I need is to chop that last term off, and search for "Amazonka.Auth". |
2021-11-27 00:09:22 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
2021-11-27 00:09:23 +0100 | <arahael> | (Otherwise github will yield zero results) |
2021-11-27 00:09:26 +0100 | <geekosaur> | I'd start from thre other end though, specifically to check for reexports |
2021-11-27 00:09:39 +0100 | <arahael> | geekosaur: You'd search for "Amazonka"? |
2021-11-27 00:09:43 +0100 | <geekosaur> | yes |
2021-11-27 00:09:50 +0100 | <arahael> | That's a lot of github results. |
2021-11-27 00:09:57 +0100 | <geekosaur> | on the assumption that it'd be reexporting the right module already |
2021-11-27 00:10:14 +0100 | <geekosaur> | also I would not simply search github, I would search the source since I'm already targeted |
2021-11-27 00:10:34 +0100 | <arahael> | Ah, "try it and see", import Amazonka, recomiple, if it fails, try "import Amazonka.Auth"? |
2021-11-27 00:10:41 +0100 | <geekosaur> | you presumably know where you got amazonka 2.0 from so look in Amazonka.hs then Amazonka/Auth.hs |
2021-11-27 00:10:46 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds) |
2021-11-27 00:11:00 +0100 | <arahael> | Ah, I see, so actually read the source. |
2021-11-27 00:11:07 +0100 | <dsal> | I think there are good uses for re-exports and bad uses. Just sticking everything everywhere so you can import whatever you want and it'll probably work *seems* kind of bad. |
2021-11-27 00:11:23 +0100 | <dsal> | arahael: heh, that's what I was just doing. Reading source. |
2021-11-27 00:11:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2021-11-27 00:11:35 +0100 | <arahael> | dsal: Now, for the next example... Variable not in scope: getRegion :: ASetter Env a3 a4 Region |
2021-11-27 00:11:50 +0100 | <geekosaur> | it seems weird to do a full github search when you have the source code already |
2021-11-27 00:11:51 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-11-27 00:11:53 +0100 | <dsal> | This environment parser reexports stuff like <=< and optional, so all this code was using Env.<=< and Env.optional which I thought were somehow special. |
2021-11-27 00:12:07 +0100 | <dsal> | arahael: welcome to 2.0 |
2021-11-27 00:12:12 +0100 | <arahael> | dsal: :) |
2021-11-27 00:12:24 +0100 | <arahael> | geekosaur: Well, no, I constrain it to the specific repo, of course. :) |
2021-11-27 00:12:39 +0100 | <geekosaur> | even so. |
2021-11-27 00:13:11 +0100 | <geekosaur> | the error tells you exactly where to start searching, so start searching there instead of poking the whole project |
2021-11-27 00:13:20 +0100 | <dsal> | arahael: newEnv Discover <&> set (field @"envRegion") r |
2021-11-27 00:14:57 +0100 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-11-27 00:15:02 +0100 | <arahael> | dsal: I'm trying to figure out how I would find out that particular incantation, but thanks for that, that also helps. :D |
2021-11-27 00:15:40 +0100 | <dsal> | It's generic lens now. So you have to like, know the name of the field. |
2021-11-27 00:15:45 +0100 | <dsal> | The compiler will tell you when you're wrong. |
2021-11-27 00:16:02 +0100 | <dsal> | So just keep guessing strings until you're right, or find the object and see what fields exist on it and try to guess based on those. |
2021-11-27 00:16:04 +0100 | [itchyjunk] | riphair |
2021-11-27 00:16:55 +0100 | <arahael> | dsal: I've loaded this into ghci: newEnv Discover <&> set _ NorthVirginia -- That does get me the ASetter Env b a0 Region ... Oh, wait, GTG - back in a moment... |
2021-11-27 00:16:58 +0100 | <arahael> | Visitor. |
2021-11-27 00:18:18 +0100 | <[itchyjunk]> | omg, i knew i had the signature wrong |
2021-11-27 00:18:27 +0100 | <[itchyjunk]> | i removed the signature line and it compiled |
2021-11-27 00:18:56 +0100 | <geekosaur> | now ask it for the correct signature |
2021-11-27 00:19:01 +0100 | <geekosaur> | foo :: _ |
2021-11-27 00:19:16 +0100 | <[itchyjunk]> | and now that i :t myFunc, *facepalm* |
2021-11-27 00:19:46 +0100 | <dsal> | arahael: Yeah, the setter is (field @"[field name]") -- I don't think you're going to get a lens hole working there, though I think there might be another module with more explicit things. |
2021-11-27 00:20:06 +0100 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
2021-11-27 00:20:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 00:22:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-11-27 00:22:28 +0100 | <[itchyjunk]> | I have a convoluted question about this : https://bpa.st/6Q4Q |
2021-11-27 00:22:47 +0100 | <[itchyjunk]> | my function `i` does what i want but i have to manually compose it with h |
2021-11-27 00:22:54 +0100 | <[itchyjunk]> | is `j` the best solution to it? |
2021-11-27 00:23:03 +0100 | <[itchyjunk]> | j "this is a test" |
2021-11-27 00:23:03 +0100 | <[itchyjunk]> | ["this","is","a","test"] |
2021-11-27 00:23:09 +0100 | <[itchyjunk]> | j does what i was intending it to do |
2021-11-27 00:24:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-11-27 00:25:01 +0100 | namkeleser | (~namkelese@101.175.102.188) (Quit: Client closed) |
2021-11-27 00:25:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-11-27 00:26:51 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-11-27 00:29:03 +0100 | <[exa]> | [itchyjunk]: so `f` and `g` are take/drop word, h is "one word and rest", i iterates that, right? |
2021-11-27 00:29:17 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-27 00:29:30 +0100 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
2021-11-27 00:30:28 +0100 | <[itchyjunk]> | yes i think so |
2021-11-27 00:30:36 +0100 | <[exa]> | [itchyjunk]: anyway, normally I'd go with `h s = f s:h (g s)`, generating a list of words, which kinda captures the recursion you have there right in the data |
2021-11-27 00:30:45 +0100 | <[itchyjunk]> | f gets the first word, g gets everything but the first word |
2021-11-27 00:30:55 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-11-27 00:31:11 +0100 | <[itchyjunk]> | hmm |
2021-11-27 00:31:44 +0100 | <[exa]> | you might notice that you will have either [] or (head:rest) instead of ([],[]) and (head,rest), which may be a bit more convenient |
2021-11-27 00:31:54 +0100 | max22- | (~maxime@2a01cb0883359800b686e733ae8fbdbc.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-11-27 00:31:56 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
2021-11-27 00:32:01 +0100 | AlexNoo | (~AlexNoo@178.34.162.8) (Ping timeout: 245 seconds) |
2021-11-27 00:32:01 +0100 | Alex_test | (~al_test@178.34.162.8) (Ping timeout: 245 seconds) |
2021-11-27 00:32:08 +0100 | <[exa]> | e.g. you can distinguish between empty word on beginning vs no word on beginning |
2021-11-27 00:32:26 +0100 | AlexZenon | (~alzenon@178.34.162.8) (Ping timeout: 245 seconds) |
2021-11-27 00:32:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
2021-11-27 00:33:03 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
2021-11-27 00:34:29 +0100 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) |
2021-11-27 00:34:30 +0100 | cosimone` | (~user@93-47-228-243.ip115.fastwebnet.it) (Ping timeout: 268 seconds) |
2021-11-27 00:34:55 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
2021-11-27 00:35:15 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3) |
2021-11-27 00:37:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-27 00:37:39 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 00:38:21 +0100 | <[itchyjunk]> | hmm |
2021-11-27 00:38:26 +0100 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-11-27 00:38:52 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 00:40:53 +0100 | emf | (~emf@2620:10d:c090:400::5:acc4) |
2021-11-27 00:42:21 +0100 | emf | (~emf@2620:10d:c090:400::5:acc4) (Client Quit) |
2021-11-27 00:43:22 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 260 seconds) |
2021-11-27 00:45:17 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 00:45:19 +0100 | <[itchyjunk]> | I forgot how to reverse list. the one i am writing compiles but gives me a "Non exhaustive pattern" |
2021-11-27 00:45:21 +0100 | <[itchyjunk]> | https://bpa.st/SEZA |
2021-11-27 00:45:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 00:45:36 +0100 | <[itchyjunk]> | i went through an example [1, 2, 3] and i don't see where it goes wrong |
2021-11-27 00:46:28 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 00:46:39 +0100 | <[itchyjunk]> | last [1] = 1 and init [1] = [] so reverseList (init [1]) = reverseList [] = [] |
2021-11-27 00:46:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 00:48:19 +0100 | <arahael> | dsal: Back. Ok, so basically once I see "ASetter", I should assume "lens", but then how do I know what teh field name should be? |
2021-11-27 00:48:47 +0100 | <arahael> | (Also: Why the @string?) |
2021-11-27 00:49:49 +0100 | <arahael> | dsal: Hmm, using that syntax it says it's illegal, this is using new extensions I'm not familiar with! |
2021-11-27 00:49:58 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-27 00:50:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 00:51:50 +0100 | <dsal> | arahael: That's generic lens. |
2021-11-27 00:52:06 +0100 | <dsal> | DataKinds and TypeApplications |
2021-11-27 00:52:29 +0100 | <arahael> | dsal: I've already got Control.Lens imported. Ah, ok, I'll just enable those extensions then. |
2021-11-27 00:53:16 +0100 | <arahael> | dsal: Somehow feel that I didn't need those extensions before with simple lens stuff. |
2021-11-27 00:53:24 +0100 | <dsal> | No, this is generic lens. |
2021-11-27 00:53:36 +0100 | <dsal> | the generic-lens package |
2021-11-27 00:53:43 +0100 | <dsal> | @hackage generic-lens |
2021-11-27 00:53:43 +0100 | <lambdabot> | https://hackage.haskell.org/package/generic-lens |
2021-11-27 00:53:57 +0100 | <arahael> | Oh! |
2021-11-27 00:54:01 +0100 | namkeleser | (~namkelese@101.175.102.188) (Quit: Client closed) |
2021-11-27 00:54:04 +0100 | <dsal> | field is import Data.Generics.Product (field) |
2021-11-27 00:54:39 +0100 | <dsal> | Instead of TH generating everything you might possibly do at compile time, we just add generics and sort it out when you need it. |
2021-11-27 00:55:05 +0100 | <arahael> | Nice. |
2021-11-27 00:55:50 +0100 | <dsal> | [itchyjunk]: I think you have a typo in that code you pasted. |
2021-11-27 00:55:59 +0100 | <dsal> | Or something... it shouldn't compile |
2021-11-27 00:56:28 +0100 | <arahael> | Ok, seems I need to sort out the versions for generic-lens, will do that later in the arvo. |
2021-11-27 00:56:37 +0100 | <arahael> | dsal: Thanks for your guidance :) |
2021-11-27 00:56:48 +0100 | <dsal> | Yeah, I went through all this on a couple of projects. :) |
2021-11-27 00:57:03 +0100 | <dsal> | Glad that time was more useful than just me playing around. |
2021-11-27 00:57:42 +0100 | MrNobody_0000000 | (~MrNobody@user/mrnobody-0000000/x-9129771) (Ping timeout: 276 seconds) |
2021-11-27 00:57:43 +0100 | <arahael> | Heh. This has taught me a LOT about the haskell package ecosystem, most of it seems quite reasonable, particularly considering 9.2.1 isn't even a "recommended version" yet. |
2021-11-27 00:58:14 +0100 | <dsal> | This is me converting my s3up project to amazonka2: import Data.Generics.Product (field) |
2021-11-27 00:58:16 +0100 | <dsal> | damnit |
2021-11-27 00:58:22 +0100 | <dsal> | https://github.com/dustin/s3up/commit/796f65cc2cc6bb92b1127f35d122972908b7f888 |
2021-11-27 00:59:44 +0100 | <arahael> | Nice. I'm trying to abandon stackage, these days, but that looks helpful! Somehow generic-lens doesn't build for me, but it's probably due to some package conflict or yet another arch-specific bug. |
2021-11-27 01:00:11 +0100 | <dsal> | I'm using stack on nix on M1. If it builds for me, it should build for anyone. |
2021-11-27 01:00:36 +0100 | <arahael> | Which llvm version? |
2021-11-27 01:00:53 +0100 | <dsal> | no clue. heh |
2021-11-27 01:01:00 +0100 | <arahael> | I'm using clang --version: Apple clang version 13.0.0 (clang-1300.0.29.3) |
2021-11-27 01:01:35 +0100 | <dsal> | something between stack and nix figure that out for me. |
2021-11-27 01:01:43 +0100 | <[itchyjunk]> | oh i see the typo |
2021-11-27 01:01:47 +0100 | <[itchyjunk]> | it also compiles |
2021-11-27 01:01:49 +0100 | <[itchyjunk]> | wth? |
2021-11-27 01:02:03 +0100 | <dsal> | I get all these cool errors, though: sqlite-simple > 'apple-a7' is not a recognized processor for this target (ignoring processor) |
2021-11-27 01:02:08 +0100 | <arahael> | It's out of stack's hands. Might be nix, but I thought nix on macos defers to the system xcode because of apple's shenagins. |
2021-11-27 01:02:08 +0100 | <[itchyjunk]> | it doesnt compile after i fix the typo |
2021-11-27 01:02:10 +0100 | <[itchyjunk]> | lmfao |
2021-11-27 01:02:32 +0100 | <dsal> | arahael: It might. *shrug* I just bang on keyboard until it stops fighting back. |
2021-11-27 01:03:20 +0100 | <arahael> | dsal: I'd be very interested to find out, because whilst i do actually have nix installed, I'm generally currently avoiding nix as I find it's sometimes more trouble than it's worth imho in my case. (Especially as most of the time, I'm actually doing iOS dev). |
2021-11-27 01:03:29 +0100 | <arahael> | dsal: And that iOS dev means I tend to be always on the very very latest. :( |
2021-11-27 01:03:56 +0100 | <dsal> | I don't think I'm behind on anything in particular. I like my edges bloody. |
2021-11-27 01:04:00 +0100 | <arahael> | dsal: If you can enter a nix-shell for that project, then type 'clang --version', that would be illuminating. |
2021-11-27 01:04:48 +0100 | <arahael> | dsal: The other problem with nix is that it does not implement --pure on macos. :( |
2021-11-27 01:05:09 +0100 | <arahael> | (So it's difficult to tell if your nix build really is correct or if you're still missing something. :( ) |
2021-11-27 01:05:11 +0100 | <dsal> | I don't even use nix shells... stack manages that. I actually have no clue how all those pieces work. |
2021-11-27 01:05:16 +0100 | <arahael> | Ah. |
2021-11-27 01:05:31 +0100 | <arahael> | Yeah, for me... I started stripping out stack when stack basically fell apart for me. |
2021-11-27 01:06:00 +0100 | <arahael> | stack and nix seems to have a fairly convoluted history for me, especially on nixos. |
2021-11-27 01:06:08 +0100 | <dsal> | I never managed to get a project migrated away from stack because every time I try something annoying gets in the way. I never remember what, so I try again thinking it's going to be easy, but then I don't manage to finish. |
2021-11-27 01:06:31 +0100 | <dsal> | Sure, stack and nix and macos should be the hardest thing to get working, but I am trapped in here. |
2021-11-27 01:09:48 +0100 | <arahael> | It does feel that way. :( |
2021-11-27 01:14:21 +0100 | <[itchyjunk]> | this does what i want other than adding an extra space at the end :( |
2021-11-27 01:14:22 +0100 | <[itchyjunk]> | https://bpa.st/WFKA |
2021-11-27 01:14:59 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 01:15:04 +0100 | <dsal> | @src intercalate |
2021-11-27 01:15:04 +0100 | <lambdabot> | intercalate xs xss = concat (intersperse xs xss) |
2021-11-27 01:15:19 +0100 | <dsal> | There, now you're smarter. heh |
2021-11-27 01:15:22 +0100 | <dsal> | @src intersperse |
2021-11-27 01:15:22 +0100 | <lambdabot> | intersperse _ [] = [] |
2021-11-27 01:15:22 +0100 | <lambdabot> | intersperse _ [x] = [x] |
2021-11-27 01:15:22 +0100 | <lambdabot> | intersperse sep (x:xs) = x : sep : intersperse sep xs |
2021-11-27 01:15:31 +0100 | <[itchyjunk]> | i knew concat was a keyword, i tried using that and got in trouble |
2021-11-27 01:15:31 +0100 | <dsal> | Yeah, that makes sense. |
2021-11-27 01:15:37 +0100 | <dsal> | It's not a keyword. |
2021-11-27 01:15:44 +0100 | <[itchyjunk]> | hmm |
2021-11-27 01:15:48 +0100 | <dsal> | :t concat |
2021-11-27 01:15:49 +0100 | <lambdabot> | Foldable t => t [a] -> [a] |
2021-11-27 01:15:59 +0100 | <dsal> | It's just a function. A less generic fold. |
2021-11-27 01:16:00 +0100 | <dsal> | :t fold |
2021-11-27 01:16:01 +0100 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
2021-11-27 01:16:17 +0100 | <[itchyjunk]> | oh yeah i guess keyword is the wrong term |
2021-11-27 01:16:20 +0100 | <[itchyjunk]> | reverved word? |
2021-11-27 01:16:23 +0100 | <dsal> | nope |
2021-11-27 01:16:27 +0100 | <dsal> | It's just a function |
2021-11-27 01:16:31 +0100 | <dsal> | from a library |
2021-11-27 01:16:35 +0100 | <[itchyjunk]> | what do you call it when a string is already taken? |
2021-11-27 01:16:41 +0100 | <geekosaur> | just a convenient predefined function |
2021-11-27 01:16:46 +0100 | <[itchyjunk]> | "concat" is already taken |
2021-11-27 01:16:48 +0100 | <dsal> | a namespace collision? |
2021-11-27 01:16:50 +0100 | <[itchyjunk]> | just like "if" |
2021-11-27 01:16:55 +0100 | <[itchyjunk]> | hmmm |
2021-11-27 01:16:55 +0100 | <dsal> | if is a reserved word |
2021-11-27 01:17:01 +0100 | <geekosaur> | if is a keyword. concat is a predefined function |
2021-11-27 01:17:26 +0100 | <[itchyjunk]> | i didn't realize reserved word and namespace collision weren't more or less the same. |
2021-11-27 01:17:32 +0100 | <geekosaur> | you can redefine it in your code if you don't want the original (or are okay with saying Prelude.concat) |
2021-11-27 01:17:36 +0100 | <[itchyjunk]> | i guess reserved word is stronger condition |
2021-11-27 01:17:37 +0100 | <dsal> | > let concat x = "with cat" in concat ["this", "list", "of", "things"] |
2021-11-27 01:17:39 +0100 | <lambdabot> | "with cat" |
2021-11-27 01:18:14 +0100 | <geekosaur> | you can't redefine "if" in the same way |
2021-11-27 01:18:16 +0100 | <[itchyjunk]> | ah i can override inbuilt (?) functions |
2021-11-27 01:18:21 +0100 | <[itchyjunk]> | right, makes sense |
2021-11-27 01:18:34 +0100 | <dsal> | It's just a library function. Much less special than you think. :) |
2021-11-27 01:18:42 +0100 | <[itchyjunk]> | i think i'll count my solution as valid (even though it has that extra " " at the end) |
2021-11-27 01:18:47 +0100 | <dsal> | Prelude dumps a bunch of those into your namespace by default. |
2021-11-27 01:18:51 +0100 | <geekosaur> | Haskell provides a bunch of predefined functions in the Prelude |
2021-11-27 01:18:55 +0100 | <dsal> | Did you see what intersperse does? |
2021-11-27 01:19:20 +0100 | <[itchyjunk]> | i didn't understand it :s |
2021-11-27 01:19:43 +0100 | <dsal> | Well, the important part is that it just has an extra special case which you're missing. |
2021-11-27 01:20:16 +0100 | <dsal> | > intercalate "," (words "insert commas here") |
2021-11-27 01:20:17 +0100 | <lambdabot> | "insert,commas,here" |
2021-11-27 01:20:38 +0100 | <dsal> | It avoids the one on the end by special case. |
2021-11-27 01:21:21 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2021-11-27 01:21:29 +0100 | <[itchyjunk]> | ah |
2021-11-27 01:23:38 +0100 | <[itchyjunk]> | i too inspiration from it and added a special case |
2021-11-27 01:23:45 +0100 | <[itchyjunk]> | concatation (x:[]) = x |
2021-11-27 01:23:56 +0100 | <[itchyjunk]> | hurrah! \o/ |
2021-11-27 01:23:58 +0100 | <dsal> | (x:[]) == [x] |
2021-11-27 01:24:02 +0100 | dpratt__ | (sid193493@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:24:02 +0100 | rune | (sid21167@ilkley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:24:30 +0100 | zzz | zero |
2021-11-27 01:24:32 +0100 | kaizen | (sid501599@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:24:32 +0100 | iphy | (sid67735@lymington.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:24:32 +0100 | degraafk | (sid71464@lymington.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:25:02 +0100 | NemesisD | (sid24071@lymington.irccloud.com) (Ping timeout: 265 seconds) |
2021-11-27 01:25:18 +0100 | <[itchyjunk]> | hmm |
2021-11-27 01:25:52 +0100 | <dsal> | > (x:[]) |
2021-11-27 01:25:53 +0100 | <lambdabot> | [x] |
2021-11-27 01:25:56 +0100 | <[itchyjunk]> | right, its saying if the list only has 1 element left, don't add " " to it |
2021-11-27 01:26:00 +0100 | <dsal> | lambdabot agrees. |
2021-11-27 01:26:12 +0100 | <[itchyjunk]> | i agree too, i think |
2021-11-27 01:26:32 +0100 | conjunctive | (sid433686@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:26:32 +0100 | hubvu | (sid495858@user/hubvu) (Ping timeout: 240 seconds) |
2021-11-27 01:26:32 +0100 | _0x47_ | (sid508683@tinside.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:26:32 +0100 | grfn | (sid449115@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:26:32 +0100 | parseval | (sid239098@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:26:32 +0100 | gregberns__ | (sid315709@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:26:54 +0100 | kaizen | (sid501599@id-501599.helmsley.irccloud.com) |
2021-11-27 01:26:59 +0100 | ephemient | (uid407513@lymington.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:00 +0100 | tritlo | (sid58727@user/tritlo) (Read error: Connection reset by peer) |
2021-11-27 01:27:01 +0100 | Adeon | (sid418992@lymington.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:01 +0100 | hubvu | (sid495858@user/hubvu) |
2021-11-27 01:27:02 +0100 | angerman | (sid209936@ilkley.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:02 +0100 | kristjansson_ | (sid126207@tinside.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:27:03 +0100 | ehamberg | (sid18208@hampstead.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:07 +0100 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) |
2021-11-27 01:27:09 +0100 | teehemkay_ | (sid14792@lymington.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:11 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
2021-11-27 01:27:11 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
2021-11-27 01:27:11 +0100 | tritlo | (sid58727@user/tritlo) |
2021-11-27 01:27:11 +0100 | grfn | (sid449115@id-449115.helmsley.irccloud.com) |
2021-11-27 01:27:11 +0100 | ephemient | (uid407513@id-407513.lymington.irccloud.com) |
2021-11-27 01:27:12 +0100 | rune | (sid21167@id-21167.ilkley.irccloud.com) |
2021-11-27 01:27:13 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
2021-11-27 01:27:13 +0100 | angerman | (sid209936@id-209936.ilkley.irccloud.com) |
2021-11-27 01:27:14 +0100 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) |
2021-11-27 01:27:15 +0100 | ehamberg | (sid18208@id-18208.hampstead.irccloud.com) |
2021-11-27 01:27:16 +0100 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
2021-11-27 01:27:18 +0100 | dpratt__ | (sid193493@id-193493.helmsley.irccloud.com) |
2021-11-27 01:27:27 +0100 | awpr | (uid446117@lymington.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:32 +0100 | meinside | (uid24933@helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2021-11-27 01:27:34 +0100 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
2021-11-27 01:27:36 +0100 | awpr | (uid446117@id-446117.lymington.irccloud.com) |
2021-11-27 01:27:38 +0100 | whez | (sid470288@lymington.irccloud.com) (Read error: Connection reset by peer) |
2021-11-27 01:27:45 +0100 | whez | (sid470288@id-470288.lymington.irccloud.com) |
2021-11-27 01:27:48 +0100 | _0x47_ | (sid508683@id-508683.tinside.irccloud.com) |
2021-11-27 01:28:11 +0100 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
2021-11-27 01:30:18 +0100 | <zero> | when to go for haskell vs for idris? |
2021-11-27 01:30:21 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2021-11-27 01:30:48 +0100 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
2021-11-27 01:31:36 +0100 | obviyus | (sid415299@user/obviyus) (Ping timeout: 245 seconds) |
2021-11-27 01:32:02 +0100 | mcfilib | (sid302703@user/mcfilib) (Ping timeout: 240 seconds) |
2021-11-27 01:32:26 +0100 | astra` | (sid289983@user/amish) (Ping timeout: 245 seconds) |
2021-11-27 01:32:26 +0100 | dsal | (sid13060@lymington.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:32:26 +0100 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 245 seconds) |
2021-11-27 01:32:26 +0100 | taktoa[c] | (sid282096@tinside.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:32:26 +0100 | hamishmack_ | (sid389057@hampstead.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:32:51 +0100 | jmct_ | (sid160793@tinside.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:32:51 +0100 | joel135 | (sid136450@hampstead.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:33:16 +0100 | pjlsergeant | (sid143467@hampstead.irccloud.com) (Ping timeout: 245 seconds) |
2021-11-27 01:33:16 +0100 | amir | (sid22336@user/amir) (Ping timeout: 245 seconds) |
2021-11-27 01:33:19 +0100 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) |
2021-11-27 01:33:25 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
2021-11-27 01:33:31 +0100 | obviyus | (sid415299@user/obviyus) |
2021-11-27 01:34:07 +0100 | amir | (sid22336@user/amir) |
2021-11-27 01:34:10 +0100 | astra` | (sid289983@user/amish) |
2021-11-27 01:34:11 +0100 | mcfilib | (sid302703@user/mcfilib) |
2021-11-27 01:34:30 +0100 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
2021-11-27 01:36:12 +0100 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
2021-11-27 01:36:35 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
2021-11-27 01:36:49 +0100 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) |
2021-11-27 01:37:20 +0100 | hook54321 | (sid149355@user/hook54321) |
2021-11-27 01:39:35 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:6057:883c:398d:9dbd) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-27 01:40:18 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 260 seconds) |
2021-11-27 01:41:19 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-11-27 01:41:42 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
2021-11-27 01:50:55 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-11-27 01:51:15 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 01:51:37 +0100 | <EvanR> | zero, haskell, probably xD |
2021-11-27 01:53:01 +0100 | <EvanR> | so record fields get used in 4 ways all of which are affected by extensions... fields generate field selector functions for getting, fields are used in initial record construction, fields are used in pattern matching, and fields are used in update syntax |
2021-11-27 01:53:16 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
2021-11-27 01:53:23 +0100 | <EvanR> | what was the good, the bad, and the very bad wrt Wildcards again xD |
2021-11-27 01:53:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-27 01:53:47 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-11-27 01:55:23 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-27 01:56:05 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
2021-11-27 01:56:10 +0100 | mmhat | (~mmh@55d426e2.access.ecotel.net) (Quit: WeeChat 3.3) |
2021-11-27 01:58:15 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) |
2021-11-27 01:59:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-11-27 01:59:16 +0100 | <EvanR> | because it seems pretty spiffy on construction |
2021-11-27 01:59:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
2021-11-27 02:01:12 +0100 | renzhi | (~xp@2607:fa49:6500:b100::5cef) |
2021-11-27 02:02:23 +0100 | <geekosaur> | dminuoso didn't like its use in patterns because it'[s unhygienic, but liked use in construction |
2021-11-27 02:03:04 +0100 | <geekosaur> | (and I couldn't find that in scrollback because I spelled "unhygienic" correctly…) |
2021-11-27 02:03:41 +0100 | <EvanR> | what does that mean again |
2021-11-27 02:04:10 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-27 02:04:40 +0100 | <geekosaur> | (silently) pollutes the namespace |
2021-11-27 02:05:08 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-11-27 02:05:39 +0100 | <monochrom> | Consider foo Sum{..} = getSum + 1 |
2021-11-27 02:06:19 +0100 | <EvanR> | oh yeah, that's weird |
2021-11-27 02:06:38 +0100 | <EvanR> | now I feel bad using in construction again |
2021-11-27 02:06:45 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-11-27 02:06:58 +0100 | <geekosaur> | construction is fine, the namespace it would be "polluting" is that of fields |
2021-11-27 02:07:09 +0100 | <geekosaur> | it's when it pollutes the bindings namespace that things get weird |
2021-11-27 02:07:55 +0100 | <geekosaur> | that is, you still control the bindings during construction. wildcards *consume* part of your namespace in oatterns |
2021-11-27 02:08:04 +0100 | <geekosaur> | *patterns |
2021-11-27 02:10:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-11-27 02:13:04 +0100 | <geekosaur> | moreover, almost always your pattern in construction is something like let {field1 = …; field2 = …; …} in Record(..) (or where equivalent) so you can see which names are in use. with pattern wildcards you have to go hunt down the data definition to see what it's shoving into your bindings |
2021-11-27 02:14:04 +0100 | <geekosaur> | granting that a good editor/IDE would let you mouseover the wildcard and see that, you shouldn't need to |
2021-11-27 02:15:55 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:16:06 +0100 | <EvanR> | yeah, since the bindings originate at that spot but aren't visible anywhere close sucks |
2021-11-27 02:16:24 +0100 | <EvanR> | unlike e.g. imports which originate at the import itself |
2021-11-27 02:16:35 +0100 | <ozzloy> | https://paste.tomsmeding.com/NC7mkLIe how do i do multiple clauses in a helper function defined in a where clause? |
2021-11-27 02:16:50 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-11-27 02:16:55 +0100 | <ozzloy> | line 18 shows the error i'm getting |
2021-11-27 02:17:16 +0100 | <EvanR> | helper 0 _:_ _ = Nothing |
2021-11-27 02:17:20 +0100 | <EvanR> | you need parens around _:_ |
2021-11-27 02:17:25 +0100 | <geekosaur> | your problem is you're missing parentheses around : |
2021-11-27 02:17:36 +0100 | <ozzloy> | ah |
2021-11-27 02:17:41 +0100 | <geekosaur> | so it thinks you're defining : and helper is a syntax error |
2021-11-27 02:17:57 +0100 | <geekosaur> | same thing on the next line also |
2021-11-27 02:18:31 +0100 | <ozzloy> | oh, also the code is wrong |
2021-11-27 02:18:41 +0100 | <ozzloy> | thanks for the help |
2021-11-27 02:18:47 +0100 | <ozzloy> | geekosaur, and EvanR |
2021-11-27 02:19:09 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:19:11 +0100 | <ozzloy> | i basically coded up takeMaybe instead of split |
2021-11-27 02:20:12 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2021-11-27 02:20:41 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:21:06 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 265 seconds) |
2021-11-27 02:21:11 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:21:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 02:21:27 +0100 | <EvanR> | split is a good one |
2021-11-27 02:21:59 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2021-11-27 02:22:39 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:23:11 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:24:42 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:25:09 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:26:37 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:26:48 +0100 | Guest4609 | (~cat@user/sudden) (Ping timeout: 256 seconds) |
2021-11-27 02:27:08 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:27:12 +0100 | sudden | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) |
2021-11-27 02:27:36 +0100 | sudden | Guest6872 |
2021-11-27 02:28:37 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:29:19 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 02:30:27 +0100 | <ozzloy> | https://paste.tomsmeding.com/rsu9GWol now i'm trying to construct an infinite type? |
2021-11-27 02:30:49 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:31:27 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:31:27 +0100 | <ozzloy> | i want to grab the first list out of accumulator, and make a new accumulator that has x at the front of that list, then put that new list and the remaining lists from the original accumulator into the accumulator for the next recursion |
2021-11-27 02:31:51 +0100 | <EvanR> | elper 0 (x:xs) (a:as) = helper n xs ([x]:as) looks suspicious |
2021-11-27 02:31:58 +0100 | <dsal> | infinite type is suggesting you're trying to have a type that's an `a` and a `[a]` at the same time |
2021-11-27 02:31:58 +0100 | <EvanR> | are you sure you don't mean (x:as) |
2021-11-27 02:32:16 +0100 | <EvanR> | where x is an item, as is a list |
2021-11-27 02:32:27 +0100 | <ozzloy> | oh, yeah, i actually just changed that one |
2021-11-27 02:32:42 +0100 | <ozzloy> | er... |
2021-11-27 02:32:58 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:33:20 +0100 | <ozzloy> | so line 16, i want to create a new list |
2021-11-27 02:33:27 +0100 | <ozzloy> | in the accumulator |
2021-11-27 02:33:58 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:34:07 +0100 | <ozzloy> | the accumulator is a list of lists... so i think when n is 0, but there are still more elements in x, that means start a new inner list in the list of lists |
2021-11-27 02:34:14 +0100 | <ozzloy> | maybe that's off-by-one? |
2021-11-27 02:34:30 +0100 | <dsal> | Off by one won't give you a type error. |
2021-11-27 02:35:03 +0100 | <ozzloy> | true, i agree. i was thinking maybe there was also a semantic error |
2021-11-27 02:35:08 +0100 | <EvanR> | you start a new list regardless it looks like |
2021-11-27 02:35:12 +0100 | <EvanR> | on 15 and 16 |
2021-11-27 02:35:23 +0100 | <EvanR> | maybe you want to append to the list on 15 |
2021-11-27 02:35:29 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:35:30 +0100 | <ozzloy> | oh, i should renew the code |
2021-11-27 02:36:18 +0100 | <ozzloy> | https://paste.tomsmeding.com/LbovQ5hn |
2021-11-27 02:36:25 +0100 | <ozzloy> | still infinite type error |
2021-11-27 02:36:31 +0100 | <ozzloy> | i'm asking something to be a and [a] |
2021-11-27 02:36:40 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 02:37:06 +0100 | <EvanR> | what I was talking about is still there on 15 and 16 |
2021-11-27 02:37:45 +0100 | <EvanR> | as appears to be full of singleton lists xD |
2021-11-27 02:37:50 +0100 | <ozzloy> | ah, then that must be what i'm not understanding! |
2021-11-27 02:38:10 +0100 | <dsal> | (a:as) is taking an `a` out of a list of `as` and you're later doing `([x:a]:as)` which makes a new list that includes `a` and putting it in `as`. |
2021-11-27 02:38:10 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:38:54 +0100 | <dsal> | > let f (x:xs) = [x]:xs in f "not possible" |
2021-11-27 02:38:56 +0100 | <lambdabot> | error: |
2021-11-27 02:38:58 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: a ~ [a] |
2021-11-27 02:39:00 +0100 | <lambdabot> | Expected type: [[a]] |
2021-11-27 02:39:19 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:39:51 +0100 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-11-27 02:40:09 +0100 | <EvanR> | specifically make sure you know what [x:a]:as means before you insist on trying it xD |
2021-11-27 02:40:26 +0100 | <ozzloy> | so ... i'd like for the accumulator to be a list of lists. i'd like to grab the first of those inner lists and cons x onto it, then make a new accumulator that is a list with members including that newly created list, and all the other lists the accumulator used to have |
2021-11-27 02:40:48 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:40:50 +0100 | <EvanR> | to cons use : |
2021-11-27 02:41:01 +0100 | <EvanR> | to make a singleton list of x, use [x] |
2021-11-27 02:41:05 +0100 | <EvanR> | or x:[] |
2021-11-27 02:41:27 +0100 | <dsal> | > ['a',b']:[] |
2021-11-27 02:41:29 +0100 | <lambdabot> | error: |
2021-11-27 02:41:29 +0100 | <lambdabot> | • Variable not in scope: b' :: Char |
2021-11-27 02:41:29 +0100 | <lambdabot> | • Perhaps you meant one of these: |
2021-11-27 02:41:37 +0100 | <dsal> | > ['a','b']:[] |
2021-11-27 02:41:38 +0100 | <lambdabot> | ["ab"] |
2021-11-27 02:41:50 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:42:18 +0100 | <dsal> | chars always muddy the water... But when you do that, you're making each element in the list be a list. |
2021-11-27 02:42:31 +0100 | <EvanR> | > [0:[1,2]]:[[3,4,5], [6,7,8]] -- this what you're trying to do right now it seems |
2021-11-27 02:42:32 +0100 | <lambdabot> | error: |
2021-11-27 02:42:32 +0100 | <lambdabot> | • No instance for (Num [Integer]) |
2021-11-27 02:42:32 +0100 | <lambdabot> | arising from a use of ‘e_1012345678’ |
2021-11-27 02:42:34 +0100 | <ozzloy> | so for line 15 |
2021-11-27 02:42:53 +0100 | <EvanR> | it's wrong but don't worry about the reason lambdabot gave xD |
2021-11-27 02:43:03 +0100 | <EvanR> | numbers can't be lists normally |
2021-11-27 02:43:18 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:43:24 +0100 | <ozzloy> | my intent is: x is a single element, a is the first list in the list of lists |
2021-11-27 02:43:31 +0100 | <EvanR> | yeah I got that |
2021-11-27 02:43:36 +0100 | <ozzloy> | xs is all the remaining elements |
2021-11-27 02:43:38 +0100 | <EvanR> | I just don't wanna solve it for you xD |
2021-11-27 02:43:46 +0100 | <ozzloy> | that makes sense |
2021-11-27 02:44:09 +0100 | <ozzloy> | hopefully i can explain what i'm thinking and maybe it's just a syntactical thing |
2021-11-27 02:44:19 +0100 | <EvanR> | yeah sounds like it |
2021-11-27 02:44:23 +0100 | <ozzloy> | or maybe it's a thinking error |
2021-11-27 02:44:24 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:44:28 +0100 | namkeleser | (~namkelese@101.175.102.188) (Quit: Client closed) |
2021-11-27 02:44:35 +0100 | <EvanR> | no you just typed the wrong code xD |
2021-11-27 02:44:41 +0100 | <ozzloy> | ... |
2021-11-27 02:45:01 +0100 | <dsal> | `([x:a]:as)` is kind of weird. If you read what that does, you might realize it's probably not what you meat. |
2021-11-27 02:45:09 +0100 | <EvanR> | on 15 you introduced a new set of [ ] |
2021-11-27 02:45:16 +0100 | <EvanR> | inappropriate |
2021-11-27 02:45:26 +0100 | <dsal> | NSFW |
2021-11-27 02:45:54 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:46:24 +0100 | <ozzloy> | ok, let's say x = 1, a = 2, as = [3,4]. does ([x:a]:as) = [1,2,3,4]? |
2021-11-27 02:46:35 +0100 | <EvanR> | now a is not a list |
2021-11-27 02:46:35 +0100 | <dsal> | ask lambdabot |
2021-11-27 02:46:41 +0100 | <EvanR> | you can't cons onto it |
2021-11-27 02:46:46 +0100 | <ozzloy> | i know, i'm asking about the syntax |
2021-11-27 02:46:48 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:46:50 +0100 | <ozzloy> | oh right |
2021-11-27 02:46:59 +0100 | <dsal> | > let x = 1; a = 2; as = [3,4] in ([x:a]:as) |
2021-11-27 02:47:00 +0100 | <lambdabot> | error: |
2021-11-27 02:47:00 +0100 | <lambdabot> | • No instance for (Num [[Integer]]) arising from a use of ‘e_11234’ |
2021-11-27 02:47:01 +0100 | <lambdabot> | • In the expression: e_11234 |
2021-11-27 02:47:06 +0100 | <dsal> | well, nevermind. Don't ask lambdabot |
2021-11-27 02:47:15 +0100 | <EvanR> | yeah, shut up lambdabot |
2021-11-27 02:47:20 +0100 | <EvanR> | sorry lambdabot |
2021-11-27 02:47:23 +0100 | <EvanR> | @botsnack |
2021-11-27 02:47:23 +0100 | <lambdabot> | :) |
2021-11-27 02:47:27 +0100 | <ozzloy> | ok, so let's say x = 1, a = [], as = [3,4], does ([x:a]:as) = [1,3,4] ? |
2021-11-27 02:47:47 +0100 | <ozzloy> | > let x = 1; a = []; as = [3,4] in ([x:a]:as) |
2021-11-27 02:47:48 +0100 | <lambdabot> | error: |
2021-11-27 02:47:48 +0100 | <lambdabot> | • No instance for (Num [[Integer]]) arising from a use of ‘e_1134’ |
2021-11-27 02:47:48 +0100 | <lambdabot> | • In the expression: e_1134 |
2021-11-27 02:47:54 +0100 | <EvanR> | work it out yourself |
2021-11-27 02:48:18 +0100 | <EvanR> | [x:a]:as ===> [[1]]:as |
2021-11-27 02:48:18 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:48:20 +0100 | <EvanR> | etc |
2021-11-27 02:48:22 +0100 | <dsal> | What type is [x:a] ? |
2021-11-27 02:49:09 +0100 | <ozzloy> | if x = 1, a = [], then [x:a] = [[1]], so list of list of int... so i have extraneous []? |
2021-11-27 02:49:26 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:49:27 +0100 | <EvanR> | [[1]] won't fit into [3,4] |
2021-11-27 02:49:33 +0100 | <EvanR> | not a number |
2021-11-27 02:49:36 +0100 | <dsal> | You've gone too far. |
2021-11-27 02:49:53 +0100 | <dsal> | What's the easiest way to shed the extra [ and ] ? |
2021-11-27 02:49:55 +0100 | <ozzloy> | ok, so now i have ((x:a):as) and it type checks |
2021-11-27 02:49:57 +0100 | jkaye | (~jkaye@2601:281:8300:7530:968d:4a00:8e7b:fc05) |
2021-11-27 02:50:04 +0100 | <dsal> | You don't need those parens, but yeah. |
2021-11-27 02:50:15 +0100 | <EvanR> | > 0:1:2:3:4:[] |
2021-11-27 02:50:16 +0100 | <lambdabot> | [0,1,2,3,4] |
2021-11-27 02:50:34 +0100 | <ozzloy> | but i want accumulator to be a list of lists of integers |
2021-11-27 02:50:48 +0100 | <EvanR> | your example didn't have that |
2021-11-27 02:50:58 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:51:43 +0100 | <EvanR> | or in the words of linus torvalds, if it compiles, ship it (paraphrased) |
2021-11-27 02:51:44 +0100 | <ozzloy> | sorry, i should have been more clear earlier when i was giving values to x, a, and as. i was asking syntax questions, not specifically about x, a, and as in the problem |
2021-11-27 02:52:03 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:52:07 +0100 | <ozzloy> | for the problem, i expect x to be an integer, a to be a list of integers, and as to be a list of lists of integers |
2021-11-27 02:52:20 +0100 | <dsal> | OK, then try it that way. :) |
2021-11-27 02:53:03 +0100 | <EvanR> | write down every expression in sight with the type you think it has, then verify |
2021-11-27 02:53:11 +0100 | <ozzloy> | so i want x:a to be a list of integers, and to put that list of integers onto as. |
2021-11-27 02:53:13 +0100 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-27 02:53:34 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:53:56 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 02:53:56 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 02:53:56 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 02:54:07 +0100 | <ozzloy> | > let x = 1; a = []; as = [] in x:a:as |
2021-11-27 02:54:08 +0100 | <lambdabot> | error: |
2021-11-27 02:54:08 +0100 | <lambdabot> | • No instance for (Num [()]) arising from a use of ‘e_11’ |
2021-11-27 02:54:08 +0100 | <lambdabot> | • In the expression: e_11 |
2021-11-27 02:54:12 +0100 | <EvanR> | bzzz |
2021-11-27 02:54:28 +0100 | <hololeap> | % :i (:) |
2021-11-27 02:54:28 +0100 | <yahb> | hololeap: type [] :: * -> *; data [] a = ... | a : [a]; -- Defined in `GHC.Types'; infixr 5 : |
2021-11-27 02:54:45 +0100 | <EvanR> | your x:a:as was parsed as x:(a:as) |
2021-11-27 02:54:46 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:54:47 +0100 | <dsal> | My irc client rendered that code with a giant red box with an A on it. |
2021-11-27 02:54:58 +0100 | <ozzloy> | > let x = 1; a = []; as = [] in (x:a):as |
2021-11-27 02:54:59 +0100 | <lambdabot> | [[1]] |
2021-11-27 02:55:05 +0100 | <EvanR> | \o/ |
2021-11-27 02:55:16 +0100 | <ozzloy> | great |
2021-11-27 02:55:21 +0100 | <hololeap> | that infixr 5 means (:) is right-associative |
2021-11-27 02:55:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-11-27 02:55:34 +0100 | <hololeap> | so a:b:c == a:(b:c) |
2021-11-27 02:55:34 +0100 | <ozzloy> | so ... what are the words i could have searched that pertain to this? |
2021-11-27 02:56:09 +0100 | <EvanR> | just trying stuff like let x = 1; a = []; as = [] in (x:a):as in ghci helps me at least |
2021-11-27 02:56:19 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:56:21 +0100 | <EvanR> | sanity checks |
2021-11-27 02:56:22 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2021-11-27 02:56:42 +0100 | <hololeap> | hm, associativity of infix operators? |
2021-11-27 02:56:55 +0100 | <ozzloy> | i feel like "figure it out" doesn't really apply here. the syntax for expressing that idea _could_ have been different. how would i reason my way to figuring it out? |
2021-11-27 02:56:59 +0100 | <hololeap> | and how to check them using ghci |
2021-11-27 02:57:09 +0100 | <hololeap> | that's one thing you could search for |
2021-11-27 02:57:10 +0100 | <EvanR> | the precedence of : didn't really come up until the very end |
2021-11-27 02:57:16 +0100 | <EvanR> | the first issue was putting too many [ ] |
2021-11-27 02:57:29 +0100 | <dsal> | ozzloy: It helps to have an understanding of the infinite type error. It's not the most user friendly thing because what it means and what causes it are often seemingly unrelated. |
2021-11-27 02:57:32 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 02:58:14 +0100 | <EvanR> | "infinite type error" does lead you to stuff you can technically read xD |
2021-11-27 02:58:26 +0100 | <ozzloy> | it also sounds neat |
2021-11-27 02:58:33 +0100 | <EvanR> | it's pretty neat |
2021-11-27 02:58:34 +0100 | <dsal> | Yeah, a lot of the results seem to be "you probably just made this mistake" |
2021-11-27 02:58:46 +0100 | <ozzloy> | "what are you working on?" "oh, just got an infinite type error. nothing i can't handle." |
2021-11-27 02:58:56 +0100 | <dsal> | > let f (x:xs) = [x]:xs in f "not possible" -- this is a simple case |
2021-11-27 02:58:57 +0100 | ozzloy | puts on sunglasses |
2021-11-27 02:58:58 +0100 | <lambdabot> | error: |
2021-11-27 02:58:58 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: a ~ [a] |
2021-11-27 02:58:58 +0100 | <lambdabot> | Expected type: [[a]] |
2021-11-27 02:59:03 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 02:59:14 +0100 | <EvanR> | it's an infinite type error because the type checker saw you tried to put [a] into itself |
2021-11-27 02:59:26 +0100 | <EvanR> | kind of like "put bag in bag" in old MUD servers |
2021-11-27 02:59:32 +0100 | <EvanR> | which potentially crashes the server |
2021-11-27 02:59:45 +0100 | <dsal> | GHC is just a mud server with that bug fixed. |
2021-11-27 02:59:49 +0100 | <EvanR> | ^ |
2021-11-27 03:00:04 +0100 | <dsal> | Nobody's ever thinking type theory when they write that bug, though. |
2021-11-27 03:00:13 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:00:32 +0100 | <EvanR> | a = [a] = [[a]] = [[[a]]] = ... |
2021-11-27 03:00:38 +0100 | <EvanR> | wall of mirrors |
2021-11-27 03:00:55 +0100 | <dsal> | It's usually making a type that recurses on itself infinitely like your list, or leaving off a function argument or something. |
2021-11-27 03:01:21 +0100 | <dsal> | "You made a dumb mistake, but I'll try to make you sound smart with this error." -- GHC |
2021-11-27 03:01:45 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:02:57 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:03:07 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-27 03:03:24 +0100 | exbios | (~ri@2806:2f0:90a0:876c:3f02:6e97:3cf3:656) |
2021-11-27 03:04:27 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:05:40 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:07:11 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:08:19 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:09:17 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2021-11-27 03:09:49 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:09:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 03:11:17 +0100 | <Square> | Anyone got a good approach removing unused imports from a semi large project? |
2021-11-27 03:11:27 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:12:58 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:14:16 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:14:32 +0100 | notzmv | (~zmv@user/notzmv) |
2021-11-27 03:15:48 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:17:14 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:18:45 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:20:14 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 03:21:47 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:22:52 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-11-27 03:23:02 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:24:33 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:24:55 +0100 | <dsal> | Turn on warnings and put on a movie. |
2021-11-27 03:25:51 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:25:56 +0100 | zebrag | (~chris@user/zebrag) |
2021-11-27 03:26:02 +0100 | jkaye | (~jkaye@2601:281:8300:7530:968d:4a00:8e7b:fc05) (Ping timeout: 240 seconds) |
2021-11-27 03:27:24 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:28:40 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:30:07 +0100 | <EvanR> | isn't that something handled by an IDE? |
2021-11-27 03:30:12 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:31:30 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:33:01 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:34:26 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 03:35:08 +0100 | <Square> | EvanR, idk really know how well my vscode + haskell-language-server setup is, but if the function is there. Its well hidden |
2021-11-27 03:35:58 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 03:37:07 +0100 | <hololeap> | it underlines the unused imports as a warning in my IDE, but it might be because I have ghc-options: -Wall in my cabal file |
2021-11-27 03:37:29 +0100 | xff0x | (~xff0x@2001:1a81:53bb:9600:5031:992:22e6:cca9) (Ping timeout: 250 seconds) |
2021-11-27 03:38:15 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
2021-11-27 03:39:34 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:f84d:9d7f:7b09:bb62) |
2021-11-27 03:39:52 +0100 | <hololeap> | there is also -Wunused-packages, although it seems a bit unreliable |
2021-11-27 03:40:54 +0100 | <hololeap> | it seems like it will spit out a different list of unused packages at different times during the compilation process |
2021-11-27 03:42:29 +0100 | Cajun | (~Cajun@user/cajun) |
2021-11-27 03:43:06 +0100 | <hololeap> | that particular warning has no location info so you only see it when you build your project |
2021-11-27 03:45:56 +0100 | <hololeap> | it would be cool if it gave location info inside your .cabal file, but alas |
2021-11-27 03:46:42 +0100 | <hololeap> | I'm still on GHC 8.10 so I dunno if that's been improved at all |
2021-11-27 03:48:17 +0100 | <hololeap> | I assume it would require more communication between GHC and cabal to have that kind of functionality |
2021-11-27 03:49:06 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-11-27 03:50:30 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3) |
2021-11-27 03:52:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 03:52:08 +0100 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-11-27 03:56:54 +0100 | matijja | (~matijja@193.77.181.201) |
2021-11-27 03:58:57 +0100 | <hololeap> | I've been seeing a lot of these kind of errors as packages work their way toward GHC 9.2. what was the breaking change? |
2021-11-27 03:59:01 +0100 | <hololeap> | Couldn't match expected type ‘Word#’ with actual type ‘Word16#’ |
2021-11-27 03:59:12 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-11-27 04:02:22 +0100 | ubert1 | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-27 04:02:30 +0100 | slice | (~slice@user/slice) (Quit: cya) |
2021-11-27 04:04:02 +0100 | ubert | (~Thunderbi@p200300ecdf0ba285e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-27 04:04:02 +0100 | ubert1 | ubert |
2021-11-27 04:11:00 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2021-11-27 04:14:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 04:15:31 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-11-27 04:22:59 +0100 | td_ | (~td@94.134.91.33) (Ping timeout: 250 seconds) |
2021-11-27 04:24:51 +0100 | td_ | (~td@94.134.91.117) |
2021-11-27 04:24:56 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2021-11-27 04:41:12 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-11-27 04:42:22 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 04:47:11 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 260 seconds) |
2021-11-27 04:49:58 +0100 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 265 seconds) |
2021-11-27 04:50:04 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-27 04:51:50 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2021-11-27 04:52:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 04:55:38 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
2021-11-27 05:00:06 +0100 | <Square> | hololeap, thanks! When you mentioned the compiler flags i saw that i had suppression on unused imports. When i turned it on VSCode would show me all unused and shave them by file. |
2021-11-27 05:00:41 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 05:02:16 +0100 | hiruji | (~hiruji@user/hiruji) |
2021-11-27 05:03:41 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 245 seconds) |
2021-11-27 05:05:50 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2021-11-27 05:06:30 +0100 | hiruji | (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
2021-11-27 05:06:33 +0100 | hiruji` | (~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) |
2021-11-27 05:10:29 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-27 05:12:28 +0100 | hiruji` | (~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) (Read error: Connection reset by peer) |
2021-11-27 05:18:16 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2021-11-27 05:19:30 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 05:20:43 +0100 | <hololeap> | np |
2021-11-27 05:24:19 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 250 seconds) |
2021-11-27 05:26:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-11-27 05:26:47 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 268 seconds) |
2021-11-27 05:26:53 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection) |
2021-11-27 05:27:12 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 05:27:28 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 05:31:25 +0100 | <EvanR> | is there special magic required to use type applications in a pattern other than TypeApplications ? |
2021-11-27 05:31:37 +0100 | <EvanR> | it keeps telling me Expression syntax in pattern |
2021-11-27 05:32:01 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
2021-11-27 05:32:02 +0100 | MrNobody_0000000 | (~MrNobody@user/mrnobody-0000000/x-9129771) |
2021-11-27 05:35:07 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-11-27 05:36:40 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
2021-11-27 05:41:24 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 05:42:58 +0100 | hiruji | (~hiruji@user/hiruji) |
2021-11-27 05:55:05 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-11-27 05:58:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
2021-11-27 05:58:52 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-27 06:00:21 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-11-27 06:00:52 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection) |
2021-11-27 06:01:27 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 06:01:43 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-11-27 06:02:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 06:02:58 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 06:04:38 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 06:05:46 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
2021-11-27 06:06:17 +0100 | <superstar64> | Where can I learn about least / greatest fixed points? |
2021-11-27 06:06:39 +0100 | <superstar64> | I've tried looking at https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt but it's a bit too category theory heavy for me at the moment. |
2021-11-27 06:11:39 +0100 | shailangsa | (~shailangs@host86-186-133-114.range86-186.btcentralplus.com) (Ping timeout: 260 seconds) |
2021-11-27 06:13:43 +0100 | <c_wraith> | fixed points are more part of domain theory |
2021-11-27 06:14:00 +0100 | <c_wraith> | at least in this context |
2021-11-27 06:14:49 +0100 | Jing | (~hedgehog@2604:a840:3::1065) |
2021-11-27 06:16:19 +0100 | <hololeap> | superstar64: section 24.1 in milewski's category theory for programmers goes into it a bit |
2021-11-27 06:16:50 +0100 | <hololeap> | and very briefly in 24.6 |
2021-11-27 06:16:57 +0100 | <superstar64> | thanks, i've been meaning to finish that book |
2021-11-27 06:17:40 +0100 | <hololeap> | but it doesn't really go into what least vs greatest fixed point means |
2021-11-27 06:18:11 +0100 | <superstar64> | c_wraith, any resources on domain theory then? |
2021-11-27 06:18:26 +0100 | <superstar64> | at least things usable from the functional programming prospective. |
2021-11-27 06:18:36 +0100 | <hololeap> | > The initial algebra is the so called least fixed point, and the terminal coalgebra is the greatest fixed point. In Haskell, though, both are defined by the same formula, and they coincide. |
2021-11-27 06:20:28 +0100 | <c_wraith> | superstar64: https://www.cs.nott.ac.uk/~pszgmh/domains.html |
2021-11-27 06:22:56 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 06:23:00 +0100 | rkrishnan | (~user@171.48.57.101) |
2021-11-27 06:24:47 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2021-11-27 06:28:16 +0100 | hololeap_ | (~hololeap@user/hololeap) |
2021-11-27 06:28:47 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-27 06:29:04 +0100 | img | (~img@user/img) |
2021-11-27 06:31:09 +0100 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
2021-11-27 06:32:19 +0100 | hololeap_ | hololeap |
2021-11-27 06:32:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 06:32:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 06:32:30 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 06:33:06 +0100 | <hololeap> | really, anything beyond Data.Fix isn't relevant to functional programming, AFAIK |
2021-11-27 06:33:28 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-11-27 06:33:42 +0100 | <hololeap> | but catamorphisms/anamorphisms are a useful abstraction |
2021-11-27 06:33:56 +0100 | namkeleser | (~namkelese@101.175.102.188) (Quit: Client closed) |
2021-11-27 06:34:01 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-11-27 06:34:19 +0100 | <hololeap> | generalized folds/unfolds |
2021-11-27 06:34:46 +0100 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 06:35:44 +0100 | <hololeap> | they let you reason about a recursive data structures at a single level of recursion |
2021-11-27 06:36:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 06:36:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 06:37:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 06:37:44 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection) |
2021-11-27 06:38:10 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-27 06:38:29 +0100 | reumeth | (~reumeth@user/reumeth) |
2021-11-27 06:39:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 06:39:27 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 06:40:07 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-27 06:40:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 06:41:40 +0100 | <monochrom> | haha scott domain = "a c3po" |
2021-11-27 06:41:48 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 06:42:07 +0100 | hololeap | wonders if there is any recursive data structure "larger" than rose trees expressible in haskell |
2021-11-27 06:43:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 06:44:06 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
2021-11-27 06:44:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 06:45:06 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 268 seconds) |
2021-11-27 06:47:56 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-11-27 06:48:11 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-11-27 06:48:42 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-11-27 06:51:15 +0100 | <c_wraith> | hololeap: I'm not sure what you mean by large, there. |
2021-11-27 06:51:37 +0100 | shailangsa | (~shailangs@host86-186-136-24.range86-186.btcentralplus.com) |
2021-11-27 06:51:56 +0100 | <c_wraith> | In another sense of large, you get things like newtype Hyper a b = Hyper (Hyper b a -> b) |
2021-11-27 06:54:15 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 06:55:15 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-11-27 06:56:32 +0100 | <EvanR> | once you include functions it gets... uh large |
2021-11-27 06:57:02 +0100 | <EvanR> | normally wouldn't think of those as recursive though |
2021-11-27 06:57:06 +0100 | <c_wraith> | apparently hyperfunctions aren't even a proper set - you need domain theory to model them. though I'm just taking this from the paper |
2021-11-27 06:58:22 +0100 | <dolio> | You might be able to have them constructively. But classical set theoretic models don't have them. |
2021-11-27 06:58:47 +0100 | renzhi | (~xp@2607:fa49:6500:b100::5cef) (Ping timeout: 260 seconds) |
2021-11-27 06:59:16 +0100 | <dolio> | For instance, there are constructive models where `Hyper Bool Bool` is the natural numbers. |
2021-11-27 07:00:03 +0100 | <dolio> | Assuming this is some better behaved type theory, not Haskell. |
2021-11-27 07:04:21 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-11-27 07:04:54 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-11-27 07:08:16 +0100 | <hololeap> | c_wraith: what I meant was that all other recursive data structures could be expressed as (some form of) rose trees, but I wasn't thinking of structures with sum types |
2021-11-27 07:09:42 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
2021-11-27 07:10:03 +0100 | <hololeap> | that Hyper type is interesting, although I don't see a terminal case for its recursion |
2021-11-27 07:10:27 +0100 | <EvanR> | newtype U = U (U -> U) or something |
2021-11-27 07:16:11 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-11-27 07:17:35 +0100 | <hololeap> | at some point, to run the thing, you would need a Hyper b a, but the only way to construct and run that is if you have a Hyper b a. I would guess leveraging laziness comes into play here |
2021-11-27 07:17:47 +0100 | exbios | (~ri@2806:2f0:90a0:876c:3f02:6e97:3cf3:656) (Remote host closed the connection) |
2021-11-27 07:18:08 +0100 | <dolio> | You can make a hyperfunction with `const b`. |
2021-11-27 07:18:38 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
2021-11-27 07:19:34 +0100 | <hololeap> | right, that makes sense |
2021-11-27 07:20:38 +0100 | <hololeap> | what is the other type variable for? |
2021-11-27 07:21:00 +0100 | <hololeap> | oh, because of the flip |
2021-11-27 07:21:19 +0100 | <dolio> | Yeah, Hyper a b ~ ((Hyper a b -> a) -> b) |
2021-11-27 07:22:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 07:23:32 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 240 seconds) |
2021-11-27 07:24:21 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 250 seconds) |
2021-11-27 07:25:04 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 07:27:01 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-11-27 07:27:20 +0100 | mbuf | (~Shakthi@122.174.185.81) |
2021-11-27 07:28:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-11-27 07:29:19 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 07:29:35 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
2021-11-27 07:33:45 +0100 | <hololeap> | % newtype Hyper a b = Hyper { runHyper :: Hyper b a -> b } |
2021-11-27 07:33:45 +0100 | <yahb> | hololeap: |
2021-11-27 07:33:53 +0100 | <hololeap> | % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f undefined)) z |
2021-11-27 07:33:54 +0100 | <yahb> | hololeap: True |
2021-11-27 07:34:06 +0100 | <hololeap> | I am so confused by this thing |
2021-11-27 07:36:35 +0100 | <EvanR> | my god it's full of lambdas |
2021-11-27 07:37:04 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-11-27 07:38:13 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) |
2021-11-27 07:38:41 +0100 | Cajun | (~Cajun@user/cajun) (Quit: Ping timeout (120 seconds)) |
2021-11-27 07:41:27 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-27 07:45:55 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 07:45:55 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 07:45:55 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 07:46:33 +0100 | <hololeap> | % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f (Hyper (\(Hyper g) -> g (Hyper (\(Hyper _) -> False)))))) z |
2021-11-27 07:46:33 +0100 | <yahb> | hololeap: True |
2021-11-27 07:46:41 +0100 | <hololeap> | what is the point of this thing |
2021-11-27 07:47:01 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-11-27 07:47:48 +0100 | <hololeap> | % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f (Hyper (\(Hyper g) -> g undefined)))) z |
2021-11-27 07:47:49 +0100 | <yahb> | hololeap: True |
2021-11-27 07:49:12 +0100 | <hololeap> | I guess it could become useful if you add another field to the Hyper constructor |
2021-11-27 07:50:00 +0100 | <hololeap> | so it carries something other than just more of these bare Hyper functions |
2021-11-27 07:50:50 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-11-27 07:51:29 +0100 | <hololeap> | and then you would be getting into "largeness" territory due to the exponential types |
2021-11-27 07:54:29 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 07:56:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 07:56:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-11-27 07:57:17 +0100 | <ozzloy> | https://paste.tomsmeding.com/2FGxpKiE the prompt says to use map/filter. i'm using it on line 40, but it seems clunky. |
2021-11-27 07:57:22 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving) |
2021-11-27 07:57:47 +0100 | <ozzloy> | the prompt also says to use foldr, and i am on line 52, but again, it feels clunky |
2021-11-27 07:57:50 +0100 | <EvanR> | oh hold on, this was all supposed to be useful? xD |
2021-11-27 07:58:24 +0100 | <ozzloy> | is there some clever thing i'm missing, or is it just kinda clunky? |
2021-11-27 07:58:53 +0100 | <ozzloy> | i'm using filter and map to check if all the elements in a list are all the same as each other |
2021-11-27 07:59:35 +0100 | <xsperry> | ozzloy, I'd use all instead of filter and map |
2021-11-27 07:59:42 +0100 | <xsperry> | :t all |
2021-11-27 07:59:43 +0100 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
2021-11-27 07:59:43 +0100 | <ozzloy> | by mapping all the elements to whether they're equal to the first element, then filtering |
2021-11-27 08:00:06 +0100 | <ozzloy> | xsperry, oh cool, sounds good. i'll keep that in mind |
2021-11-27 08:00:06 +0100 | <xsperry> | > all (==1) [1,1,1] |
2021-11-27 08:00:07 +0100 | <EvanR> | I mean, you could just filter by (/=x) |
2021-11-27 08:00:09 +0100 | <lambdabot> | True |
2021-11-27 08:00:22 +0100 | <ozzloy> | i'm guessing there's a 'some' too? |
2021-11-27 08:00:26 +0100 | <EvanR> | any |
2021-11-27 08:00:37 +0100 | <ozzloy> | i was in the middle of typing that out! |
2021-11-27 08:00:39 +0100 | <EvanR> | > any (==0) [1,1,1] |
2021-11-27 08:00:40 +0100 | <lambdabot> | False |
2021-11-27 08:00:57 +0100 | <ozzloy> | EvanR, oooh, i like that (==0) |
2021-11-27 08:01:06 +0100 | <ozzloy> | i'll use that instead of the lambda |
2021-11-27 08:01:17 +0100 | <EvanR> | (==x) in your case right |
2021-11-27 08:01:40 +0100 | <EvanR> | @src all |
2021-11-27 08:01:40 +0100 | <lambdabot> | all p = and . map p |
2021-11-27 08:01:56 +0100 | <ozzloy> | what is dot? |
2021-11-27 08:02:04 +0100 | <EvanR> | :t (.) |
2021-11-27 08:02:05 +0100 | <ozzloy> | argument-goes-here ? |
2021-11-27 08:02:05 +0100 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
2021-11-27 08:02:11 +0100 | <EvanR> | function composition |
2021-11-27 08:02:19 +0100 | jollygood2 | (~bc8165b6@217.29.117.252) |
2021-11-27 08:02:20 +0100 | <ozzloy> | ah, like center-dot |
2021-11-27 08:02:53 +0100 | <EvanR> | f ∘ g like that |
2021-11-27 08:02:59 +0100 | <ozzloy> | cool |
2021-11-27 08:03:50 +0100 | <EvanR> | > (∘) = (.) in (and ∘ map (==0)) [1,1,1] |
2021-11-27 08:03:51 +0100 | <lambdabot> | <hint>:1:5: error: parse error on input ‘=’ |
2021-11-27 08:03:55 +0100 | <ozzloy> | so is there some other way of using map and filter to determine if a list has repeating subsequences, that is more slick than what i'm doing? |
2021-11-27 08:03:57 +0100 | <EvanR> | > let (∘) = (.) in (and ∘ map (==0)) [1,1,1] |
2021-11-27 08:03:58 +0100 | <lambdabot> | False |
2021-11-27 08:04:03 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-11-27 08:04:14 +0100 | <EvanR> | heh |
2021-11-27 08:04:22 +0100 | <EvanR> | by slick you mean already implemented for you |
2021-11-27 08:04:25 +0100 | <EvanR> | yeah |
2021-11-27 08:04:43 +0100 | <xsperry> | @src and |
2021-11-27 08:04:43 +0100 | <lambdabot> | and = foldr (&&) True |
2021-11-27 08:04:49 +0100 | <EvanR> | > group [0,1,2,2,1,0] |
2021-11-27 08:04:50 +0100 | <lambdabot> | [[0],[1],[2,2],[1],[0]] |
2021-11-27 08:05:08 +0100 | <ozzloy> | oh interesting |
2021-11-27 08:05:54 +0100 | <ozzloy> | > group [[1],[1],[2],[2],[2],[3]] |
2021-11-27 08:05:55 +0100 | <lambdabot> | [[[1],[1]],[[2],[2],[2]],[[3]]] |
2021-11-27 08:06:24 +0100 | <ozzloy> | > group [[1,2],[1,2],[2],[2],[2],[3]] |
2021-11-27 08:06:25 +0100 | <lambdabot> | [[[1,2],[1,2]],[[2],[2],[2]],[[3]]] |
2021-11-27 08:06:31 +0100 | <ozzloy> | ooOOooh |
2021-11-27 08:06:37 +0100 | <ozzloy> | neat |
2021-11-27 08:07:25 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 08:08:04 +0100 | <ozzloy> | i mean specifically using map and filter, or foldr in isRepeats'' |
2021-11-27 08:08:30 +0100 | <EvanR> | foldr is so general that you probably use it no matter what |
2021-11-27 08:08:35 +0100 | <EvanR> | on some level |
2021-11-27 08:08:41 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:f84d:9d7f:7b09:bb62) (Ping timeout: 245 seconds) |
2021-11-27 08:08:54 +0100 | <EvanR> | see the code for `and' up there |
2021-11-27 08:09:15 +0100 | <ozzloy> | i made a more generic version of it |
2021-11-27 08:09:28 +0100 | <EvanR> | a ... more generic version of foldr ? xD |
2021-11-27 08:09:40 +0100 | <ozzloy> | it takes in a function for "head" and "cons" as well |
2021-11-27 08:09:46 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:341b:dd7e:779b:cbe2) |
2021-11-27 08:09:57 +0100 | <EvanR> | that doesn't sound right |
2021-11-27 08:10:03 +0100 | <EvanR> | foldr already does that |
2021-11-27 08:10:32 +0100 | <hololeap> | foldr has to be implemented like that for any Foldable |
2021-11-27 08:11:04 +0100 | <EvanR> | :t head |
2021-11-27 08:11:05 +0100 | <lambdabot> | [a] -> a |
2021-11-27 08:11:06 +0100 | <ozzloy> | hold on, i'll see if i can find the code. might be better than trying to write it in words |
2021-11-27 08:11:24 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 08:11:39 +0100 | <hololeap> | it sounds like you defined Foldable using functions instead of a typeclass |
2021-11-27 08:12:13 +0100 | <hololeap> | defined/reinvented |
2021-11-27 08:12:46 +0100 | <ozzloy> | possibly, that sounds plausible |
2021-11-27 08:12:56 +0100 | <ozzloy> | so foldr assumes it's working on a list |
2021-11-27 08:13:06 +0100 | <ozzloy> | (can't find it at the moment) |
2021-11-27 08:13:17 +0100 | <jollygood2> | :t foldr |
2021-11-27 08:13:18 +0100 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
2021-11-27 08:13:19 +0100 | <ozzloy> | i wrote a version that doesn't assume that |
2021-11-27 08:13:40 +0100 | <ozzloy> | i see |
2021-11-27 08:14:05 +0100 | <ozzloy> | Foldable is something that has a "head"-like operation and a "cons"-like operation? |
2021-11-27 08:14:12 +0100 | <hololeap> | no, it assumes it's working with a Foldable. more accurately, a Foldable is defined by the way it implements foldr |
2021-11-27 08:14:38 +0100 | <hololeap> | yes, any foldable can be converted to a list, althought not necessarily the other way around |
2021-11-27 08:14:48 +0100 | <hololeap> | :t toList |
2021-11-27 08:14:49 +0100 | <lambdabot> | Foldable t => t a -> [a] |
2021-11-27 08:14:56 +0100 | <EvanR> | head can be defined by foldr |
2021-11-27 08:14:58 +0100 | <ozzloy> | can a number be converted to a Foldable? |
2021-11-27 08:15:21 +0100 | <EvanR> | numbers don't have a type parameter |
2021-11-27 08:15:23 +0100 | <c_wraith> | things aren't converted to Foldable - they either are or aren't |
2021-11-27 08:15:27 +0100 | <hololeap> | no, it needs a type variable, for one |
2021-11-27 08:15:31 +0100 | <c_wraith> | Foldable is a class, not a type |
2021-11-27 08:16:01 +0100 | <hololeap> | it has to be (Something a) to be a Foldle, where it works with any a |
2021-11-27 08:16:06 +0100 | <hololeap> | *Foldable |
2021-11-27 08:16:08 +0100 | <ozzloy> | oh, that's interesting, what is the difference in haskell between a class and a type? |
2021-11-27 08:16:20 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-11-27 08:16:25 +0100 | <c_wraith> | a class is a set of behaviors a type can have |
2021-11-27 08:16:26 +0100 | <EvanR> | a type class |
2021-11-27 08:16:41 +0100 | <ozzloy> | i should say the function i wrote was in scheme, not haskell, so maybe the terms don't quite carry over |
2021-11-27 08:16:55 +0100 | <c_wraith> | like, the Eq class allows things that implement it to be compared for equality |
2021-11-27 08:16:56 +0100 | <ozzloy> | i used it to convert a number into a list of 1s and 0s |
2021-11-27 08:17:44 +0100 | <ozzloy> | so Foldable is a set of behaviors? |
2021-11-27 08:17:57 +0100 | <hololeap> | really just one |
2021-11-27 08:18:09 +0100 | <ozzloy> | or rather, a ... specification of the existence of behaviors? |
2021-11-27 08:18:10 +0100 | <EvanR> | whatever you know about scheme, you can comprehend it in haskell by using a big sum type to represent the scheme values |
2021-11-27 08:18:35 +0100 | <EvanR> | call it, that scheme over there |
2021-11-27 08:18:47 +0100 | <hololeap> | if you want to define an instance of Foldable, you have to give it an implementation of foldr |
2021-11-27 08:19:10 +0100 | <ozzloy> | i see |
2021-11-27 08:21:30 +0100 | <ozzloy> | so that makes me think of the Enumerable mixin for ruby, where a (ruby) class has to implement #each |
2021-11-27 08:21:57 +0100 | <ozzloy> | and then can mixin Enumerable, and gets a bunch of behavior defined in terms of #each |
2021-11-27 08:22:05 +0100 | <c_wraith> | that aspect is similar - you get to implement a couple functions and opt in to a bigger ecosystem from it. |
2021-11-27 08:22:19 +0100 | <c_wraith> | The way it plays out in a typed language has a lot of differences in details, though |
2021-11-27 08:22:36 +0100 | <ozzloy> | makes sense |
2021-11-27 08:22:44 +0100 | <hololeap> | % data TheTwo a = TheTwo { getOne :: a, getTwo :: a } |
2021-11-27 08:22:44 +0100 | <yahb> | hololeap: |
2021-11-27 08:22:53 +0100 | <hololeap> | % instance Foldable TheTwo where foldr f b (TheTwo a1 a2) = f a1 (f a2 b) |
2021-11-27 08:22:54 +0100 | <yahb> | hololeap: |
2021-11-27 08:23:04 +0100 | <hololeap> | toList (TheTwo 2 3) |
2021-11-27 08:23:08 +0100 | <hololeap> | % toList (TheTwo 2 3) |
2021-11-27 08:23:09 +0100 | <yahb> | hololeap: [2,3] |
2021-11-27 08:23:16 +0100 | <hololeap> | (just a small example) |
2021-11-27 08:23:50 +0100 | <hololeap> | and I did kind of lie, you can also define a Foldable instance in terms of foldMap. you can choose to define it either way |
2021-11-27 08:24:22 +0100 | <hololeap> | they are just two different ways of thinking about the same concept |
2021-11-27 08:24:39 +0100 | <jollygood2> | ozzloy, take Eq as an example, minimal complete definition requires defining either (==) or (/=). so when you make a function Eq a => f :: a -> [a] -> [a], and do f x xs, compiler is implicitly passing (==) and (/=) functions to f for the type of x |
2021-11-27 08:25:39 +0100 | <jollygood2> | it is basically doing something like this for you: f :: (a -> a -> Bool) -> a -> [a] -> [a] |
2021-11-27 08:25:47 +0100 | <EvanR> | it's easy to reach for custom type classes too early though |
2021-11-27 08:26:02 +0100 | <EvanR> | like a replacement for classes, or interfaces from another language |
2021-11-27 08:26:25 +0100 | <ozzloy> | very much feels like java interfaces, yeah |
2021-11-27 08:26:39 +0100 | <EvanR> | yeah but its more than that |
2021-11-27 08:27:15 +0100 | <c_wraith> | The type system details let you say things you can't say in an interface. |
2021-11-27 08:27:25 +0100 | <EvanR> | you can do interfaces other ways in haskell that may be more convenient |
2021-11-27 08:27:36 +0100 | <ozzloy> | closer to an abstract class from java, where a bunch of concrete methods are implemented in terms of an abstract method |
2021-11-27 08:27:59 +0100 | <ozzloy> | yeah, and it sounds like you can add it in after-the-fact |
2021-11-27 08:28:37 +0100 | <ozzloy> | like after defining the class(what's it called in haskell?) TheTwo |
2021-11-27 08:28:57 +0100 | <EvanR> | TheTwo is a data type |
2021-11-27 08:29:06 +0100 | <ozzloy> | then, _after_, you provided a definition of foldr |
2021-11-27 08:29:18 +0100 | <EvanR> | potentially way after |
2021-11-27 08:29:24 +0100 | <ozzloy> | that's cool |
2021-11-27 08:29:38 +0100 | <EvanR> | after TheTwo was finished, compiled, packaged shipped without being Foldable |
2021-11-27 08:29:52 +0100 | <EvanR> | somebody can ship a Foldable instance separately if necessary |
2021-11-27 08:30:00 +0100 | <ozzloy> | also, TheTwo was just data, and not also methods thrown in |
2021-11-27 08:30:10 +0100 | <ozzloy> | i like that |
2021-11-27 08:30:29 +0100 | <ozzloy> | data is just data, even if it has a shape |
2021-11-27 08:31:07 +0100 | <ozzloy> | thanks for the firehose to drink from |
2021-11-27 08:31:10 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:31:40 +0100 | <ozzloy> | EvanR, hololeap, c_wraith, jollygood2, thanks |
2021-11-27 08:32:26 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds) |
2021-11-27 08:34:28 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-27 08:36:13 +0100 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
2021-11-27 08:36:59 +0100 | <jollygood2> | ozzloy, np |
2021-11-27 08:40:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:40:29 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:42:02 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2021-11-27 08:44:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:45:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:45:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 08:45:56 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 08:46:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 08:48:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:48:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:50:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:50:53 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 08:50:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:52:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:52:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:54:33 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:54:50 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:56:30 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:56:48 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 08:58:15 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 08:58:32 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 09:02:43 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-11-27 09:04:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 09:04:40 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 09:08:29 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 09:14:28 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-11-27 09:14:28 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-11-27 09:14:36 +0100 | mmhat | (~mmh@55d430d9.access.ecotel.net) |
2021-11-27 09:15:06 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 09:15:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 09:15:56 +0100 | ishutin | (~ishutin@89-186-118-211.pool.digikabel.hu) (Ping timeout: 256 seconds) |
2021-11-27 09:17:43 +0100 | ishutin | (~ishutin@87-97-82-128.pool.digikabel.hu) |
2021-11-27 09:17:56 +0100 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
2021-11-27 09:18:13 +0100 | drdo | (~drdo@roach0.drdo.eu) |
2021-11-27 09:19:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 09:22:51 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-11-27 09:23:35 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 268 seconds) |
2021-11-27 09:25:00 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2021-11-27 09:32:33 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-27 09:37:53 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-27 09:38:27 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de) |
2021-11-27 09:41:02 +0100 | rkrishnan | (~user@171.48.57.101) (Ping timeout: 240 seconds) |
2021-11-27 09:43:16 +0100 | img | (~img@user/img) |
2021-11-27 09:43:56 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-11-27 09:44:07 +0100 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) |
2021-11-27 09:47:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 09:52:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
2021-11-27 09:53:26 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-11-27 09:57:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-27 09:59:02 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2021-11-27 10:00:09 +0100 | fakehacker[m] | (~fakehacke@2001:470:69fc:105::b5f0) (Quit: You have been kicked for being idle) |
2021-11-27 10:00:42 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-27 10:05:00 +0100 | Lycurgus | (~juan@98.4.112.204) |
2021-11-27 10:08:19 +0100 | notzmv | (~zmv@user/notzmv) |
2021-11-27 10:09:15 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2021-11-27 10:10:34 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-11-27 10:15:10 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-27 10:17:37 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-11-27 10:17:40 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-11-27 10:17:43 +0100 | allbery_b | geekosaur |
2021-11-27 10:19:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-11-27 10:19:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
2021-11-27 10:27:20 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-11-27 10:35:17 +0100 | TMA | (tma@twin.jikos.cz) |
2021-11-27 10:36:31 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-11-27 10:36:46 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-27 10:37:54 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 260 seconds) |
2021-11-27 10:39:21 +0100 | kuribas | (~user@ptr-25vy0i9092f7cof0r9n.18120a2.ip6.access.telenet.be) |
2021-11-27 10:44:39 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 10:47:31 +0100 | <tom__> | Does it make sense to write a test for each PBT generator to ensure it produces valid output? |
2021-11-27 10:48:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 10:50:18 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-11-27 10:52:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-11-27 10:52:57 +0100 | <[exa]> | tom__: if the correctness is not obvious from the way the generator is coded, yes |
2021-11-27 10:53:28 +0100 | <[exa]> | tom__: you may though hit an infinite loop on testing if the correctness test tests the correctness properly, etc |
2021-11-27 10:57:43 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 11:00:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-11-27 11:00:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:00:54 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-11-27 11:02:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 245 seconds) |
2021-11-27 11:02:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
2021-11-27 11:02:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:02:29 +0100 | fef | (~thedawn@user/thedawn) |
2021-11-27 11:03:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:03:43 +0100 | Lord_of_Life_ | Lord_of_Life |
2021-11-27 11:04:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:05:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:06:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:07:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:08:41 +0100 | kadir | (~user@88.251.54.110) |
2021-11-27 11:09:01 +0100 | Guest6872 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host) |
2021-11-27 11:09:01 +0100 | Guest6872 | (~cat@user/sudden) |
2021-11-27 11:09:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:09:07 +0100 | Guest6872 | sudden |
2021-11-27 11:09:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:11:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:12:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:13:28 +0100 | smunix | (~smunix@static.26.70.12.49.clients.your-server.de) |
2021-11-27 11:13:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:13:50 +0100 | smunix | (~smunix@static.26.70.12.49.clients.your-server.de) (Client Quit) |
2021-11-27 11:14:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:14:35 +0100 | smunix | (~smunix@static.26.70.12.49.clients.your-server.de) |
2021-11-27 11:14:59 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-11-27 11:15:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:16:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:18:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:18:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:20:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:21:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:22:26 +0100 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 245 seconds) |
2021-11-27 11:22:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:23:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:25:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:25:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 11:25:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:26:18 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-11-27 11:26:33 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-11-27 11:26:35 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 11:27:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:28:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:29:31 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-11-27 11:29:32 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-11-27 11:29:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:29:56 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-11-27 11:30:02 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
2021-11-27 11:30:14 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-11-27 11:30:16 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 11:30:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:31:59 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-11-27 11:32:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:33:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:34:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:35:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:37:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:37:36 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-11-27 11:37:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:38:30 +0100 | <Guest17> | why does haskell accept `1 : [2, 3]` but not `: 1 [2]` ? |
2021-11-27 11:38:55 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 250 seconds) |
2021-11-27 11:39:06 +0100 | <Guest17> | `: 1 [2, 3]` but you get the point |
2021-11-27 11:39:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:39:36 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-27 11:40:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:40:27 +0100 | <gehmehgeh> | Guest17: ":" is an infix operator |
2021-11-27 11:40:39 +0100 | <gehmehgeh> | try (:) 1 [2,3] |
2021-11-27 11:40:44 +0100 | <gehmehgeh> | :-) |
2021-11-27 11:41:04 +0100 | <gehmehgeh> | (if you really want to use it that way) |
2021-11-27 11:41:21 +0100 | <Guest17> | I know (:) is supposed to work, but I want to know if this is a limitation in the grammar or something else |
2021-11-27 11:41:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:41:56 +0100 | <gehmehgeh> | No, you use parentheses if you want to employ an infix operator the normal way. You can also use normal functions infix-style |
2021-11-27 11:41:58 +0100 | <gehmehgeh> | with backtics |
2021-11-27 11:42:03 +0100 | <gehmehgeh> | 10 `div` 2 |
2021-11-27 11:42:08 +0100 | <gehmehgeh> | instead of: div 10 2 |
2021-11-27 11:42:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:43:09 +0100 | <[exa]> | Guest17: the parentheses are there to turn the operator from a grammatical thing into a normal identifier. E.g. these 2 things do something different: `id (:) [id]`, `id : [id]` |
2021-11-27 11:43:36 +0100 | <[exa]> | (both have valid semantics) |
2021-11-27 11:44:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:44:18 +0100 | <[exa]> | to reduce the amount of danger&surprise, it's kinda natural to avoid reinterpreting the binary operator with a missing argument as a function |
2021-11-27 11:45:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:46:26 +0100 | <[exa]> | example: when parsing `+ 1`, is it a function for incrementing numbers by 1, or did someone forget to write the left argument? |
2021-11-27 11:46:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:47:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:47:57 +0100 | <Guest17> | [exa]: well if someone forgot to write the left argument that would be a type error down the line, I don't really see why that's dangerous or suprising |
2021-11-27 11:48:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:49:11 +0100 | <Guest17> | I'm asking not to pick on haskell, but I'm laying out a parser for a toy-lang™ and I'm not so sure how to handle infix operators |
2021-11-27 11:49:31 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds) |
2021-11-27 11:49:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:50:13 +0100 | <zincy> | [exa] Thanks |
2021-11-27 11:51:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:52:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:53:01 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 11:53:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:54:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:55:34 +0100 | <[exa]> | Guest17: if you want to support custom operators, the best option is to parse expressions as lists of things first, then run a specialized algorithm for making sense of the priorities |
2021-11-27 11:55:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:56:26 +0100 | <[exa]> | re the "corner operator", the semantics of the expression would change dramatically if someone would (by error) infer the wrong type, which I don't see as a very welcome behavior but ymmv |
2021-11-27 11:56:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 11:56:51 +0100 | <[exa]> | might make better sense elsewhere |
2021-11-27 11:58:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 11:59:00 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) |
2021-11-27 11:59:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:00:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:00:57 +0100 | <[exa]> | Guest17: example, you have an expression like "f + g h + (c d)", that you parse to something like [f, +, g, h, +, [c, d]]; at that point you are usually able to source the infix declarations from the file, so you can guess which things are operators and which are not, getting something like [f, op +, app g h, op +, app c d], and then you just run the shunting yard alg. |
2021-11-27 12:01:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:02:07 +0100 | <Guest17> | [exa]: crystal clear! |
2021-11-27 12:02:50 +0100 | <Guest17> | [exa]: something puzzling me is: https://stackoverflow.com/questions/54726221/parsing-custom-infix-operators-implementation-with-fp… |
2021-11-27 12:03:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:03:56 +0100 | <[exa]> | nah, parsing is puzzling if you're doing too many things at once |
2021-11-27 12:04:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:04:18 +0100 | <Guest17> | the OP talked about something like: `takeOpAndOther + x`, how would the Shunting yard algorithm apply here? |
2021-11-27 12:04:41 +0100 | <[exa]> | the usual way of doign robust parsers of such stuff is to tokenize first, then parse |
2021-11-27 12:04:41 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com)) |
2021-11-27 12:05:34 +0100 | <Guest17> | I'm doing that, I'm just not sure if I should parse `+` and `add` as identifiers or reserve a `Operator` token |
2021-11-27 12:05:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:05:45 +0100 | <[exa]> | anyway, this is an ambiguous parse, precisely the reason why we have the parens around (+) |
2021-11-27 12:06:13 +0100 | <[exa]> | do you allow user-defined operators? |
2021-11-27 12:06:28 +0100 | <Guest17> | That's what I intend to do yes |
2021-11-27 12:06:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:06:47 +0100 | <[exa]> | okay, then you first need to know what are all the operators _before_ you are even able to parse this right |
2021-11-27 12:06:51 +0100 | <Guest17> | it's proving to be a bit paralyzing but I'm interested in implementing it |
2021-11-27 12:06:58 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) |
2021-11-27 12:07:37 +0100 | <Guest17> | [exa]: I suppose I could build a list of declared operators pre-parsing |
2021-11-27 12:07:44 +0100 | <[exa]> | yes |
2021-11-27 12:08:12 +0100 | <[exa]> | hm actually let's have a look at how haskells do |
2021-11-27 12:08:14 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) |
2021-11-27 12:08:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:08:51 +0100 | <Guest17> | and if I encounter + I treat it as an operator in the SY algorithm otherwise if it's (+) it behaves the same as a normal idnetifier |
2021-11-27 12:08:54 +0100 | Moyst_ | (~moyst@user/moyst) |
2021-11-27 12:09:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:09:22 +0100 | <Guest17> | [exa]: by all means let's do that x) |
2021-11-27 12:10:03 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) |
2021-11-27 12:10:09 +0100 | ub | (~Thunderbi@p200300ecdf0ba253489968441493cf16.dip0.t-ipconnect.de) |
2021-11-27 12:10:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:11:13 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 250 seconds) |
2021-11-27 12:11:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:11:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 12:13:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:13:15 +0100 | <Guest17> | and in terms of the lexer, I could first try recognizing a keyword (`type`), then a normal `abc_123'` identifier, then a reserved operator like `->` and finally a user defined operator |
2021-11-27 12:13:20 +0100 | zer0bitz | (~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) |
2021-11-27 12:13:34 +0100 | <[exa]> | Guest17: so anyway they have a pretty generous definition of an operator here: https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser/Lexer.x#L182 |
2021-11-27 12:13:41 +0100 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 245 seconds) |
2021-11-27 12:14:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:14:48 +0100 | Moyst_ | (~moyst@user/moyst) |
2021-11-27 12:14:50 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-11-27 12:15:07 +0100 | <[exa]> | and I see the .y file with parser somehow disappeared from ghc 9 :] |
2021-11-27 12:15:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 12:15:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 12:15:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:15:42 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 12:16:20 +0100 | <Guest17> | `$unisymbol = \x04 -- Trick Alex into handling Unicode.` is the funniest comment I've seen |
2021-11-27 12:16:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:16:57 +0100 | <Hecate> | :') |
2021-11-27 12:18:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:19:03 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:19:15 +0100 | <[exa]> | Guest17: older version of the parser here: https://github.com/ghc/ghc/blob/ghc-8.10/compiler/parser/Parser.y#L3538 |
2021-11-27 12:19:38 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.3) |
2021-11-27 12:19:47 +0100 | ub1 | (~Thunderbi@p548c9fcb.dip0.t-ipconnect.de) |
2021-11-27 12:19:57 +0100 | ub | (~Thunderbi@p200300ecdf0ba253489968441493cf16.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-11-27 12:20:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:21:23 +0100 | <[exa]> | Guest17: and then somewhere around infixexp roughly here https://github.com/ghc/ghc/blob/ghc-8.10/compiler/parser/Parser.y#L2576 you can find that they are parsing basically lists of [exp, op, exp, op, exp, op, ...] |
2021-11-27 12:21:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 12:22:04 +0100 | ub1 | ub |
2021-11-27 12:22:12 +0100 | <boxscape_> | [exa] https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser.y |
2021-11-27 12:22:44 +0100 | <boxscape_> | module names follow modern haskell practice now |
2021-11-27 12:22:50 +0100 | <boxscape_> | GHC.Parser |
2021-11-27 12:22:54 +0100 | <boxscape_> | GHC.Parser.Lexer |
2021-11-27 12:23:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:23:27 +0100 | <[exa]> | o nice thanks |
2021-11-27 12:24:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:25:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:26:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:27:12 +0100 | <Square> | can i create Proxy (b a) from Proxy a ? |
2021-11-27 12:27:13 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d16e:d5f5:18a5:65d5) |
2021-11-27 12:27:53 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-11-27 12:28:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:28:41 +0100 | <boxscape_> | % :t fmap @Proxy |
2021-11-27 12:28:41 +0100 | <yahb> | boxscape_: (a -> b) -> Proxy a -> Proxy b |
2021-11-27 12:29:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:29:18 +0100 | <boxscape_> | Square I think you can but why not just create a new Proxy of type `Proxy (b a)`? |
2021-11-27 12:30:08 +0100 | <Square> | boxscape_, im afraid i dont have "a" available other than as a proxy |
2021-11-27 12:30:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:30:56 +0100 | <boxscape_> | Square you can probabaly use ScopedTypeVariables to get access to it, and then write `Proxy :: Proxy (b a)` (or `Proxy @(b a)`) |
2021-11-27 12:30:57 +0100 | haskl[error] | (~haskl@user/haskl) (Read error: Connection reset by peer) |
2021-11-27 12:31:46 +0100 | <boxscape_> | % foo :: forall a b . Proxy a -> Proxy (b a); foo Proxy = (Proxy :: Proxy (b a)) |
2021-11-27 12:31:46 +0100 | <yahb> | boxscape_: |
2021-11-27 12:31:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:33:04 +0100 | haskl | (~haskl@user/haskl) |
2021-11-27 12:33:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:33:40 +0100 | <[exa]> | Guest17: the parser code there is complicated so I didn't find the priority-solving part yet, maybe someone other will know |
2021-11-27 12:34:21 +0100 | <Guest17> | [exa]: as far as I know its handled through infix statements yes? |
2021-11-27 12:34:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:34:31 +0100 | <[exa]> | likely |
2021-11-27 12:35:49 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 12:35:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:36:06 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 12:36:53 +0100 | <Square> | boxscape_, thanks for the advice! Appreciated |
2021-11-27 12:37:01 +0100 | <boxscape_> | np |
2021-11-27 12:37:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:38:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:39:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 12:40:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 12:41:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:42:00 +0100 | ymherklotz | (~ymherklot@2a0c:5bc0:40:107b:fdfc:4d2d:898a:f9f5) (Read error: Connection reset by peer) |
2021-11-27 12:42:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:43:39 +0100 | kadir | (~user@88.251.54.110) (ERC (IRC client for Emacs 27.1)) |
2021-11-27 12:43:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:44:00 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 12:44:10 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-27 12:44:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:46:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 12:46:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:46:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 12:46:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 12:47:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 12:47:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:48:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 12:49:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:49:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-11-27 12:50:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:51:24 +0100 | _xor | (~xor@72.49.199.147) (Ping timeout: 268 seconds) |
2021-11-27 12:51:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:52:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-11-27 12:52:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:53:33 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-11-27 12:54:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:55:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:56:08 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-27 12:56:14 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) |
2021-11-27 12:57:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 12:57:58 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-27 12:58:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 12:59:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:01:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:02:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:03:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:03:44 +0100 | stefan-_ | (~cri@42dots.de) (Ping timeout: 256 seconds) |
2021-11-27 13:05:07 +0100 | kayprish | (~kayprish@185.37.27.218) |
2021-11-27 13:05:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:06:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:07:14 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com)) |
2021-11-27 13:07:32 +0100 | stefan-_ | (~cri@42dots.de) |
2021-11-27 13:07:38 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) |
2021-11-27 13:07:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:08:37 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-27 13:08:51 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d16e:d5f5:18a5:65d5) (Quit: Textual IRC Client: www.textualapp.com) |
2021-11-27 13:08:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:10:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:11:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:11:40 +0100 | kayprish | (~kayprish@185.37.27.218) (Ping timeout: 256 seconds) |
2021-11-27 13:11:52 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
2021-11-27 13:12:22 +0100 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 268 seconds) |
2021-11-27 13:13:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:13:39 +0100 | FragByte | (~christian@user/fragbyte) |
2021-11-27 13:14:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:14:57 +0100 | Moyst_ | (~moyst@user/moyst) |
2021-11-27 13:15:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:17:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:17:40 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-11-27 13:18:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:19:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:21:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:22:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:24:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:24:06 +0100 | Moyst | (~moyst@user/moyst) |
2021-11-27 13:25:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:25:21 +0100 | neurocyte0132889 | (~neurocyte@195.80.52.229) |
2021-11-27 13:25:21 +0100 | neurocyte0132889 | (~neurocyte@195.80.52.229) (Changing host) |
2021-11-27 13:25:21 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-11-27 13:26:49 +0100 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 250 seconds) |
2021-11-27 13:26:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:28:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:28:48 +0100 | ph88^ | (~ph88@2a02:8109:9e00:71d0:fd99:6e74:1b49:af22) |
2021-11-27 13:29:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:30:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:31:18 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com)) |
2021-11-27 13:31:57 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) |
2021-11-27 13:32:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:32:32 +0100 | ph88_ | (~ph88@2a02:8109:9e00:71d0:15f2:638c:7ed7:4999) (Ping timeout: 240 seconds) |
2021-11-27 13:33:18 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) |
2021-11-27 13:33:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:34:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:35:21 +0100 | Organizers|Robin | (~Robin_Jad@152.67.64.160) |
2021-11-27 13:36:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:37:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:38:44 +0100 | LittleLemon | (~AdiIRC@170.55.34.132) (Ping timeout: 265 seconds) |
2021-11-27 13:38:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:40:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:41:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:43:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:43:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 13:44:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:45:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:47:09 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
2021-11-27 13:47:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:48:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:49:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 13:49:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:51:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:52:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:53:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-11-27 13:54:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:54:46 +0100 | Moyst_ | (~moyst@user/moyst) |
2021-11-27 13:55:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:55:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 13:56:08 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 13:56:47 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 268 seconds) |
2021-11-27 13:57:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 13:57:45 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-11-27 13:58:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 13:58:40 +0100 | Moyst_ | Moyst |
2021-11-27 13:58:54 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-11-27 13:59:35 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit) |
2021-11-27 13:59:43 +0100 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
2021-11-27 13:59:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:00:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 14:00:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:02:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:02:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 14:03:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:05:03 +0100 | zero | (~z@user/zero) () |
2021-11-27 14:05:10 +0100 | zzz | (~z@user/zero) |
2021-11-27 14:05:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:05:49 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-27 14:06:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:07:14 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) |
2021-11-27 14:08:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:08:19 +0100 | <zzz> | for the past few year i've been learning haskell on my spare time and enjoying it with the help of books and this channel alone to the point of being very productive with it. you guy are awesome, thank you |
2021-11-27 14:09:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:09:21 +0100 | jollygood2 | (~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
2021-11-27 14:09:51 +0100 | <zzz> | my 's' key is failing me today but you get the point |
2021-11-27 14:10:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:11:06 +0100 | <Axman6> | that must uck zzz :) |
2021-11-27 14:11:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:12:08 +0100 | <zzz> | it' very trful |
2021-11-27 14:12:53 +0100 | <zzz> | *treful. oh no... |
2021-11-27 14:13:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:14:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:16:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:17:20 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:18:32 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-11-27 14:18:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:19:59 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
2021-11-27 14:20:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:20:42 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2021-11-27 14:21:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:22:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:23:26 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Client Quit) |
2021-11-27 14:23:54 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2021-11-27 14:24:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:25:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:26:03 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Client Quit) |
2021-11-27 14:27:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:27:21 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2021-11-27 14:28:02 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 240 seconds) |
2021-11-27 14:28:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:30:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:31:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:32:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:34:04 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-11-27 14:34:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:34:10 +0100 | ph88_ | (~ph88@2a02:8109:9e00:71d0:4444:8213:8d5f:108f) |
2021-11-27 14:35:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:36:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:38:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 14:38:08 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-11-27 14:38:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:38:43 +0100 | ph88^ | (~ph88@2a02:8109:9e00:71d0:fd99:6e74:1b49:af22) (Ping timeout: 268 seconds) |
2021-11-27 14:39:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:41:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:41:32 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
2021-11-27 14:41:48 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 268 seconds) |
2021-11-27 14:42:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 14:42:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
2021-11-27 14:43:04 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 14:43:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 14:44:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:44:33 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-27 14:45:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 14:46:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 14:46:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:47:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 14:48:04 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2021-11-27 14:48:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:49:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:51:03 +0100 | max22- | (~maxime@2a01cb08833598000bfe347d6ecb53d2.ipv6.abo.wanadoo.fr) |
2021-11-27 14:51:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 14:51:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:51:39 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
2021-11-27 14:52:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:53:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:55:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:56:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 14:58:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 14:59:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:00:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:01:06 +0100 | lagash | (lagash@lagash.shelltalk.net) |
2021-11-27 15:02:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:03:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:05:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:05:25 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-27 15:05:46 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-27 15:06:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:07:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:09:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:09:57 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) |
2021-11-27 15:10:17 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 15:10:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:11:28 +0100 | kennyd | (~bc8165b6@cerf.good1.com) |
2021-11-27 15:12:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:13:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:13:27 +0100 | dsrt^ | (~dsrt@68.101.58.90) (Ping timeout: 260 seconds) |
2021-11-27 15:14:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:15:03 +0100 | _xor | (~xor@72.49.199.147) |
2021-11-27 15:15:12 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-11-27 15:15:24 +0100 | hueso_ | (~root@user/hueso) (Ping timeout: 265 seconds) |
2021-11-27 15:16:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 15:17:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:18:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:19:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 15:20:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:20:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-11-27 15:21:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:23:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:23:35 +0100 | nucranium | (~nucranium@2a02:8010:6173:0:2164:de0d:a8d4:46df) |
2021-11-27 15:23:42 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Ping timeout: 256 seconds) |
2021-11-27 15:24:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:26:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:27:16 +0100 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-11-27 15:27:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:27:39 +0100 | dsrt^ | (~dsrt@68.101.58.90) |
2021-11-27 15:27:43 +0100 | <L29Ah> | is there a public service or a script that i can utilize to check whether my haskell projects build against the latest libs' releases? |
2021-11-27 15:28:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:29:15 +0100 | <fendor[m]> | Can I avoid using 'makeLens' without writing it myself? E.g. Can I achieve the same as 'makeLens' without TH and not writing it myself? Or is this eating my cake and having it too? |
2021-11-27 15:29:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 15:30:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:31:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:32:13 +0100 | kayprish | (~kayprish@185.37.27.218) |
2021-11-27 15:32:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:33:59 +0100 | <[exa]> | L29Ah: if the thing is on hackage, you can have a look at the build matrix which is there for this purpose |
2021-11-27 15:34:09 +0100 | <Rembane_> | fendor[m]: There are generics, I have never tried them myself though: https://github.com/kcsongor/generic-lens |
2021-11-27 15:34:14 +0100 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-27 15:34:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:34:51 +0100 | <[exa]> | L29Ah: other than that I'm not sure but you might be happy with just having a CI on github that triggers regularly and tries it. |
2021-11-27 15:35:00 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
2021-11-27 15:35:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:35:56 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
2021-11-27 15:36:12 +0100 | <[exa]> | wow, generic-lens claims almost zero overhead, good |
2021-11-27 15:37:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:37:29 +0100 | <Rembane_> | I haven't really thought about it, but what's the overhead of the other approaches? |
2021-11-27 15:37:50 +0100 | <kennyd> | oh, 9.2 became stable! that's the Record Dot Syntax release, isn't it |
2021-11-27 15:38:04 +0100 | <geekosaur> | yes |
2021-11-27 15:38:35 +0100 | <fendor[m]> | Rembane_: Template Haskell? It affects recompilation checks |
2021-11-27 15:38:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 15:39:34 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 256 seconds) |
2021-11-27 15:40:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:40:33 +0100 | <Rembane_> | fendor[m]: It does indeed. Everything is always recompiled. :/ |
2021-11-27 15:41:07 +0100 | <fendor[m]> | yeah, it sucks a bit. |
2021-11-27 15:41:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:41:41 +0100 | kennyd | (~bc8165b6@cerf.good1.com) (Quit: CGI:IRC) |
2021-11-27 15:41:55 +0100 | kennyd | (~bc8165b6@cerf.good1.com) |
2021-11-27 15:42:16 +0100 | xsperry | (~xs@user/xsperry) () |
2021-11-27 15:42:39 +0100 | xsperry | (~xs@user/xsperry) |
2021-11-27 15:43:08 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-11-27 15:43:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:43:37 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) |
2021-11-27 15:44:20 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 15:44:42 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 15:45:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:46:20 +0100 | <L29Ah> | [exa]: is it possible to subscribe to failures or no-ip? |
2021-11-27 15:47:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:48:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:48:59 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-27 15:49:02 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-11-27 15:49:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 15:50:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:51:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:52:39 +0100 | Moyst_ | (~moyst@user/moyst) |
2021-11-27 15:52:51 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 245 seconds) |
2021-11-27 15:52:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:54:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:55:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
2021-11-27 15:55:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 15:57:20 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 15:58:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:00:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:01:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:02:22 +0100 | reumeth | (~reumeth@user/reumeth) |
2021-11-27 16:02:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 16:02:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:04:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:04:11 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2021-11-27 16:05:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:05:46 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 16:06:43 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 250 seconds) |
2021-11-27 16:07:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:07:05 +0100 | xkuru | (~xkuru@user/xkuru) |
2021-11-27 16:08:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:08:37 +0100 | exbios | (~ri@2806:2f0:90a0:876c:954a:4038:b756:10de) |
2021-11-27 16:10:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:11:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:12:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:13:04 +0100 | Axman6 | (~Axman6@user/axman6) |
2021-11-27 16:13:58 +0100 | <Axman6> | fendor[m]: I disconnected for a bit, but did anyone suggest generic-lens? |
2021-11-27 16:14:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:14:25 +0100 | <fendor[m]> | Axman6: Yep, Rembane did |
2021-11-27 16:15:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:15:42 +0100 | <Axman6> | great |
2021-11-27 16:17:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:18:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 16:18:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:18:27 +0100 | ph88^ | (~ph88@ip5f5af068.dynamic.kabel-deutschland.de) |
2021-11-27 16:18:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 16:19:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
2021-11-27 16:19:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:21:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:21:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-27 16:22:18 +0100 | ph88_ | (~ph88@2a02:8109:9e00:71d0:4444:8213:8d5f:108f) (Ping timeout: 260 seconds) |
2021-11-27 16:22:19 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-11-27 16:22:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:23:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:24:31 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds) |
2021-11-27 16:25:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:25:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 16:26:48 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:27:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 16:27:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 16:27:27 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 16:28:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:28:31 +0100 | Gurkenglas | Gureknglas |
2021-11-27 16:29:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:29:40 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-27 16:31:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:32:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:32:44 +0100 | kayprish | (~kayprish@185.37.27.218) (Ping timeout: 265 seconds) |
2021-11-27 16:33:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:34:44 +0100 | rk04 | (~rk04@user/rajk) |
2021-11-27 16:35:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:36:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:38:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:38:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 16:39:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:41:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:41:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 16:42:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:42:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 16:43:47 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-11-27 16:43:53 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2021-11-27 16:44:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 16:45:08 +0100 | zaquest | (~notzaques@5.130.79.72) |
2021-11-27 16:45:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 245 seconds) |
2021-11-27 16:45:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:46:37 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 16:47:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:48:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:50:03 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:51:03 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-27 16:51:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:52:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:54:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:55:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 16:57:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 16:57:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 16:58:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:00:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:00:18 +0100 | jstolarek | (~jstolarek@137.220.120.162) |
2021-11-27 17:01:03 +0100 | shailangsa | (~shailangs@host86-186-136-24.range86-186.btcentralplus.com) (Remote host closed the connection) |
2021-11-27 17:01:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:02:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:03:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:03:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 17:05:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:05:56 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) |
2021-11-27 17:06:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:07:27 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
2021-11-27 17:07:41 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2021-11-27 17:08:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:09:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:10:42 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2021-11-27 17:11:03 +0100 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
2021-11-27 17:11:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:12:08 +0100 | <iphy> | where are the new yaml files for stack? https://github.com/commercialhaskell/lts-haskell only goes up to 14.27 |
2021-11-27 17:12:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:12:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2021-11-27 17:13:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:14:21 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 17:15:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:16:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 17:16:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:18:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:18:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 17:18:08 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 17:18:41 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
2021-11-27 17:18:53 +0100 | <zzz> | "in the beginning, the universe and record syntax were created. this had made many people very angry and has been widely regarded as a bad move" |
2021-11-27 17:19:33 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-11-27 17:19:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:20:06 +0100 | <Rembane_> | zzz: What's the source of that quote? :) |
2021-11-27 17:20:16 +0100 | <zzz> | Haskeller's Guide to the GHC? |
2021-11-27 17:20:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:22:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:22:34 +0100 | <zzz> | (it's the opening of The Restaurant at the End of the Universe (the 2nd book in hitchiker's guide to the galaxy), i just added record syntax) |
2021-11-27 17:22:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 17:22:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 268 seconds) |
2021-11-27 17:22:54 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-11-27 17:23:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:24:31 +0100 | kayprish | (~kayprish@185.37.26.208) |
2021-11-27 17:25:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:26:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:28:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:29:32 +0100 | kayprish | (~kayprish@185.37.26.208) (Ping timeout: 240 seconds) |
2021-11-27 17:29:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:30:27 +0100 | kayprish | (~kayprish@77.243.23.219) |
2021-11-27 17:31:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:32:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:34:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:35:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:36:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 17:36:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:38:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:39:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:40:13 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 17:40:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:41:05 +0100 | shailangsa | (~shailangs@host86-186-136-24.range86-186.btcentralplus.com) |
2021-11-27 17:42:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:43:16 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 245 seconds) |
2021-11-27 17:43:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:43:59 +0100 | hiruji | (~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-27 17:44:46 +0100 | hiruji | (~hiruji@user/hiruji) |
2021-11-27 17:45:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:45:56 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-11-27 17:46:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:48:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:49:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:51:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:51:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-11-27 17:51:26 +0100 | kayprish | (~kayprish@77.243.23.219) (Ping timeout: 260 seconds) |
2021-11-27 17:52:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 17:52:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:52:30 +0100 | Guest9947 | (~Guest99@90-224-172-26-no129.tbcn.telia.com) |
2021-11-27 17:53:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 17:53:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:55:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:55:26 +0100 | Organizers|Robin | (~Robin_Jad@152.67.64.160) (Ping timeout: 268 seconds) |
2021-11-27 17:56:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 17:56:47 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 260 seconds) |
2021-11-27 17:58:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 17:58:27 +0100 | fef | (~thedawn@user/thedawn) |
2021-11-27 17:59:04 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) |
2021-11-27 17:59:33 +0100 | alzgh | (~alzgh@user/alzgh) |
2021-11-27 17:59:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:00:03 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-27 18:00:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:01:43 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.3) |
2021-11-27 18:02:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:02:54 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 18:02:54 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 18:02:54 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 18:03:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:03:57 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2021-11-27 18:05:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:05:21 +0100 | max22- | (~maxime@2a01cb08833598000bfe347d6ecb53d2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-11-27 18:06:16 +0100 | max22- | (~maxime@2a01cb08833598002d178c07f23bab16.ipv6.abo.wanadoo.fr) |
2021-11-27 18:06:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:07:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2021-11-27 18:07:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:09:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:10:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:11:43 +0100 | lbseale_ | (~ep1ctetus@user/ep1ctetus) |
2021-11-27 18:11:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:13:04 +0100 | lbseale_ | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-11-27 18:13:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 18:13:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:14:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:15:42 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 260 seconds) |
2021-11-27 18:15:54 +0100 | <janus> | iphy: they were moved to a repo that contains both lts and nightly |
2021-11-27 18:16:06 +0100 | <janus> | iphy: you can find it in the same org. if you can't find it, let me know |
2021-11-27 18:16:17 +0100 | <iphy> | ah |
2021-11-27 18:16:24 +0100 | <iphy> | janus: thanks |
2021-11-27 18:16:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:16:39 +0100 | <iphy> | yup, found it: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/17/2.yaml |
2021-11-27 18:17:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:19:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:20:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:20:27 +0100 | <EvanR> | https://paste.tomsmeding.com/pEkhiK4j |
2021-11-27 18:20:47 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-11-27 18:21:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:23:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:23:06 +0100 | <dsal> | When someone asks if you're a god, you say yes. |
2021-11-27 18:23:14 +0100 | fjmorazan_ | fjmorazan |
2021-11-27 18:24:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:25:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:27:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:27:48 +0100 | <janus> | god is not great enough, needs to be capitalized :P |
2021-11-27 18:28:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:30:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:31:25 +0100 | <dsal> | Depends on whether we're talking about what type of person EvanR is, or whether it's just a value judgment. |
2021-11-27 18:31:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:31:44 +0100 | <EvanR> | no I agree with dsal |
2021-11-27 18:33:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:33:26 +0100 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
2021-11-27 18:34:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:34:29 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Ping timeout: 250 seconds) |
2021-11-27 18:35:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:36:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:38:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:38:45 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-11-27 18:39:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:41:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:41:45 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 18:41:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 18:41:46 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 18:41:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 18:42:20 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-27 18:42:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:43:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:45:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:46:08 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 265 seconds) |
2021-11-27 18:46:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:47:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:48:07 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Ping timeout: 260 seconds) |
2021-11-27 18:48:15 +0100 | oxide | (~lambda@user/oxide) |
2021-11-27 18:49:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:50:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:52:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:52:48 +0100 | retro_ | (~retro@97e2ba2e.skybroadband.com) |
2021-11-27 18:53:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:54:00 +0100 | retroid_ | (~retro@97e2ba2e.skybroadband.com) (Ping timeout: 268 seconds) |
2021-11-27 18:55:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:55:14 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-11-27 18:56:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 18:56:11 +0100 | \dev\ice | (~benner@2a01:4f8:1c1c:2178::1) () |
2021-11-27 18:57:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 18:58:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:00:19 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-27 19:00:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:01:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:02:08 +0100 | <mjrosenb> | has anyone been able to get stack traces with ghjcs? I've added some HasCallStack contexts, but I'm not seeing anything in the error messages. |
2021-11-27 19:03:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:04:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:06:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:07:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:08:38 +0100 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
2021-11-27 19:09:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:09:26 +0100 | SquidDev | (~SquidDev@autoclave.squiddev.cc) |
2021-11-27 19:10:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:11:58 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
2021-11-27 19:12:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:13:12 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 256 seconds) |
2021-11-27 19:13:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:13:54 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-27 19:15:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:15:26 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2021-11-27 19:16:01 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 19:16:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:18:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:19:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:19:33 +0100 | econo | (uid147250@user/econo) |
2021-11-27 19:20:28 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-11-27 19:20:47 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
2021-11-27 19:20:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:22:18 +0100 | MrNobody_0000000 | (~MrNobody@user/mrnobody-0000000/x-9129771) (Quit: MrNobody_0000000) |
2021-11-27 19:22:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-27 19:23:01 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
2021-11-27 19:23:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-27 19:27:17 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 19:27:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 19:27:37 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-11-27 19:29:17 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 19:29:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 19:29:42 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-27 19:31:03 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-11-27 19:31:12 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Read error: Connection reset by peer) |
2021-11-27 19:33:14 +0100 | <EvanR> | Ah whitespace mattering in haskell (t':ts) vs (t ': ts) |
2021-11-27 19:33:39 +0100 | bliminse | (~bliminse@host86-188-36-178.range86-188.btcentralplus.com) (Quit: leaving) |
2021-11-27 19:34:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 19:34:21 +0100 | <Rembane_> | EvanR: Didn't GHC like your new and fancy operator? |
2021-11-27 19:34:24 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 19:36:04 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 19:37:01 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 19:37:06 +0100 | x88x88x | (~x88x88x@gateway/vpn/pia/x88x88x) |
2021-11-27 19:37:39 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
2021-11-27 19:38:28 +0100 | synthmeat | (~synthmeat@user/synthmeat) |
2021-11-27 19:42:19 +0100 | bliminse | (~bliminse@host86-188-36-178.range86-188.btcentralplus.com) |
2021-11-27 19:42:25 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
2021-11-27 19:44:52 +0100 | <hpc> | you can name operators with '? |
2021-11-27 19:45:47 +0100 | <hpc> | or just a typo? |
2021-11-27 19:45:54 +0100 | <Rembane_> | hpc: Nope, I was wrong. It becomes a syntax error. |
2021-11-27 19:46:56 +0100 | <int-e> | :t Proxy :: Proxy ('() ': '[]) |
2021-11-27 19:46:57 +0100 | <lambdabot> | Proxy '['()] |
2021-11-27 19:47:00 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2021-11-27 19:47:24 +0100 | <Rembane_> | Is that a type level list? |
2021-11-27 19:47:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 19:47:48 +0100 | <int-e> | yes |
2021-11-27 19:47:59 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 19:47:59 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 19:47:59 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 19:48:53 +0100 | <EvanR> | t':ts it thinks t' is a variable, I think |
2021-11-27 19:49:57 +0100 | <EvanR> | the poor lexer |
2021-11-27 19:50:17 +0100 | kuribas | (~user@ptr-25vy0i9092f7cof0r9n.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-11-27 19:50:21 +0100 | Gureknglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
2021-11-27 19:51:33 +0100 | <int-e> | :t Proxy :: Proxy ('True':'[]) |
2021-11-27 19:51:34 +0100 | <lambdabot> | error: |
2021-11-27 19:51:34 +0100 | <lambdabot> | Not in scope: data constructor ‘True'’ |
2021-11-27 19:51:34 +0100 | <lambdabot> | Perhaps you meant ‘True’ (imported from Data.Bool) |
2021-11-27 19:51:46 +0100 | <int-e> | :t Proxy :: Proxy ('True ': '[]) |
2021-11-27 19:51:47 +0100 | <lambdabot> | Proxy '[ 'True] |
2021-11-27 19:51:50 +0100 | <int-e> | unsurprising |
2021-11-27 19:52:20 +0100 | <awpr> | another reason for https://gitlab.haskell.org/ghc/ghc/-/issues/20531 |
2021-11-27 19:52:38 +0100 | <awpr> | no single quote = no whitespace weirdness |
2021-11-27 19:53:12 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-11-27 19:53:38 +0100 | <int-e> | 't' might also be a character literal, hmm |
2021-11-27 19:53:39 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) |
2021-11-27 19:53:49 +0100 | zer0bitz | (~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) (Read error: Connection reset by peer) |
2021-11-27 19:54:42 +0100 | <EvanR> | oh jeez |
2021-11-27 19:56:29 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 19:58:09 +0100 | zer0bitz | (~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) |
2021-11-27 20:02:28 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:02:30 +0100 | rk04 | (~rk04@user/rajk) |
2021-11-27 20:04:10 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:04:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:05:07 +0100 | x88x88x | (~x88x88x@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients) |
2021-11-27 20:06:17 +0100 | x88x88x | (~x88x88x@gateway/vpn/pia/x88x88x) |
2021-11-27 20:08:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:08:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:11:27 +0100 | <EvanR> | awpr, wow... I don't even need the ' xD |
2021-11-27 20:13:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-27 20:14:11 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 268 seconds) |
2021-11-27 20:16:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:16:52 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:16:59 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-27 20:19:13 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 20:19:35 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-11-27 20:20:57 +0100 | koz | (~koz@121.99.240.58) |
2021-11-27 20:21:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-11-27 20:22:38 +0100 | <EvanR> | is there something like a kind synonym |
2021-11-27 20:23:23 +0100 | <EvanR> | or is the type synonym syntax supposed to work for that |
2021-11-27 20:23:52 +0100 | <geekosaur> | type synonyms should work but you may need an extension |
2021-11-27 20:23:55 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-11-27 20:25:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:25:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:25:56 +0100 | jespada | (~jespada@87.74.37.56) |
2021-11-27 20:26:35 +0100 | <hskpractice> | when i build with stack i want to somehow inline a few text files that are basically non-code libraries, so that i don't have to ship with those libraries, but just have one self-contained binary. am i thinking about it in the wrong way? |
2021-11-27 20:26:43 +0100 | <hskpractice> | any idea on how i would accomplish that? |
2021-11-27 20:26:55 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 20:27:03 +0100 | jespada | (~jespada@87.74.37.56) (Read error: Connection reset by peer) |
2021-11-27 20:27:04 +0100 | <EvanR> | I tried to establish a sort of schema for a record like type X = [("symbol", Float)] |
2021-11-27 20:27:13 +0100 | <EvanR> | it complains that "symbol" is a Symbol not a * |
2021-11-27 20:27:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 20:27:32 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 240 seconds) |
2021-11-27 20:27:35 +0100 | x88x88x | (~x88x88x@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients) |
2021-11-27 20:27:37 +0100 | jespada | (~jespada@87.74.37.56) |
2021-11-27 20:28:04 +0100 | <awpr> | :kind! (,) |
2021-11-27 20:28:17 +0100 | <awpr> | > :kind! (,) |
2021-11-27 20:28:18 +0100 | <geekosaur> | % :kind! (,) |
2021-11-27 20:28:18 +0100 | <yahb> | geekosaur: * -> * -> *; = (,) |
2021-11-27 20:28:19 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
2021-11-27 20:28:27 +0100 | <EvanR> | oh dang |
2021-11-27 20:28:52 +0100 | <awpr> | that one would actually need a quote, since a promoted tuple is different from the type of tuples |
2021-11-27 20:28:54 +0100 | <EvanR> | how is that working then... I'm using a pair of Symbol and * in the implementation of the record |
2021-11-27 20:29:15 +0100 | <geekosaur> | % :set -XPolyKinds |
2021-11-27 20:29:16 +0100 | <yahb> | geekosaur: |
2021-11-27 20:29:23 +0100 | <geekosaur> | % :kind! (,) |
2021-11-27 20:29:23 +0100 | <yahb> | geekosaur: * -> * -> *; = (,) |
2021-11-27 20:29:27 +0100 | <geekosaur> | feh |
2021-11-27 20:29:39 +0100 | <awpr> | % :kind! '(, |
2021-11-27 20:29:39 +0100 | <yahb> | awpr: ; <interactive>:1:4: error: parse error (possibly incorrect indentation or mismatched brackets) |
2021-11-27 20:29:40 +0100 | <awpr> | % :kind! '(,) |
2021-11-27 20:29:41 +0100 | <yahb> | awpr: a -> b -> (a, b); = '(,) |
2021-11-27 20:29:54 +0100 | <EvanR> | ah it was the quote... and maybe also polykinds |
2021-11-27 20:31:32 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-11-27 20:33:20 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-11-27 20:33:39 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-27 20:33:58 +0100 | <hpc> | why is yahb formatting it like that? |
2021-11-27 20:35:03 +0100 | <hpc> | oh, normalized type |
2021-11-27 20:36:48 +0100 | <EvanR> | :kind (,) |
2021-11-27 20:36:55 +0100 | <EvanR> | i see |
2021-11-27 20:37:08 +0100 | <sm> | hskpractice: file-embed package ? |
2021-11-27 20:37:25 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-11-27 20:38:16 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
2021-11-27 20:39:01 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
2021-11-27 20:41:54 +0100 | <geekosaur> | I think LB only understands it as :k and doesn't support :k! |
2021-11-27 20:41:58 +0100 | <geekosaur> | :k (,) |
2021-11-27 20:41:59 +0100 | <lambdabot> | * -> * -> * |
2021-11-27 20:42:16 +0100 | kennyd | (~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
2021-11-27 20:44:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:44:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:46:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:46:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:47:49 +0100 | mbuf | (~Shakthi@122.174.185.81) (Quit: Leaving) |
2021-11-27 20:48:57 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-27 20:49:31 +0100 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
2021-11-27 20:50:54 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:51:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 20:51:45 +0100 | Everything | (~Everythin@37.115.210.35) |
2021-11-27 20:54:14 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
2021-11-27 20:56:15 +0100 | Guest9947 | (~Guest99@90-224-172-26-no129.tbcn.telia.com) (Quit: Client closed) |
2021-11-27 20:59:42 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 20:59:52 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients) |
2021-11-27 21:00:50 +0100 | ub | (~Thunderbi@p548c9fcb.dip0.t-ipconnect.de) (Quit: ub) |
2021-11-27 21:03:56 +0100 | rk04 | (~rk04@user/rajk) |
2021-11-27 21:05:19 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 260 seconds) |
2021-11-27 21:05:22 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 268 seconds) |
2021-11-27 21:06:43 +0100 | juhp | (~juhp@128.106.188.82) |
2021-11-27 21:09:50 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 21:09:50 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 21:09:51 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 21:15:43 +0100 | pavonia | (~user@user/siracusa) |
2021-11-27 21:18:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-27 21:21:42 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 21:25:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 21:26:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 21:27:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 21:27:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 21:28:40 +0100 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
2021-11-27 21:28:53 +0100 | <hololeap> | /usr/lib64/x86_64-linux-ghc-9.2.1/libHSnetwork-uri-2.6.4.1-LtJsElfesy1349BRswtapk-ghc9.2.1.so |
2021-11-27 21:29:04 +0100 | <hololeap> | anyone know what the string LtJsElfesy1349BRswtapk is? |
2021-11-27 21:29:13 +0100 | <geekosaur> | ABI hash |
2021-11-27 21:29:25 +0100 | <hololeap> | oh, how does that get calculated? |
2021-11-27 21:29:31 +0100 | <geekosaur> | ghc computes it during compilation |
2021-11-27 21:30:31 +0100 | <geekosaur> | it also includes things like compile options that can change generated object code or inlineable source in the .hi file, since that also produces binary incompatibility between builds |
2021-11-27 21:30:39 +0100 | <hololeap> | I'm running into something where it changes depending on whether or not --enable-tests is turned on |
2021-11-27 21:31:12 +0100 | <geekosaur> | @where paste |
2021-11-27 21:31:12 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2021-11-27 21:31:18 +0100 | <geekosaur> | show your cabal file? |
2021-11-27 21:31:41 +0100 | <geekosaur> | (and/or stack.yaml if applicable) |
2021-11-27 21:32:14 +0100 | <hololeap> | so in gentoo, all the dependency resolution is through the package manager. sometimes you get circular dependencies with the tests and the only way to break them is to compile a package with tests off, finish compiling the other packages, then go back and turn tests on for the first package if you want |
2021-11-27 21:32:30 +0100 | <EvanR> | this is funny, type F a = G X a won't let me use F unapplied but type F = G X will |
2021-11-27 21:32:30 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2021-11-27 21:32:40 +0100 | <hololeap> | this changes that ABI hash, and so you then have to recompile the reverse-dependencies of that package |
2021-11-27 21:33:28 +0100 | <geekosaur> | that implies the tests do something like "ghc-options: -O0" or some other flag that affects the shared library ABI |
2021-11-27 21:33:33 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-27 21:33:52 +0100 | <hololeap> | I'll look into it, but I think the only difference is --enable-tests or not |
2021-11-27 21:34:25 +0100 | <geekosaur> | although sometimes cabal flips a flag that it thinks won't affect the ABI but does (use -v3 during the build, then ask in #hackage) |
2021-11-27 21:34:48 +0100 | <hololeap> | so yeah, I'd like to figure out how to toggle tests and keep that ABI hash from changing. anyway, thanks for telling me the name of it |
2021-11-27 21:35:06 +0100 | <geekosaur> | this is I think still shaking down because ghc has a ridiculous number of options and figuring out which ones affect shlib ABI is painful |
2021-11-27 21:35:35 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2021-11-27 21:35:59 +0100 | <geekosaur> | also sometimes ghc thinks one flag affects ABI when it doesn't, and hashes it inappropriately. but --enable-tests is not passed to ghc as such |
2021-11-27 21:36:44 +0100 | <geekosaur> | so cabal is changing some option, which is why you need to compare cabal -v3 output to see what ghc-passed flags change with --enable-tests |
2021-11-27 21:37:10 +0100 | <hololeap> | ok |
2021-11-27 21:37:21 +0100 | <hololeap> | thanks |
2021-11-27 21:37:26 +0100 | Everything | (~Everythin@37.115.210.35) (Ping timeout: 268 seconds) |
2021-11-27 21:37:42 +0100 | <geekosaur> | then you ask in #hackage, and they may redirect you to #ghc |
2021-11-27 21:37:57 +0100 | <geekosaur> | (#hackage being where the cabal devs hang out) |
2021-11-27 21:38:16 +0100 | <hololeap> | cool |
2021-11-27 21:39:07 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 21:39:28 +0100 | exbios | (~ri@2806:2f0:90a0:876c:954a:4038:b756:10de) (Remote host closed the connection) |
2021-11-27 21:40:03 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-11-27 21:40:21 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-27 21:43:42 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 21:43:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 21:46:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 21:46:51 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-11-27 21:46:58 +0100 | <sclv> | my guess is enable tests or not calculates a different build plan if there’s test deps not in the main lib |
2021-11-27 21:47:13 +0100 | <sclv> | so eg a different version of bytestring is picked |
2021-11-27 21:47:28 +0100 | <sclv> | all of which is correct and as designed |
2021-11-27 21:48:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-27 21:51:10 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-27 21:51:18 +0100 | justache | justBOOMER |
2021-11-27 21:55:32 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) |
2021-11-27 21:55:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-27 21:56:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-27 21:56:18 +0100 | zzz | (~z@user/zero) () |
2021-11-27 21:56:47 +0100 | yin | (~z@user/zero) |
2021-11-27 21:58:03 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
2021-11-27 21:58:18 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) (Remote host closed the connection) |
2021-11-27 21:59:03 +0100 | oxide | (~lambda@user/oxide) (Quit: oxide) |
2021-11-27 22:03:11 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 22:03:11 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 22:03:11 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 22:03:43 +0100 | <smunix> | hey, is anyone else having troubles accessing github here? |
2021-11-27 22:04:36 +0100 | <yushyin> | https://www.githubstatus.com/ |
2021-11-27 22:04:55 +0100 | <smunix> | yeah, just saw it too. It's currently down |
2021-11-27 22:06:49 +0100 | x88x88x | (~chee@gateway/vpn/pia/x88x88x) |
2021-11-27 22:08:06 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-11-27 22:09:29 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-11-27 22:13:24 +0100 | <EvanR> | yep |
2021-11-27 22:14:31 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) |
2021-11-27 22:14:54 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 22:15:24 +0100 | x88x88x | (~chee@gateway/vpn/pia/x88x88x) (Remote host closed the connection) |
2021-11-27 22:15:45 +0100 | <EvanR> | code only a haskeller could love, what I came up with to make sure I don't put the wrong thing in the wrong field, i.e. show the field name even though it's unnecessary https://paste.tomsmeding.com/Unv4xE8D |
2021-11-27 22:15:45 +0100 | <yin> | after cabal init, where do i put my persnal modules? ./app/MyModule/MyMdule.hs ? |
2021-11-27 22:16:10 +0100 | jgeerds | (~jgeerds@55d45b75.access.ecotel.net) (Remote host closed the connection) |
2021-11-27 22:18:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-27 22:18:15 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-27 22:20:26 +0100 | <yushyin> | yin: depends on the cabal file, but usually ./src/ for the lib and ./app/ for the executable. Check the hs-source-dirs fields in your cabal file |
2021-11-27 22:20:35 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
2021-11-27 22:20:39 +0100 | evocatus | (~evocatus@213.193.2.105) |
2021-11-27 22:21:33 +0100 | <yin> | i mean extra modules i want to import in my Main.hs |
2021-11-27 22:22:28 +0100 | <yin> | cabal init created ./app/Main.hs |
2021-11-27 22:25:11 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) |
2021-11-27 22:25:21 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
2021-11-27 22:25:41 +0100 | <yushyin> | then under ./app/ is ok, but as said, you can check it when you are in cabal. hs-source-dirs is the field that sets the source directories. https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=hs-source-dirs#pkg-field-hs-sourc… |
2021-11-27 22:25:47 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2021-11-27 22:25:53 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-11-27 22:26:13 +0100 | <yushyin> | check it in your cabal file* |
2021-11-27 22:26:46 +0100 | <EvanR> | there's a funny pattern where your entire program is implemented as a library in src/ and Main.hs is your only app/ file, and it boots the lib xD |
2021-11-27 22:26:51 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-11-27 22:27:53 +0100 | <geekosaur> | which is useful when you want a test suite that tests your app's logic, since it can't load your Main but has access to the library |
2021-11-27 22:28:42 +0100 | Guest|17 | (~Guest|17@80.89.73.139) |
2021-11-27 22:28:46 +0100 | <hpc> | or just in general |
2021-11-27 22:29:04 +0100 | <hpc> | imagine a stack/cabal situation where you're enhancing an existing utility, and you don't want to have to rewrite the whole thing yourself |
2021-11-27 22:29:47 +0100 | deadmarshal | (~deadmarsh@95.38.228.146) (Ping timeout: 250 seconds) |
2021-11-27 22:29:50 +0100 | <int-e> | this happened to ghci I believe |
2021-11-27 22:30:09 +0100 | Guest|17 | (~Guest|17@80.89.73.139) (Client Quit) |
2021-11-27 22:30:14 +0100 | <int-e> | (which only recently became packaged as a library so the amount of code that people have to copy is signficantly reduced) |
2021-11-27 22:30:24 +0100 | <yin> | i'll be back with questions. the docs are confusing me, need t reread them |
2021-11-27 22:31:31 +0100 | <int-e> | fsvo "recently"... did it happen with ghc-8.0? |
2021-11-27 22:32:52 +0100 | <hpc> | sometimes i still think ghc 7 is recent :P |
2021-11-27 22:33:12 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-27 22:34:52 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 22:36:09 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-11-27 22:37:55 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
2021-11-27 22:38:28 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2021-11-27 22:38:45 +0100 | zer0bitz | (~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) (Read error: Connection reset by peer) |
2021-11-27 22:44:34 +0100 | Eoco_ | (~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 256 seconds) |
2021-11-27 22:44:34 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2021-11-27 22:46:58 +0100 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) |
2021-11-27 22:47:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 22:50:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-27 22:51:25 +0100 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
2021-11-27 22:52:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-11-27 22:52:31 +0100 | Pickchea | (~private@user/pickchea) |
2021-11-27 22:52:32 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) |
2021-11-27 22:53:46 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-27 22:55:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
2021-11-27 22:55:28 +0100 | zebrag | (~chris@user/zebrag) |
2021-11-27 22:58:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 22:58:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:04:22 +0100 | slack1256 | (~slack1256@181.42.48.169) |
2021-11-27 23:06:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:06:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:10:12 +0100 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
2021-11-27 23:10:21 +0100 | hololeap_ | (~hololeap@user/hololeap) |
2021-11-27 23:10:40 +0100 | <oats> | is there no "not" combinator in megaparsec |
2021-11-27 23:12:35 +0100 | <dsal> | What do you mean? |
2021-11-27 23:12:38 +0100 | <monochrom> | notFollowedBy comes as close to "not" as sensible in parsing. |
2021-11-27 23:14:29 +0100 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-27 23:14:42 +0100 | <oats> | mm, thanks |
2021-11-27 23:15:01 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) |
2021-11-27 23:16:10 +0100 | <monochrom> | This is where theoretical education helps debunk certain intuitions. |
2021-11-27 23:16:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-27 23:16:46 +0100 | <oats> | how so? notFollowedBy seems to do what I had in mind |
2021-11-27 23:17:13 +0100 | <monochrom> | "not" looks intuitive because the complement of a regular language is still a regular language, and the complement of a decidable language is still a decidable language. |
2021-11-27 23:17:46 +0100 | <monochrom> | But the complement of a context-free language is usually not a context-free language. "not" is nonsense in CFG parsing. |
2021-11-27 23:17:55 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection) |
2021-11-27 23:18:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-11-27 23:18:18 +0100 | <monochrom> | Clearly puny humans take inspirations from a few regexes and decidable languages only. |
2021-11-27 23:18:21 +0100 | <oats> | huh, I did not realize that |
2021-11-27 23:18:32 +0100 | <monochrom> | And just think it generalizes. |
2021-11-27 23:18:34 +0100 | <oats> | I need better familiarize myself with The Hierarchy |
2021-11-27 23:19:20 +0100 | <hpc> | while you're at it, put context-sensitive languages on that list |
2021-11-27 23:19:26 +0100 | <hpc> | not for any practical reason, it's just neat :P |
2021-11-27 23:20:15 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-11-27 23:20:45 +0100 | <oats> | I'm excited to recognize some of these words though, I'm currently taking a discrete math class |
2021-11-27 23:21:16 +0100 | <oats> | we just finished up regular languages, NFAs, and have touched on decidability |
2021-11-27 23:22:07 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2021-11-27 23:24:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:24:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:26:03 +0100 | slac59050 | (~slack1256@181.42.48.169) |
2021-11-27 23:26:39 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
2021-11-27 23:27:05 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-27 23:27:35 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2021-11-27 23:27:38 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-11-27 23:27:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-11-27 23:28:09 +0100 | slack1256 | (~slack1256@181.42.48.169) (Ping timeout: 256 seconds) |
2021-11-27 23:28:32 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 240 seconds) |
2021-11-27 23:30:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:30:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:31:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-27 23:31:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-27 23:31:14 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-27 23:36:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:36:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:38:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:38:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:39:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2021-11-27 23:41:21 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-27 23:43:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:43:15 +0100 | ubert1 | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-27 23:43:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:43:32 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2021-11-27 23:43:32 +0100 | ubert1 | ubert |
2021-11-27 23:44:53 +0100 | nucranium | (~nucranium@2a02:8010:6173:0:2164:de0d:a8d4:46df) (Remote host closed the connection) |
2021-11-27 23:45:43 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-11-27 23:46:33 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2021-11-27 23:49:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:49:56 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:341b:dd7e:779b:cbe2) (Ping timeout: 245 seconds) |
2021-11-27 23:49:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:50:59 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:e80:8ab6:f849:2190) |
2021-11-27 23:52:06 +0100 | Clint_ | Clint |
2021-11-27 23:53:07 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) |
2021-11-27 23:55:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-27 23:58:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-27 23:58:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-27 23:59:54 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |