liquidhaskell-0.8.0.2: devel/Paths_liquidhaskell.hs

{-# LANGUAGE TemplateHaskell #-}
module Paths_liquidhaskell where

import Language.Haskell.TH
import System.Directory
import System.FilePath

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)