polish code, Foldable

[haskell/symantic.git] / Language / Symantic / Repr / Host / Test.hs

diff --git a/Language/Symantic/Repr/Host/Test.hs b/Language/Symantic/Repr/Host/Test.hs
index d2ab171aa0016aac47a14378ef24ed3f0810fb85..a3f52fdc1c677a6d41599956d6ea4457c9141735 100644 (file)
--- a/Language/Symantic/Repr/Host/Test.hs
+++ b/Language/Symantic/Repr/Host/Test.hs
@@ -13,7 +13,7 @@ import Test.Tasty.HUnit
 
 import Data.Text (Text)
 import qualified Data.Text as Text
-import Prelude hiding (and, not, or, Monad(..))
+import Prelude hiding (and, not, or, Monad(..), id)
 
 import Language.Symantic.Repr
 import Language.Symantic.Expr
@@ -93,6 +93,8 @@ tests = testGroup "Host" $
                                                            .|. Expr_List
                                                            .|. Expr_Bool
                                                            .|. Expr_Int
+                                                           .|. Expr_Num
+                                                           .|. Expr_Integral
                                                            .|. Expr_If
                                                            .|. Expr_Eq )) repr => repr h) expected =
                testCase (Text.unpack $ text_from_expr $ expr) $
@@ -106,6 +108,7 @@ tests = testGroup "Host" $
                                                            .|. Expr_Functor
                                                            .|. Expr_Bool
                                                            .|. Expr_Int
+                                                           .|. Expr_Num
                                                            .|. Expr_If
                                                            .|. Expr_Eq )) repr => repr h) expected =
                testCase (Text.unpack $ (text_from_expr :: Repr_Text _h -> Text) $ expr) $
@@ -121,6 +124,7 @@ tests = testGroup "Host" $
                                                            .|. Expr_Maybe
                                                            .|. Expr_Bool
                                                            .|. Expr_Int
+                                                           .|. Expr_Num
                                                            .|. Expr_If
                                                            .|. Expr_Eq )) repr => repr h) expected =
                testCase (Text.unpack $ text_from_expr $ expr) $
@@ -135,6 +139,7 @@ tests = testGroup "Host" $
                                                            .|. Expr_Maybe
                                                            .|. Expr_Bool
                                                            .|. Expr_Int
+                                                           .|. Expr_Num
                                                            .|. Expr_If
                                                            .|. Expr_Eq )) repr => repr h) expected =
                testCase (Text.unpack $ text_from_expr $ expr) $