Two test.hs files

[arianvp]

There are two test.hs files. (Test.hs and test.hs) This totally wreacks havoc on both windows and Darwin as they are case insensitive filesystems. Making it impossible to compile the tests

[rudymatela]

@arianvp I have reported these issues upstream to Microsoft Corporation and Apple Inc. so that they fix their broken filesystems by adding case sensitivity. ... ... Just kidding.

Thank you very much for reporting this issue. I can't believe for how long that stood there undetected by me.

Commit f074815 fixes the issue by renaming test.hs to test-main.hs. I have also added an automated test (f074815) to assure I don't forget about case-insensitive filesystems in the future.

As soon as CI passes, I'll upload a new version on Hackage. Then, I'll let you know here.

[rudymatela]

@arianvp LeanCheck v0.7.5 is online on Hackage. The tests now build and run successfully on case-insensitive filesystems and on the recently released GHC 8.6.1.