Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 863 864 865 866 867 868 869 870 871 872 873 .. 5022
502,152 events total
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.