diff options
author | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-10 22:48:36 +0100 |
---|---|---|
committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
commit | 96c72b6bd8bbb2e31da5664172c05a1bcfb41b64 (patch) | |
tree | 76f99c0e647560902a42fdf0343b16c9df988388 /src/lsp.sml | |
parent | e4f98c318fcadff9247c83d1659a39b15e8c9d58 (diff) |
Add parse error comment
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? *) |