search

nick8325 / quickspec

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

Fix QuickCheck printer defaulting in the wrong place #68

Closed isovector closed 4 years ago

isovector commented 4 years ago

@chiroptical ran into this today.

Before:

  , ( "behind t t2 = t2 <> t"                                                                     
    , property $                                                                                  
        \ (t :: Tile a) (t2 :: Tile a) ->                                                         
            (behind t t2 :: Tile [Word8]) =~= t2 <> t)

after:

  , ( "behind t t2 = t2 <> t"                                                                     
    , property $                                                                                  
        \ (t :: Tile [Word8]) (t2 :: Tile [Word8]) ->                                             
            (behind t t2 :: Tile [Word8]) =~= t2 <> t)