{-# LANGUAGE OverloadedStrings #-} module Hasmin.Types.DimensionSpec where import Hasmin.Types.Dimension import Hasmin.TestUtils dimensionTests :: Spec dimensionTests = describe "Dimension tests with quickcheck" $ do it "Minified s are equivalent to the original ones" $ property (prop_minificationEq :: Length -> Bool) it "Minified s are equivalent to the original ones" $ property (prop_minificationEq :: Angle -> Bool) it "Minified