ariadne 0.1.2.2 → 0.1.2.3

raw patch · 9 files changed

+131/−3 lines, 9 files

Files

• README.md +4/−0
• ariadne.cabal +8/−3
• tests/InvocationTests.hs +75/−0
• tests/SrcMapTests.hs +19/−0
• tests/test-sources/L.hs +3/−0
• tests/test-sources/Lv2.hs +3/−0
• tests/test-sources/Rec1.hs +5/−0
• tests/test-sources/Rec2.hs +5/−0
• tests/test-sources/t1.hs +9/−0

@@ -1,6 +1,10 @@ Ariadne ======= +**Ariadne [is not maintained][1]. If you want to take over, get in touch.**++[1]: http://ro-che.info/articles/2014-11-01-rebalancing-open-source-portfolio+ Ariadne provides a "go-to-definition" functionality for Haskell.  [Video demonstration](http://youtu.be/-sbGijbhxAc)

@@ -2,18 +2,20 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                ariadne-version:             0.1.2.2+version:             0.1.2.3 synopsis:            Go-to-definition for Haskell description:         See <https://github.com/feuerbach/ariadne#ariadne> homepage:            https://github.com/feuerbach/ariadne license:             MIT license-file:        LICENSE author:              Roman Cheplyaka-maintainer:          roma@ro-che.info+maintainer: -- copyright: category:            Language build-type:          Simple-extra-source-files:  README.md+extra-source-files:+  README.md+  tests/test-sources/*.hs cabal-version:       >=1.10  source-repository head@@ -62,6 +64,9 @@     tests .   Main-is:     test.hs+  other-modules:+    InvocationTests+    SrcMapTests   Build-depends:       base >= 4 && < 5     , tasty >= 0.7

@@ -0,0 +1,75 @@+{-# LANGUAGE ScopedTypeVariables, OverloadedStrings #-}++module InvocationTests (invocationTests) where++import Data.BERT+import Network.BERT.Client+import Network.BERT.Transport+import System.Directory+import System.FilePath+import qualified Data.ByteString.Lazy.UTF8 as UTF8+import Control.Exception+import Control.Monad+import Test.Tasty+import Test.Tasty.HUnit++invocationTests =+  withResource connect closeConnection $ \getTransport ->+  withResource createRun (const cleanRun) $ \_ ->+    testGroup "Tests"+      [ mkTest "Local var, same file" getTransport+        ("t1.hs", 5, 6)+        (TupleTerm [AtomTerm "loc_known",BinaryTerm "t1.hs",IntTerm 4,IntTerm 7])+        (return ())+      , mkTest "Global var, different file" getTransport+        ("t1.hs", 7, 9)+        (TupleTerm [AtomTerm "loc_known",BinaryTerm "L.hs",IntTerm 3,IntTerm 1])+        (return ())+      , mkTest "Global var, not defined yet" getTransport+        ("t1.hs", 9, 9)+        (TupleTerm [AtomTerm "error"])+        (return ())+      , mkTest "Global var, just defined" getTransport+        ("t1.hs", 9, 9)+        (TupleTerm [AtomTerm "loc_known",BinaryTerm "L.hs",IntTerm 3,IntTerm 1])+        (copyFile (runDir </> "Lv2.hs") (runDir </> "L.hs"))+      , mkTest "Recursive modules" getTransport+        ("Rec1.hs", 5, 5)+        (TupleTerm [AtomTerm "loc_known",BinaryTerm "Rec2.hs",IntTerm 5,IntTerm 1])+        (return ())+      ]+  where+    connect =+      tcpClient "localhost" 39014 `catch` \(e :: IOException) ->+        throwIO $ ErrorCall "Failed to connect; is ariadne-server running?"++testSourcesDir = "tests/test-sources"+runDir = "tests/run"++createRun = do+  createDirectory runDir+  files <- getDirectoryContents testSourcesDir+  forM_ files $ \f -> do+    let fp = testSourcesDir </> f+    exists <- doesFileExist fp+    when exists $+      copyFile fp (runDir </> f)++cleanRun = removeDirectoryRecursive runDir++type Loc = (FilePath, Int {-line-}, Int {-col-})++mkTest :: Transport t => String -> IO t -> Loc -> Term -> IO () -> TestTree+mkTest name getTransport (f1, l1, c1) response prepare = testCase name $ do+  t <- getTransport+  prepare+  f <- canonicalizePath $ runDir </> f1+  r <- call t "ariadne" "find" [BinaryTerm (UTF8.fromString f), IntTerm l1, IntTerm c1]+  case r of+    Left err -> assertFailure $ show err+    Right r -> relativize r @?= response++relativize (TupleTerm [a@(AtomTerm "loc_known"), BinaryTerm path, l, c]) =+  TupleTerm [a, BinaryTerm (UTF8.fromString . takeFileName . UTF8.toString $ path), l, c]+relativize (TupleTerm [a@(AtomTerm "error"),BinaryTerm _]) = TupleTerm [a]+relativize x = x

@@ -0,0 +1,19 @@+module SrcMapTests (srcMapTests) where++import Test.Tasty+import Test.Tasty.HUnit++import qualified Ariadne.SrcMap as SrcMap+import Language.Haskell.Exts.SrcLoc++srcMapTests = testGroup "SrcMap tests"+  [ testCase "lookup 1" $ SrcMap.lookup (SrcLoc "" 1 3) m @?= Just ()+  , testCase "lookup 2" $ SrcMap.lookup (SrcLoc "" 1 4) m @?= Just ()+  , testCase "lookup 3" $ SrcMap.lookup (SrcLoc "" 1 5) m @?= Nothing+  , testCase "lookup 4" $ SrcMap.lookup (SrcLoc "" 1 2) m @?= Nothing+  , testCase "lookup 5" $ SrcMap.lookup (SrcLoc "" 2 3) m @?= Nothing+  ]++  where+    span = SrcSpan "" 1 3 1 5+    m = SrcMap.singleton span ()

@@ -0,0 +1,3 @@+module L where++baz = baz

@@ -0,0 +1,3 @@+module L where++yyy = yyy

@@ -0,0 +1,5 @@+module Rec1 where++import Rec2++a = b

@@ -0,0 +1,5 @@+module Rec2 where++import Rec1++b = a

@@ -0,0 +1,9 @@+import qualified L++f x =+  let y = x+  in y++bar = L.baz++xxx = L.yyy