search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

ersatz-0.2.6.1 cannot compile its test suite #8

Closed peti closed 8 years ago

peti commented 9 years ago

Citing from http://hydra.cryp.to/build/578334/nixlog/1/raw:

tests/properties.hs:32:19:
    Ambiguous occurrence ‘half_adder’
    It could refer to either ‘Main.half_adder’,
                             defined at tests/properties.hs:36:1
                          or ‘Ersatz.half_adder’,
                             imported from ‘Ersatz’ at tests/properties.hs:12:1-13
                             (and originally defined in ‘Ersatz.Bits’)

tests/properties.hs:33:19:
    Ambiguous occurrence ‘half_adder’
    It could refer to either ‘Main.half_adder’,
                             defined at tests/properties.hs:36:1
                          or ‘Ersatz.half_adder’,
                             imported from ‘Ersatz’ at tests/properties.hs:12:1-13
                             (and originally defined in ‘Ersatz.Bits’)
glguy commented 9 years ago

This is already fixed in HEAD

glguy commented 8 years ago

the latest ersatz on hackage can build its test suite