agda-language-server-0.2.0: test/Test.hs

import qualified Test.SrcLoc                   as SrcLoc
import           Test.Tasty                     ( TestTree
                                                , defaultMain
                                                , testGroup
                                                )

main :: IO ()
main = defaultMain tests

tests :: TestTree
tests = testGroup "Tests" [SrcLoc.tests]