Skip to content

Conversation

@gnikit
Copy link
Member

@gnikit gnikit commented May 16, 2023

We do a lazy evaluation of the langid, only
replacing it with a value at the LSP creation stage.
This allows us to better isolate the LSP
and the AST parts of the server.

Fixes #257

gnikit and others added 2 commits May 16, 2023 08:42
We do a lazy evaluation of the `langid`, only
replacing it with a value at the LSP creation stage.
This allows us to better isolate the LSP
and the AST parts of the server.

Fixes #257
@codecov
Copy link

codecov bot commented May 16, 2023

Codecov Report

Merging #279 (107c8e8) into master (8918355) will increase coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #279      +/-   ##
==========================================
+ Coverage   86.91%   86.94%   +0.02%     
==========================================
  Files          12       12              
  Lines        4556     4566      +10     
==========================================
+ Hits         3960     3970      +10     
  Misses        596      596              
Impacted Files Coverage Δ
fortls/helper_functions.py 97.74% <100.00%> (+0.01%) ⬆️
fortls/langserver.py 84.53% <100.00%> (+0.13%) ⬆️

@gnikit gnikit merged commit eb6f618 into master May 16, 2023
@gnikit gnikit deleted the bug/lang-id-propagation branch May 16, 2023 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bug: propagate Language ID to internally constructed Markdown hover

2 participants