Logs: liberachat/#haskell
| 2021-08-21 18:56:07 | <janus> | would it be possible to find it via hoogle? i am not too familiar, but it sounds like it should be "(String -> a) -> QQ a" or something? |
| 2021-08-21 18:58:01 | → | jamestmartin joins (james@jtmar.me) |
| 2021-08-21 18:59:51 | <hololeap> | I remember it had a typeclass that handled conversion to QQ |
| 2021-08-21 19:00:56 | × | kuribas quits (~user@ptr-25vy0i7pvnvbb3ckill.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-21 19:01:47 | <tomsmeding> | maerwald: Drew[m]: working HLS for me in app/ghcup/Main.hs https://tomsmeding.com/ss/get/tomsmeding/JOKELd |
| 2021-08-21 19:01:58 | <tomsmeding> | ghc 8.10.6 with my self-compiled HLS |
| 2021-08-21 19:02:34 | <Drew[m]> | hmm |
| 2021-08-21 19:02:43 | <Drew[m]> | I'll give that a go at some point |
| 2021-08-21 19:03:53 | <tomsmeding> | hololeap: https://hackage.haskell.org/package/validated-literals |
| 2021-08-21 19:03:55 | <hololeap> | sweet, I found it by searching through my IRC logs: https://hackage.haskell.org/package/validated-literals |
| 2021-08-21 19:04:00 | <hololeap> | lol |
| 2021-08-21 19:04:02 | tomsmeding | high-fives hololeap |
| 2021-08-21 19:04:05 | <tomsmeding> | that timing was perfect |
| 2021-08-21 19:04:15 | <hololeap> | yes it was :) |
| 2021-08-21 19:04:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2021-08-21 19:05:09 | → | Guest2130 joins (~Guest21@2a02:8109:a080:6368:d5d2:328b:373c:5b57) |
| 2021-08-21 19:05:21 | <Guest2130> | Got a question in terms of record fields |
| 2021-08-21 19:05:24 | <tomsmeding> | (I just searched for 'literal' on hackage and went through the not-even-all-that-long list of 85 packages) |
| 2021-08-21 19:05:37 | <tomsmeding> | also written by a #haskell regular :) |
| 2021-08-21 19:06:07 | <maerwald> | tomsmeding: see those sweet quasi quotes in the code? :d |
| 2021-08-21 19:06:26 | <maerwald> | nice is when your quasi quotes starts with # on the second line |
| 2021-08-21 19:06:49 | <maerwald> | most tools will think it's CPP and then mess up |
| 2021-08-21 19:06:59 | <tomsmeding> | not my vim :p |
| 2021-08-21 19:07:10 | <maerwald> | well, I think even hlint fails here |
| 2021-08-21 19:07:16 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-21 19:07:18 | <Guest2130> | https://paste.tomsmeding.com/oKfOX56s |
| 2021-08-21 19:07:43 | <Guest2130> | Can anyone look at this and tell me how I might be able to do this better? |
| 2021-08-21 19:08:08 | <Guest2130> | It can't match expected type CSStudent, with DBTreeO CSStudent |
| 2021-08-21 19:08:27 | <Guest2130> | I know I'm on the verge of the solution, just not sure what the last part is |
| 2021-08-21 19:08:45 | <tomsmeding> | Guest2130: what line is that error on? |
| 2021-08-21 19:08:57 | <tomsmeding> | ah I see it |
| 2021-08-21 19:09:27 | <Guest2130> | Yea, it's the last line |
| 2021-08-21 19:09:32 | <tomsmeding> | I'd expect the error to be pretty clear in this case (allowing for the general situation where it takes some time before you get used to ghc's errors) |
| 2021-08-21 19:09:43 | <tomsmeding> | last line? |
| 2021-08-21 19:09:51 | <tomsmeding> | oh right yes |
| 2021-08-21 19:09:53 | <Guest2130> | Did I send the wrong snippet? |
| 2021-08-21 19:10:09 | <tomsmeding> | no you didn't |
| 2021-08-21 19:10:25 | <monochrom> | I am unsympathetic. This doesn't look like you are even aware that you have to code up an elaborate search algorithm. |
| 2021-08-21 19:10:50 | <Guest2130> | I don't have to make anything elaborate, is the thing |
| 2021-08-21 19:10:57 | <__monty__> | Guest2130: Look at the types of `students` and `sid`. |
| 2021-08-21 19:12:12 | × | vpan quits (~vilius@212.117.1.172) (Quit: Leaving.) |
| 2021-08-21 19:12:13 | <monochrom> | The DBTreeO type is a pretty elaborate tree. I would think that looking for a node that has the thing you want is not going to be just a 1-liner, much less a 5-worder. |
| 2021-08-21 19:14:13 | <Drew[m]> | <Drew[m]> "I'll give that a go at some poin" <- Just got to compile a small handful of dependencies first... |
| 2021-08-21 19:14:13 | <Drew[m]> | https://paste.tomsmeding.com/zzR5f9id |
| 2021-08-21 19:14:48 | <tomsmeding> | Drew[m]: get a better PC, you surely didn't think you could be productive in haskell without a 20-core machine |
| 2021-08-21 19:15:48 | <tomsmeding> | Drew[m]: do you already have a HLS for 8.10.6? note that that particular ghc version doesn't have a released HLS yet as far as I know |
| 2021-08-21 19:16:42 | <Drew[m]> | I don't have HLS for 8.10.6 but I'm willing to compile it from source if it'll fix this one thing |
| 2021-08-21 19:17:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 19:17:32 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 19:17:42 | <Drew[m]> | But that's just me recompiling ghcup |
| 2021-08-21 19:18:03 | <tomsmeding> | well HLS also has a bunch of dependencies, that's why I asked :p |
| 2021-08-21 19:18:22 | <maerwald> | Drew[m]: why are you compiling ghcup from source anyway? |
| 2021-08-21 19:20:22 | → | jacks2 joins (~bc8167eb@217.29.117.252) |
| 2021-08-21 19:20:27 | ← | jacks2 parts (~bc8167eb@217.29.117.252) () |
| 2021-08-21 19:21:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-21 19:23:09 | <tomsmeding> | oh hey, I tried again using ghc 9.0.1 and a downloaded HLS binary, and suddenly I see my friend again that I hadn't seen for almost a year at this point |
| 2021-08-21 19:23:17 | <tomsmeding> | that friend being "allocatestack.c:384: advise_stack_range: Assertion `freesize < size' failed." |
| 2021-08-21 19:23:47 | <tomsmeding> | previously the fix for that seemed to be a build on my own machine |
| 2021-08-21 19:23:54 | tomsmeding | compiles HLS |
| 2021-08-21 19:24:11 | <Drew[m]> | <maerwald> "Drew: why are you compiling..." <- I'm poking and prodding that large Main.hs file you mentioned |
| 2021-08-21 19:24:23 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-21 19:31:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 19:31:34 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-21 19:32:43 | × | mei quits (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-08-21 19:33:49 | × | neo quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds) |
| 2021-08-21 19:34:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-21 19:36:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-08-21 19:38:03 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-21 19:39:30 | <tomsmeding> | Drew[m]: maerwald: yep, self-compiled HLS with ghc 9.0.1 works with ghcup's app/ghcup/Main.hs :) |
| 2021-08-21 19:40:21 | <tomsmeding> | it's slow though, but it works (feedback after making a change takes like 1sec or something) |
| 2021-08-21 19:40:43 | <Drew[m]> | Oh neat I'll just recompile all these dependencies with 9.0.1 |
| 2021-08-21 19:40:54 | <Drew[m]> | 😱 |
| 2021-08-21 19:41:01 | <tomsmeding> | :D |
| 2021-08-21 19:41:19 | <tomsmeding> | like, I could send you my binary but that probably wouldn't help :p |
| 2021-08-21 19:41:22 | <maerwald> | I have no idea how the dep footprint got so bad, but yeah |
| 2021-08-21 19:41:45 | <tomsmeding> | Drew[m]: didn't 8.10.6 work for you? |
| 2021-08-21 19:41:52 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-21 19:42:17 | <Drew[m]> | It probably will and I will probably just use that |
| 2021-08-21 19:42:29 | <Drew[m]> | But that's les humourous |
| 2021-08-21 19:42:40 | <Drew[m]> | less* |
| 2021-08-21 19:43:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-08-21 19:43:59 | <Drew[m]> | The long first-time compile is not something that normally bothers me since usually I'm not constantly switching compiler version |
| 2021-08-21 19:44:28 | <Drew[m]> | It's just that trying to fix the HLS issue has been making me do it an awful lot recently |
| 2021-08-21 19:44:30 | <maerwald> | I am for libraries, testing between 8.0.2 and 9.0.1 |
| 2021-08-21 19:44:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-21 19:44:51 | <maerwald> | with stack it's a little tedious, because it locks you into old Cabal versions |
| 2021-08-21 19:45:10 | <maerwald> | then you can't use modern cabal features on old resolvers |
| 2021-08-21 19:45:31 | <maerwald> | but 8.0.2 works fine with new Cabal |
| 2021-08-21 19:48:19 | <Drew[m]> | I started on 9.0.1, then thought maybe HLS would be more likely to work on an older version so switched to 8.10.6, not realizing it didn't have a HLS release for it yet... |
| 2021-08-21 19:48:19 | <Drew[m]> | So then I switched to 8.10.5, and that didn't fix it. |
| 2021-08-21 19:48:25 | <Drew[m]> | Then I realized I hadn't put -haddock in my cabal config properly, because I hadn't commented out a certain line... so I had to fix that... ofc meaning literally everything must recompile. |
| 2021-08-21 19:48:28 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-21 19:48:45 | <Drew[m]> | So even if I was to switch back to 9.0.1 where I originally built it, it'll have to rebuild anyway |
| 2021-08-21 19:48:55 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-21 19:49:09 | <Drew[m]> | not fun |
| 2021-08-21 19:49:15 | <maerwald> | wasn't there a thing to view the depgraph of haskell packages to figure out what's the biggest culprit? |
| 2021-08-21 19:49:46 | <tomsmeding> | maerwald: well there's 'cabal-plan dot | dot -Tpng -o graph.png' but not sure whether that will help immensely (I already tried) |
| 2021-08-21 19:49:53 | × | gentauro_ quits (~gentauro@95.166.247.26) (Ping timeout: 248 seconds) |
| 2021-08-21 19:49:58 | <maerwald> | I want stats |
| 2021-08-21 19:50:07 | <maerwald> | like: direct dependencies and their trans |
All times are in UTC.