tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

fix warnings #153

Closed qaristote closed 2 years ago

qaristote commented 2 years ago

Building Pirouette produces a few warnings, namely:

This PR fixes the pieces of code producing these warnings.