liquidhaskell-0.8.2.3: devel/Paths_liquidhaskell.hs

{-# LANGUAGE TemplateHaskell #-}

module Paths_liquidhaskell where

import Language.Haskell.TH
import System.Directory
import System.FilePath
import Data.Version (Version, makeVersion)

getDataFileName :: FilePath -> IO FilePath
getDataFileName f = do
  let loc = $(do { loc <- location; f <- runIO (canonicalizePath (loc_filename loc)); litE (stringL f); })
  let root = takeDirectory (takeDirectory loc)
  return (root </> f)

-- | dummy version (devel only)
version :: Version
version = makeVersion [0,0,0,0]