Skip to content

lsp: support wasm compilation target#550

Open
enricozb wants to merge 10 commits intodevfrom
enricozb/playground
Open

lsp: support wasm compilation target#550
enricozb wants to merge 10 commits intodevfrom
enricozb/playground

Conversation

@enricozb
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions Bot changed the base branch from main to dev March 31, 2026 10:44
@enricozb enricozb force-pushed the enricozb/playground branch 2 times, most recently from 0aed1f4 to 9b08707 Compare April 3, 2026 09:54
@enricozb enricozb marked this pull request as ready for review April 3, 2026 09:55
@enricozb enricozb force-pushed the enricozb/playground branch 8 times, most recently from 8384c3e to 916f843 Compare April 21, 2026 11:25
@enricozb enricozb force-pushed the enricozb/playground branch from 916f843 to 4e304d4 Compare May 7, 2026 12:58
@enricozb enricozb requested a review from tjjfvi May 7, 2026 13:18
Comment thread ivm/src/runtime.rs Outdated
Comment thread ivm/src/runtime.rs Outdated
Comment thread ivm/src/host/runner.rs
Comment thread lsp/src/lib.rs
Comment thread util/src/arithmetic.rs Outdated

arithmetic!(W0, W1, W2, W3, W4, W5, W6, W7, W8, W9, W10, W11, W12, W13, W14, W15, W16, W17, W18);

pub struct Arithmetic<E, WS>(E, PhantomData<fn() -> WS>);
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the changes required to this to support the HRTB for the registry are quite sad IMO; here's an alternative that avoids the HRTB: acda690

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wasn't able to get the call-site of arithmetic to infer the R parameter, but otherwise this works.

enricozb added 10 commits May 8, 2026 12:04
Logic for loading modules for the Lsp is now external to the lsp crate.
The playground (running on wasm) can't use `glob` for entrypoints, thus
this change lets it provide its own `Loader` logic.
fixes lexer hangs on unterminated block comment
Only Compiler::nets_from instantiates templates, so storing a checkpoint
after Compiler::check and using it for Compiler::nets_from resulted in a
panic. This should probably be tracked by the Compiler internally
anyways.
@enricozb enricozb force-pushed the enricozb/playground branch from 4e304d4 to eb45a79 Compare May 8, 2026 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants