import Data.JLD.Prelude import Data.JLD.Mime (mimeType) import Test.Expansion (W3CExpansionTestList, expansionTests) import Test.Tasty import Network.HTTP.Req (GET (..), NoReqBody (..), defaultHttpConfig, header, https, jsonResponse, req, responseBody, runReq, (/:)) tests :: W3CExpansionTestList -> TestTree tests jldExpansionTestList = testGroup "Tests" [ expansionTests jldExpansionTestList ] main :: IO () main = do jldExpansionTestList <- runReq defaultHttpConfig do responseBody <$> req GET w3cExpansionTestListUrl NoReqBody jsonResponse (header "Accept" mimeType) defaultMain <| tests jldExpansionTestList where w3cExpansionTestListUrl = https "w3c.github.io" /: "json-ld-api" /: "tests" /: "expand-manifest.jsonld"