X-Git-Url: https://git.sourcephile.fr/haskell/symantic.git/blobdiff_plain/1038cd6ad81ab3858b61fb086e75d1fc18866ba6..1a9992f46d376b20475e04c7439c8a43b131eeef:/Language/Symantic/Repr/Host/Test.hs

diff --git a/Language/Symantic/Repr/Host/Test.hs b/Language/Symantic/Repr/Host/Test.hs
index d2ab171..a3f52fd 100644
--- 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) $