Skip to content

Pragma - #141

Merged
Y-Nak merged 7 commits into
argotorg:mainfrom
Y-Nak:pragma
Oct 30, 2026
Merged

Pragma#141
Y-Nak merged 7 commits into
argotorg:mainfrom
Y-Nak:pragma

Conversation

@Y-Nak

@Y-Nak Y-Nak commented Oct 29, 2026 •

Copy link
Copy Markdown
Member

Solcore and Solidity share the .sol extension, so the language server and editor integrations also picked up Solidity files. Every Solcore source file must now begin with pragma solcore;, and the tools use it to recognize Solcore files.

  • The compiler reports SC0002 unless a file starts with exactly one pragma solcore; without arguments (comments may precede it).
  • All sources, examples, fixtures and tests declare the pragma, and new playground files start with it.
  • The native language server indexes only .sol files with the pragma, and auto-imports go after it.
  • VS Code, Vim and Emacs open only these files as Solcore and leave other .sol files to Solidity support.

@Y-Nak
Y-Nak force-pushed the pragma branch 2 times, most recently from 0f2d395 to 060f22b Compare October 29, 2026 13:16
@Y-Nak
Y-Nak merged commit c096364 into argotorg:main Oct 30, 2026
12 checks passed
@Y-Nak
Y-Nak deleted the pragma branch October 30, 2026 03:15
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.

1 participant