test for Info.

ghc-mod.cabal

@@ -72,6 +72,7 @@ Test-Suite spec
                         CabalApiSpec
                         CheckSpec
                         FlagSpec
+                        InfoSpec
                         LangSpec
                         LintSpec
                         ListSpec

test/InfoSpec.hs

@@ -0,0 +1,14 @@
+module InfoSpec where
+
+import Test.Hspec
+import Expectation
+import Info
+import Types
+
+spec :: Spec
+spec = do
+    describe "typeExpr" $ do
+        it "shows types of the expression and its outers" $ do
+            withDirectory "test/data/ghc-mod-check" $ do
+                res <- typeExpr defaultOptions "Data.Foo" 9 5 "Data/Foo.hs"
+                res `shouldBe` "9 5 11 40 \"Int -> a -> a -> a\"\n7 1 11 40 \"Int -> Integer\"\n"

test/data/ghc-mod-check/Data/Foo.hs

@@ -2,3 +2,10 @@ module Data.Foo where
 
 foo :: Int
 foo = undefined
+
+fibonacci :: Int -> Integer
+fibonacci n = fib 1 0 1
+  where
+    fib m x y
+      | n == m    = y
+      | otherwise = fib (m+1) y (x + y)