broken-shrimp #50
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "broken-shrimp"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The Shrimp extension was busted because it was importing the prelude (which has bun specific code) and then trying to run it in vscode (which uses node).
Now we pre-generate metadata for what is in the prelude. And now we also have slick autocomplete for prelude functions!
Beautiful!
Should we build this into the CLI so the extension can do something like
shrimp --prelude-meta? I'm just wondering about whether the Shrimp you're using on the CLI will be a different version than the Shrimp in VSCode. Maybe we want to prevent that from happening though.probablycorey: yeah that makes sense. I feel like almost EVERYTHING done in the extension should be done via the
shrimpcli. Then things always be in sync.probablycorey:
probablycorey: The UI is a little noisy right now, but we can tweak that.