search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Fix "HLint/UseFewerImports" issue in src/Main.hs #31

Closed lm-rodrigues closed 7 years ago

lm-rodrigues commented 7 years ago

Use fewer imports

https://codeclimate.com/github/Verites/verigraph/src/Main.hs#issue_5915dea832268a00010000ab

jsbezerra commented 7 years ago

A better solution is to delete the src/Main.hs file. This file is not used by the project anymore and it is full of old code for ad-hoc tests from before the test suites creation.