Check role declarations against inferred roles#3873

Merged

hdgarrood merged 9 commits into

purescript:masterfrom

hdgarrood:check-role-annotations

Jun 25, 2020

Commits on May 13, 2020

Commits on May 14, 2020

Commits on May 19, 2020

Remove unnecessary import
hdgarrood
committed

Commits on May 21, 2020

Fix golden test
hdgarrood
committed

Commits on Jun 25, 2020