Silver 0.6.0

Major new release of Silver, with breaking changes to simplify the type system, removing implicit undecoration. MWDA support for tree sharing is completed and enhanced. Also significant enhancements to the build system, the Silver compiler can now depend on pre-built grammars from jar files. This is used in re-factoring the build for the Silver compiler itself into multiple separate artifact jars.

What's Changed

• Require explicit new for undecoration by @krame505 in #849
• Permit building against jars containing compiled grammars by @krame505 in #852
• Fix Jenkinsfile bug, avoid running fetch-jars when building a PR merge by @krame505 in #856
• Permit transattr.decorate in flowtype specs by @krame505 in #857
• Fix overly-permissive exemption for cycles involving dispatch prods in inh completeness checks by @krame505 in #858
• Fix translation bug with dispatching by @krame505 in #860
• Make diagnostic output readable when showing nested messages with generated origins by @krame505 in #859
• Adds uniq and uniqBy. by @remexre in #862
• A few fixes related to decoration sites translation attributes by @krame505 in #861
• Add MWDA check for dispatch depending on inh attributes supplied by the target production by @krame505 in #865
• Fix flow deps for taking a reference to an instance of a translation attribute by @krame505 in #866
• Refactor/rename root to file by @allen-liaoo in #875
• Include annotations in native serialization format by @krame505 in #874
• Add error message instead of silently doing nothing when JAVA_HOME isn't set by @krame505 in #872
• Overload function application syntax with named arguments for annotation update by @krame505 in #877
• Fixes bug with undeclared lambda parameter type declarations by @unironically in #871
• No annotations can have the same short name on nonterminal by @allen-liaoo in #878
• Make supplying a type optional in do bindings by @tardism in #876
• Fixes and cleanup to MWDA related to translation attributes by @krame505 in #869
• Fix Tuple Selector Error Message by @tardism in #879
• Test/fetch unshallow by @allen-liaoo in #882
• Silver now reports its latest git tag as its version by @allen-liaoo in #881
• Merge master into develop by @krame505 in #883
• Include default production graphs in flow type inference by @krame505 in #880
• Revert "Disable comparison of dataness/trackedness in NT unification" by @krame505 in #884

New Contributors

• @allen-liaoo made their first contribution in #875
• @tardism made their first contribution in #876

Full Changelog: v0.5.1...v0.6.0