Commits

Thijs Alkemade committed 8291fb4

Added a couple more tests.

Comments (0)

Files changed (1)

 
 t15 = 3.6 kilo meter / hour == 1 meter / second
 t16 = 3.6 mega joule == 1 kilo watt * hour
+t17 = 1 . cubic (deci meter) == 1 liter
+t18 = 1 . square meter == 10000 . square (centi meter)
+
+t19 = (1 meter / second) * (1 second) == 1 meter
+
+-- These should just typecheck
+t20 = mile + inch + yard + foot + ångström + nautical_mile + meter == mile + inch + yard + foot + ångström + nautical_mile + meter
+t21 = UnitTyped.SI.Derived.Mass.pound + kilo gram + m_P == UnitTyped.SI.Derived.Mass.pound + kilo gram + m_P
+
+t22 = minute + hour + day + year + julianyear + month + second == minute + hour + day + year + julianyear + month + second
+t23 = second * hertz == count
+
+t24 = percentage + permil + ppm + ppb + ppt == percentage + permil + ppm + ppb + ppt
 
 runTest :: Bool -> (Bool, Integer) -> IO Bool
 runTest b (True, _) = return b
 		   				  ; return False
 						  }
 
-main = do { b <- foldM runTest True (zip [t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16] [1..])
+main = do { b <- foldM runTest True (zip [t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24] [1..])
 		  ; unless b exitFailure
 		  }