diff options
Diffstat (limited to 'src/lsp.sml')
| -rw-r--r-- | src/lsp.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lsp.sml b/src/lsp.sml index 175a71ee..658ca7a6 100644 --- a/src/lsp.sml +++ b/src/lsp.sml @@ -443,6 +443,7 @@ fun addSgnToEnv (env: ElabEnv.env) (sgn: Source.sgn_item list) (fileName: string env' end +(* TODO: Any parse error -> valOf fails, throws and server crashes *) fun calculateFileState (state: state) (fileName: string): (fileState * LspSpec.diagnostic list) = let (* TODO Optim: cache parsed urp file? *) |