diff options
| author |  Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 21:17:11 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 21:17:11 +0100 |
| commit | aee7b6df39b763518dead8f160725c06fb8c7d66 (patch) | |
| tree | 713519b8a1cb226d457ace5ef48cee018a5942d4 | |
| parent | e21042fe736d9bffe7b0b83420530a5b2c0930e7 (diff) | |
Parse also FFi .urs files
| -rw-r--r-- | src/lsp.sml | 2 |
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 () |