use different kinf of infos

2 files changed, 6 insertions, 4 deletions

diff --git a/test/UnitTests.hs b/test/UnitTests.hs
index 558f1f28..7b592ef6 100644
--- a/test/UnitTests.hs
+++ b/test/UnitTests.hs
@@ -19,7 +19,7 @@ import LambdaCube.Compiler.Infer
 main = defaultMain $ testGroup "Compiler"
   [ testGroup "Infer" $ concat [
         monoidTestProperties "SI"    (arbitrary :: Gen SI)
-      , monoidTestProperties "Infos" (arbitrary :: Gen Infos)
+--      , monoidTestProperties "Infos" (arbitrary :: Gen Infos) -- list is always a monoid
       , monoidTestProperties "MaxDB" (arbitrary :: Gen MaxDB)
       ]
   ]
@@ -59,6 +59,9 @@ instance TestShow SI where
   testShow (RangeSI a) = "RangeSI " ++ show a
 
 -- Infos
+{- list is always a monoid
+instance Arbitrary Info where
+  arbitrary = Info <$> arbitrary
 
 instance Arbitrary Infos where
   arbitrary        = Infos . Map.fromList <$> arbitrary
@@ -71,7 +74,7 @@ instance MonoidEq Infos where
 
 instance TestShow Infos where
   testShow (Infos i) = "Infos " ++ show i
-
+-}
 -- MaxDB
 
 instance Arbitrary MaxDB where
diff --git a/test/runTests.hs b/test/runTests.hs
index 75f88525..5d2cc860 100644
--- a/test/runTests.hs
+++ b/test/runTests.hs
@@ -186,8 +186,7 @@ doTest Config{..} (i, fn) = do
         Left e -> Left (tab "!Failed" e, Failed)
         Right (fname, Left e, i)
             -> Right ("typechecked module"
-                     , unlines $ e: "tooltips:": [ ppShow r ++ "  " ++ intercalate " | " m
-                                                 | (r, m) <- listInfos i])
+                     , unlines $ e: listAllInfos i)
         Right (fname, Right (e, te), i)
             | True <- i `deepseq` False -> error "impossible"
             | te == outputType -> Right ("compiled pipeline", show $ compilePipeline OpenGL33 (e, te))