Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix parser: remappings #4309

Merged
merged 1 commit into from
Dec 6, 2023
Merged

fix parser: remappings #4309

merged 1 commit into from
Dec 6, 2023

Conversation

yann300
Copy link
Contributor

@yann300 yann300 commented Dec 6, 2023

This allows our solidity parser to use the remappings.txt file.

To test it, create a workspace if type v4 periphery, update submodules, it will show an error in the editor at the top.

@yann300 yann300 requested a review from bunsenstraat December 6, 2023 14:18
Copy link

netlify bot commented Dec 6, 2023

Deploy Preview for remixproject ready!

Name Link
🔨 Latest commit 5ae1e63
🔍 Latest deploy log https://app.netlify.com/sites/remixproject/deploys/657088ab18146a000825b498
😎 Deploy Preview https://deploy-preview-4309--remixproject.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@yann300 yann300 requested a review from Aniket-Engg December 6, 2023 14:18
if (await this.plugin.call('fileManager', 'exists','remappings.txt')) {
const remappings = await this.plugin.call('fileManager', 'readFile','remappings.txt')
this.compiler.set('remappings', remappings.split('\n').filter(Boolean))
}
Copy link
Collaborator

Choose a reason for hiding this comment

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

Please add an else section to reset the state which helps when remapping file is deleted.

@yann300 yann300 enabled auto-merge December 6, 2023 14:49
@yann300 yann300 merged commit c4f482a into master Dec 6, 2023
5 checks passed
@yann300 yann300 deleted the fix_parser branch December 6, 2023 14:49
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