Logs: freenode/#haskell
| 2020-10-26 03:16:19 | <mikevdg> | Or just do what I do, and never make spelling mistakes. |
| 2020-10-26 03:16:30 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-26 03:17:27 | <Axman6> | mikevdg: the VS Code extension is supposed to install the appropriate HLS binary for you |
| 2020-10-26 03:18:10 | <mikevdg> | yea, that's the part that didn't work. The download just failed. So I downloaded and installed manually, and now I get "The haskell-language-server has crashed 5 times" or something similar. |
| 2020-10-26 03:18:18 | <crestfallen> | mikevdg, one sec.. thanks |
| 2020-10-26 03:18:44 | <Axman6> | it's important to get the right HLS binary for your project though, the GHC used to compile it needs to match |
| 2020-10-26 03:18:45 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 2020-10-26 03:19:07 | <Axman6> | when you say the download failed, how did it fail? |
| 2020-10-26 03:19:09 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-26 03:19:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-26 03:19:29 | <mikevdg> | I'll try installing it again now. |
| 2020-10-26 03:19:29 | <Axman6> | and what errors does the failing hld binary sent to its output? |
| 2020-10-26 03:19:32 | <Axman6> | hls* |
| 2020-10-26 03:19:58 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2020-10-26 03:21:11 | <mikevdg> | Message: user error (AesonException "Error in $: key \"packages\" not found") |
| 2020-10-26 03:21:42 | <mikevdg> | Looks like malformed JSON, but I can't find any JSON anywhere. |
| 2020-10-26 03:21:57 | <Axman6> | are you using a stack based project? |
| 2020-10-26 03:21:59 | → | qapla_org joins (~qapla_org@185.163.110.116) |
| 2020-10-26 03:22:02 | <mikevdg> | yes |
| 2020-10-26 03:22:14 | <Axman6> | what's your stack.yaml look like? |
| 2020-10-26 03:22:17 | <Axman6> | !where paste |
| 2020-10-26 03:22:17 | <mikevdg> | ...except for the JSON that goes between VS Code and the language server. |
| 2020-10-26 03:22:21 | <Axman6> | @where paste |
| 2020-10-26 03:22:21 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2020-10-26 03:22:42 | <Axman6> | IIRC the Yaml parser is built on top of Aeson |
| 2020-10-26 03:22:46 | <mikevdg> | lambdabot: good bot, but it's only two lines long. |
| 2020-10-26 03:22:48 | <mikevdg> | resolver: lts-16.18install-ghc: true |
| 2020-10-26 03:23:06 | <Axman6> | it needs a packages entry too |
| 2020-10-26 03:23:08 | <Axman6> | packages: |
| 2020-10-26 03:23:12 | <Axman6> | - '.' |
| 2020-10-26 03:23:22 | <mikevdg> | Thanks, will add. |
| 2020-10-26 03:24:05 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 240 seconds) |
| 2020-10-26 03:24:34 | <mikevdg> | oohh... it's doing something! |
| 2020-10-26 03:24:38 | → | Guest_86 joins (96cb02f0@150.203.2.240) |
| 2020-10-26 03:25:17 | <mikevdg> | It's... consuming my hard drive and blowing a lot of hot air out the back of my PC! |
| 2020-10-26 03:25:26 | <Axman6> | as it should |
| 2020-10-26 03:25:58 | hackage | egison 4.1.2 - Programming language with non-linear pattern-matching against non-free data https://hackage.haskell.org/package/egison-4.1.2 (SatoshiEgi) |
| 2020-10-26 03:26:03 | → | hyiltiz joins (~quassel@82.118.227.47) |
| 2020-10-26 03:26:03 | × | hyiltiz quits (~quassel@82.118.227.47) (Changing host) |
| 2020-10-26 03:26:03 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2020-10-26 03:30:08 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-26 03:30:19 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-26 03:30:45 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 2020-10-26 03:31:11 | × | gattytto quits (b33e397e@179.62.57.126) (Remote host closed the connection) |
| 2020-10-26 03:31:21 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-26 03:31:39 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-26 03:31:39 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-26 03:31:39 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-26 03:32:08 | <crestfallen> | mikevdg, I think that command is export TERM=vt100. can I write that in .bash_profile ? |
| 2020-10-26 03:33:51 | <mikevdg> | er... if you want, but you only get very basic monochrome functionality. A VT-100 is an ancient console from the 1980s. |
| 2020-10-26 03:34:06 | <mikevdg> | I use that if absolutely nothing else works. |
| 2020-10-26 03:35:01 | <mikevdg> | I suspect that your gnome-terminal is misconfigured a bit though. Somebody might have changed it's behaviour. |
| 2020-10-26 03:35:25 | × | theDon quits (~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 240 seconds) |
| 2020-10-26 03:35:28 | <mikevdg> | Either that, or your readline library got reconfigured by something. |
| 2020-10-26 03:35:40 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds) |
| 2020-10-26 03:35:45 | <mikevdg> | (making an assumption that ghci uses readline?) |
| 2020-10-26 03:36:07 | <crestfallen> | mikevdg, thanks, quickest fix so I can get back to slaughtering haskell? |
| 2020-10-26 03:36:28 | <crestfallen> | I essentially cant use ghci |
| 2020-10-26 03:36:43 | <mikevdg> | Yea, but just be aware that adding it it .bash_profile makes it global and it might break other things. |
| 2020-10-26 03:36:52 | <mikevdg> | e.g. `ls --color` |
| 2020-10-26 03:37:20 | → | theDon joins (~td@94.134.91.49) |
| 2020-10-26 03:38:01 | <crestfallen> | no I mean the quickest fix you suggest. like I tried installing urxvt unicode but its so complicated. like all night to configure it. |
| 2020-10-26 03:38:10 | <crestfallen> | mikevdg, ^ |
| 2020-10-26 03:38:31 | <mikevdg> | which distro were you on? |
| 2020-10-26 03:38:42 | <crestfallen> | debian buster |
| 2020-10-26 03:39:23 | <crestfallen> | it happened suddenly on two buster machines; must have been the update |
| 2020-10-26 03:39:33 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-10-26 03:39:54 | <mikevdg> | weird. `urxvt` should just be a case of `apt install urxvt` and it should work without any configuration. |
| 2020-10-26 03:40:15 | <mikevdg> | ...although it over-advertises itself. It's unicode support isn't as good as gnome-terminal. |
| 2020-10-26 03:40:38 | <mikevdg> | but it is very lightweight and really fast. |
| 2020-10-26 03:41:15 | <mikevdg> | It's been years since I had to fix any of that stuff. Linux consoles should work out of the box these days. |
| 2020-10-26 03:41:44 | <mikevdg> | In the worst case scenario, you could just press CTRL+ALT+F1 and try the good old-fashioned Linux console. |
| 2020-10-26 03:42:04 | <crestfallen> | mikevdg, another member suggested upgrading charsets. but I tried to download debian packages to no avail |
| 2020-10-26 03:42:53 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-26 03:43:22 | <mikevdg> | You don't need to download debian packages. You do everything through apt (except Haskell) |
| 2020-10-26 03:43:31 | <mikevdg> | apt install foo |
| 2020-10-26 03:44:19 | <crestfallen> | well I just use apt-get |
| 2020-10-26 03:44:23 | → | notnatebtw joins (~nate@125.161.130.165) |
| 2020-10-26 03:46:09 | <mikevdg> | Holy poop. Some of my Haskell one-liners are getting crazy powerful. |
| 2020-10-26 03:46:19 | <T0pH4t> | axman6: I don't suppose you call me why a0 is not resolving as 'a' in this? https://paste.tomsmeding.com/jDDYgsvv |
| 2020-10-26 03:46:30 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-154.w86-212.abo.wanadoo.fr) |
| 2020-10-26 03:46:36 | <crestfallen> | please show some simple mikevdg ! |
| 2020-10-26 03:46:42 | <crestfallen> | simple ones* |
| 2020-10-26 03:46:42 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-87-219.w86-212.abo.wanadoo.fr) (Ping timeout: 258 seconds) |
| 2020-10-26 03:46:46 | <T0pH4t> | My guess is that since actual 'a' is not used it can't determine (LitGTL) |
| 2020-10-26 03:46:47 | <T0pH4t> | ugg |
| 2020-10-26 03:46:53 | <T0pH4t> | wow bad poste :? |
| 2020-10-26 03:47:25 | × | damianfral3 quits (~damianfra@25.red-176-87-152.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2020-10-26 03:47:26 | <T0pH4t> | better paste: https://paste.tomsmeding.com/twpXcfs2 |
| 2020-10-26 03:47:28 | <mikevdg> | > map (\x -> (length x, head x)) $ group $ sort [1,3,5,7,5,7,3,5,5,1] |
| 2020-10-26 03:47:30 | <lambdabot> | [(2,1),(2,3),(4,5),(2,7)] |
| 2020-10-26 03:47:32 | → | hyiltiz joins (~quassel@82.118.227.47) |
| 2020-10-26 03:47:32 | × | hyiltiz quits (~quassel@82.118.227.47) (Changing host) |
| 2020-10-26 03:47:32 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2020-10-26 03:48:04 | <mikevdg> | After spending a lifetime writing Java.... |
| 2020-10-26 03:49:13 | <mikevdg> | ha ha! The "proper" answer is 5 lines long. |
| 2020-10-26 03:50:35 | <mikevdg> | next up: good ol' binary trees. |
| 2020-10-26 03:50:56 | <mikevdg> | let's invert these blighters, without a whiteboard. |
| 2020-10-26 03:51:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-26 03:51:27 | <Axman6> | what is a binary tree inversion anyway? |
All times are in UTC.