Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions
BSD 3-Clause "New" or "Revised" License
373 stars 25 forks source link

morte 1.5 (from hackage tarball) test suite failure #41

Closed DanBurton closed 8 years ago

DanBurton commented 8 years ago
Preprocessing test suite 'test' for morte-1.5.0...

/Users/danburton/scratch/morte-1.5.0/test/Main.hs:8:8:
    Could not find module ‘ClosedWellTyped’
    Use -v to see a list of the files searched for.

To reproduce:

Gabriella439 commented 8 years ago

How do I test locally that the tarball is correctly built without uploading to Hackage?

DanBurton commented 8 years ago

You can stack sdist (or cabal sdist) the project, then unpack that tarball and run tests on it. For example, here's what I did:

Gabriella439 commented 8 years ago

Alright, morte-1.5.1 is up on Hackage with the fix and I was able to verify that it runs tests correctly from the sdist tarball.