search

nick8325 / quickspec

Equational laws for free
BSD 3-Clause "New" or "Revised" License
250 stars 24 forks source link

Always emit a type for the lhs of a QuickCheck property #65

Closed isovector closed 4 years ago

isovector commented 4 years ago

This changes the output of generated ForQuickCheck properties from

quickspec_laws :: [(String, Property)]
quickspec_laws =
  [ ( "flipV mempty = mempty"
    , property $
            flipV mempty =~= mempty)
  ]

to

quickspec_laws :: [(String, Property)]
quickspec_laws =
  [ ( "flipV mempty = mempty"
    , property $
            (flipV mempty :: Tile [Word8]) =~= mempty)
  ]

Fixes #64