sophia/CONTRIBUTING.md

Contributing to æSophia

Checklist For Creating New Pull Requests

The following points should be considered before creating a new PR to the Sophia compiler.

Documentation

• The Changelog file should be updated for all PRs.
• If the PR introduces a new feature that is relevant to the users of the language, the Sophia Features Documentation should be updated to describe the new feature.
• If the PR introduces new syntax (e.g. changes in aeso_syntax.erl, aeso_scan.erl, or aeso_parser.erl), the Sophia Syntax Documentation should be updated to include the new syntax.
• If the PR introduces a new library, the public interface of the new library should be fully documented in the Sophia Standard Library Documentation.

Tests

• If the PR introduces new syntax (e.g. changes in aeso_syntax.erl, aeso_scan.erl, or aeso_parser.erl), the contract all_syntax.aes should be updated to include the new syntax.
• If the PR fixes a bug, the code that replicates the bug should be added as a new passing test contract.