fix wasm bindings

knowsys · Sep 18, 2024 · d5dbd4b · d5dbd4b
1 parent 7327c5d
commit d5dbd4b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/nemo-language-server/src/language_server/lsp_component.rs b/nemo-language-server/src/language_server/lsp_component.rs
@@ -80,7 +80,7 @@ where
 
         scope.map(|scope| LSPIdentifier {
             scope,
-            identifier: (self.context(), self.span().0.fragment().to_string()),
+            identifier: (self.context(), self.span().fragment().to_string()),
         })
     }
 
@@ -155,7 +155,7 @@ where
 
         kind.map(|kind| LSPSymbolInfo {
             kind,
-            name: format!("{}", self.span().0.fragment()),
+            name: format!("{}", self.span().fragment()),
         })
     }
 

diff --git a/nemo/src/parser/ast/program.rs b/nemo/src/parser/ast/program.rs
@@ -153,7 +153,6 @@ mod test {
 
     // TODO: This test cases causes a warning in miri
     #[test]
-    #[cfg_attr(miri, ignore)]
     fn parser_recover() {
         let program = "%! Top-level comment\n\
             % Declarations:\n\

diff --git a/nemo/src/parser/span.rs b/nemo/src/parser/span.rs
@@ -69,6 +69,7 @@ pub struct Span<'a> {
 
 // SAFETY: Conceptionally, a span is just a slice inside a slice.
 unsafe impl Sync for Span<'_> {}
+unsafe impl Send for Span<'_> {}
 
 impl<'a> Span<'a> {
     /// Create a span for a particular input with default offset and line values and empty extra data.