search

purescript-contrib / purescript-quickcheck-laws

QuickCheck powered law tests for PureScript's core typeclasses.
MIT License
25 stars 18 forks source link

Add checks for BoundedEnum #22

Closed jacereda closed 7 years ago

jacereda commented 7 years ago

Sorry for the unimaginative law names, I hope someone else can come up with nicer ones.

jacereda commented 7 years ago

I guess this will fail until purescript-enums is tagged.

garyb commented 7 years ago

Also need to add the dependency I think!

jacereda commented 7 years ago

Doh! I had a bower link... >= 2.0.1?

garyb commented 7 years ago

Thanks!

jacereda commented 7 years ago

Just curious, why do you use sudo: required in the travis setup? Don't you prefer the container-based environment?

garyb commented 7 years ago

Should I make a release now, or are there any other checks you're working on at the moment?

Just curious, why do you use sudo: required in the travis setup? Don't you prefer the container-based environment?

The trusty image requires it, and that's pretty much essential for PureScript projects, for some reason they build awfully without it - take 10-100x longer and sometimes stall forever.

garyb commented 7 years ago

I think trusty is container based too.

jacereda commented 7 years ago

Looks like they have a beta: https://docs.travis-ci.com/user/trusty-ci-environment/

jacereda commented 7 years ago

I think I can write Enum tomorrow, let's wait a bit.

garyb commented 7 years ago

Okidoke, thanks! We can try the trusty beta thing in that PR too perhaps :)

jacereda commented 7 years ago

I'll open a separate request for the trusty beta, but build times are roughly the same and boot time is almost instantaneous. Things aren't as nice when trying to build the purescript compiler itself, I get failures due to lack of disk space and also the build seems slower.