2020-05-23から1日間の記事一覧

SATySFiパッケージでユニットテストを行う方法

概要 assert-eqパッケージ・debug-show-valueパッケージ・GitHub Actionsを組み合わせることでSATySFiにもユニットテストを導入することができます。 参考になる記事へのリンク assert-eqパッケージについては「SATySFiでテストをするためのパッケージ」を、…

SATySFiでテストをするためのパッケージ

概要 自分が作成したassert-eqというパッケージを使用することで、関数のテストが簡単に行えます。 インストール方法 使用しているプリミティブの都合で、SATySFi v0.0.4以降でないと行けません。 Satyrographosを使う場合 $ opam update $ opam install sat…