X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FCube.hs;h=7fce9754b539c37f1a34386caea1212fe181ae0e;hb=c2d65fb39e821086b6e9ae39f9843c91da015dea;hp=6652e8b6331f039cd90cd9c7791dab61f2fd3f58;hpb=b6ce041d136d56fb3d0638c4abadbae64b94b2e5;p=spline3.git diff --git a/src/Cube.hs b/src/Cube.hs index 6652e8b..7fce975 100644 --- a/src/Cube.hs +++ b/src/Cube.hs @@ -17,6 +17,7 @@ import qualified Data.Vector as V ( snoc, unsafeIndex ) + import Prelude hiding (LT) import Test.Framework (Test, testGroup) import Test.Framework.Providers.QuickCheck2 (testProperty) @@ -976,7 +977,7 @@ prop_interior_values_all_identical cube = -- This test checks the rotation works as expected. prop_c_tilde_2100_rotation_correct :: Cube -> Bool prop_c_tilde_2100_rotation_correct cube = - expr1 == expr2 + expr1 ~= expr2 where t0 = tetrahedron cube 0 t6 = tetrahedron cube 6 @@ -1010,7 +1011,7 @@ prop_c_tilde_2100_rotation_correct cube = -- even meaningful! prop_c_tilde_2100_correct :: Cube -> Bool prop_c_tilde_2100_correct cube = - c t6 2 1 0 0 == expected + c t6 2 1 0 0 ~= expected where t0 = tetrahedron cube 0 t6 = tetrahedron cube 6