From 96c72b6bd8bbb2e31da5664172c05a1bcfb41b64 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simonvancasteren@localhost.localdomain>
Date: Tue, 10 Dec 2019 22:48:36 +0100
Subject: Add parse error comment

---
 src/lsp.sml | 1 +
 1 file changed, 1 insertion(+)

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? *)
-- 
cgit v1.2.3