summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 21:17:11 +0100
committerGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 21:17:11 +0100
commitaee7b6df39b763518dead8f160725c06fb8c7d66 (patch)
tree713519b8a1cb226d457ace5ef48cee018a5942d4
parente21042fe736d9bffe7b0b83420530a5b2c0930e7 (diff)
Parse also FFi .urs files
-rw-r--r--src/lsp.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lsp.sml b/src/lsp.sml
index a39c8237..4259c9ec 100644
--- a/src/lsp.sml
+++ b/src/lsp.sml
@@ -119,7 +119,7 @@ fun elabFile (state: state) (fileName: string): ({ decls: Elab.decl list, envBef
then (List.rev (#1 acc), true)
else (entry :: #1 acc, false))
([] (* modules before *), false (* module found *))
- (#sources job)
+ (#ffi job @ #sources job)
val modulesBeforeThisFile = #1 moduleSearchRes
val () = if #2 moduleSearchRes
then ()