ClemsonRSRG / jetbrains-plugin-resolve

A plugin that provides support for the RESOLVE language in jetbrains IDEs
https://plugins.jetbrains.com/plugin/8131
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Pkg preferred #47

Closed dtwelch closed 8 years ago

dtwelch commented 8 years ago

O.K. its time to get real on VC annotations. This pull request includes syntax and sem. handling for my experimental from clauses + library support. external annotations are also activated. More to come.

Also: There were some changes to uses handling and currently there is no such thing as an implicit import any more (at least not for now), so declare uses clauses explicitly.