con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Add build-time failure tests for the Categorifier plugin #45

Open zliu41 opened 2 years ago

zliu41 commented 2 years ago

We should have tests that ensure that incorrect use of the Categorifier plugin produce appropriate failures at build-time. E.g.,