Logs: liberachat/#haskell
| 2021-08-11 18:35:44 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 18:40:35 | × | Guest84 quits (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) (Quit: Client closed) |
| 2021-08-11 18:42:58 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 18:45:37 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-11 18:49:08 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 18:49:08 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-11 18:49:11 | allbery_b | is now known as geekosaur |
| 2021-08-11 18:49:33 | <tomsmeding> | mastarija: are you passing the on_active function to the .setup{} call for hls correctly? |
| 2021-08-11 18:50:40 | <tomsmeding> | o wait I'm blind |
| 2021-08-11 18:53:23 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-11 18:53:27 | <tomsmeding> | mastarija: try moving the setup{} call _below_ the definition of the on_attach function |
| 2021-08-11 18:53:36 | <tomsmeding> | that seems to make a difference for me |
| 2021-08-11 18:53:55 | <tomsmeding> | lua isn't insensitive to declaration order like haskell is :) |
| 2021-08-11 18:54:08 | <mastarija> | I think I tried it both ways |
| 2021-08-11 18:54:28 | <mastarija> | I mean, it is reacting to defined shortcuts |
| 2021-08-11 18:54:50 | <mastarija> | But someone from #neovim suggested I'v forgotten to setup haddock |
| 2021-08-11 18:54:57 | <mastarija> | I'm working on that now |
| 2021-08-11 18:55:36 | <mastarija> | https://haskell-language-server.readthedocs.io/en/latest/features.html?highlight=haddock#features |
| 2021-08-11 18:56:23 | <tomsmeding> | mastarija: I don't have that haddock in my cabal flags and hls hover info has worked for me always |
| 2021-08-11 18:56:52 | <mastarija> | Yes, it worked for me for one moment. |
| 2021-08-11 18:56:56 | <mastarija> | But then nothing |
| 2021-08-11 18:57:09 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-11 18:57:16 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-11 18:57:20 | <mastarija> | tomsmeding, do you maybe know where HLS stores its intermediate files? |
| 2021-08-11 18:57:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 18:57:39 | <tomsmeding> | no idea, but I would guess dist-newstyle |
| 2021-08-11 18:57:58 | <mastarija> | I've deleted dist-newstyle from my project, but now I see HLS is initializing happily without regenerating |
| 2021-08-11 18:58:03 | <tomsmeding> | mastarija: what happens if you replace your mapping of KK in that lua function with :echo "hi"<CR> |
| 2021-08-11 18:58:14 | <tomsmeding> | does that make KK print 'hi' |
| 2021-08-11 18:58:25 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 2021-08-11 18:58:59 | <carter> | sup! |
| 2021-08-11 18:59:07 | <tomsmeding> | hls is up :) |
| 2021-08-11 18:59:29 | <carter> | i just like having a working text editor and cabal build invoked every time i save :) |
| 2021-08-11 18:59:43 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-11 19:00:31 | <tomsmeding> | mastarija: for completeness, this is the lua fragment in my init script, very minorly modified from the current readme (I switched to nvim's native lsp today :) ) : https://paste.tomsmeding.com/6sYW5XOr |
| 2021-08-11 19:01:07 | <tomsmeding> | carter: having a working text editor is certainly a prerequisite :) |
| 2021-08-11 19:01:13 | × | mattil quits (~mattilinn@62-113-178-139.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-11 19:01:36 | <mastarija> | tomsmeding, yes, that looks like the config from readme |
| 2021-08-11 19:01:50 | <mastarija> | I've tried that, but I had same problem |
| 2021-08-11 19:01:53 | → | gethuen_ joins (uid502979@id-502979.stonehaven.irccloud.com) |
| 2021-08-11 19:01:57 | <tomsmeding> | mastarija: this works for me, and K stops working if I put the loop above the function declaration |
| 2021-08-11 19:02:09 | <tomsmeding> | odd |
| 2021-08-11 19:02:37 | <mastarija> | tomsmeding, this might be because you assigned anonymous function to a variable name |
| 2021-08-11 19:02:47 | <mastarija> | I've changed that to function definition |
| 2021-08-11 19:03:01 | <tomsmeding> | ah right |
| 2021-08-11 19:03:10 | <tomsmeding> | mastarija: there is some stuff in ~/.cache/hie-bios |
| 2021-08-11 19:03:13 | <mastarija> | I'm switching back to that now, maybe it makes a difference :/ |
| 2021-08-11 19:03:31 | × | gethuen_ quits (uid502979@id-502979.stonehaven.irccloud.com) (Client Quit) |
| 2021-08-11 19:04:01 | → | gethuen_ joins (uid502979@id-502979.stonehaven.irccloud.com) |
| 2021-08-11 19:04:36 | × | gethuen_ quits (uid502979@id-502979.stonehaven.irccloud.com) (Client Quit) |
| 2021-08-11 19:04:49 | <mastarija> | tomsmeding, thanks, I've deleted it, now it's regenerating |
| 2021-08-11 19:04:54 | <mastarija> | hopefully it'll be a success |
| 2021-08-11 19:05:02 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-11 19:05:12 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-11 19:06:08 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-11 19:06:27 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) |
| 2021-08-11 19:06:41 | × | emliunix quits (~emliunix@8.38.148.66) (Remote host closed the connection) |
| 2021-08-11 19:07:04 | → | emliunix joins (~emliunix@8.38.148.66) |
| 2021-08-11 19:12:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 19:13:19 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 19:13:20 | <mastarija> | tomsmeding, omg, I'm an idiot |
| 2021-08-11 19:13:32 | <mastarija> | instead of on_attach I've written on_active |
| 2021-08-11 19:13:47 | <monochrom> | :) |
| 2021-08-11 19:14:10 | <tomsmeding> | this makes me scared of lua |
| 2021-08-11 19:14:13 | <mastarija> | yes |
| 2021-08-11 19:14:17 | <tomsmeding> | seems to be even worse than javascript |
| 2021-08-11 19:14:17 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 258 seconds) |
| 2021-08-11 19:14:23 | <mastarija> | Records ftw |
| 2021-08-11 19:14:45 | <tomsmeding> | not only that, referring to an undefined variable and getting no error |
| 2021-08-11 19:14:52 | → | endlesseditions joins (~zane@205.220.252.162) |
| 2021-08-11 19:14:55 | <mastarija> | I'm not used to checking my self for misnamed vars |
| 2021-08-11 19:15:30 | × | montxero quits (~user@149.167.149.74) (Read error: Connection reset by peer) |
| 2021-08-11 19:15:44 | <mastarija> | damn, I feel like an idiot now |
| 2021-08-11 19:15:45 | → | montxero joins (~user@149.167.149.74) |
| 2021-08-11 19:15:48 | <mastarija> | so much wasted time |
| 2021-08-11 19:16:04 | <tomsmeding> | your mistake was assuming that lua is nice to haskell users |
| 2021-08-11 19:16:52 | <tomsmeding> | you know, what saves me in cases like this is that I have no idea how lua works, so I copy-paste everything |
| 2021-08-11 19:17:39 | <mastarija> | I've read the lua manual this morning so I was overconfident |
| 2021-08-11 19:20:35 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-11 19:20:41 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 19:21:31 | → | ikex1 joins (~ash@user/ikex) |
| 2021-08-11 19:23:33 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-08-11 19:23:45 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-08-11 19:23:52 | × | ikex quits (ash@user/ikex) (Ping timeout: 258 seconds) |
| 2021-08-11 19:23:53 | ikex1 | is now known as ikex |
| 2021-08-11 19:24:20 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-08-11 19:27:19 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9540687e52e56cad208d.dip0.t-ipconnect.de) |
| 2021-08-11 19:28:49 | <carter> | hrmmm, ComposeT in MMorph seems like something that'd be nice in base or transformers |
| 2021-08-11 19:28:56 | <carter> | or is there a good reason to not use it sometimes? |
| 2021-08-11 19:29:03 | <carter> | cc edwardk :) ? |
| 2021-08-11 19:30:39 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-11 19:30:40 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Read error: Connection reset by peer) |
| 2021-08-11 19:31:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-11 19:32:06 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-11 19:34:42 | × | endlesseditions quits (~zane@205.220.252.162) (Remote host closed the connection) |
| 2021-08-11 19:37:51 | <carter> | Hecate: https://gitlab.haskell.org/ghc/ghc/-/issues/20223 not sure if i found a bug in the docs for deriving via or deriving via |
| 2021-08-11 19:37:59 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 19:39:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-11 19:39:56 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-11 19:41:33 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
All times are in UTC.