1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
-- This template expects CPP definitions for:
-- PLATFORM_NAME = Posix | Windows
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -Wno-unused-top-binds #-}
-- | Test functions to check the template haskell bits.
module TH.PLATFORM_NAME where
import qualified Language.Haskell.TH.Syntax as TH
import Path.Internal.PLATFORM_NAME
import Path.PLATFORM_NAME
-- | This is a helper type class that checks that splices produce a 'Path' with
-- all type variables instantiated to a type.
-- This ensures that bugs like https://github.com/commercialhaskell/path/issues/159
-- cannot happen.
class CheckInstantiated a b where
checkInstantiated :: Path a b -> FilePath
checkInstantiated = toFilePath
instance CheckInstantiated Abs Dir
instance CheckInstantiated Abs File
instance CheckInstantiated Rel Dir
instance CheckInstantiated Rel File
qqRelDir :: FilePath
qqRelDir = checkInstantiated [reldir|name/|]
qqRelFile :: FilePath
qqRelFile = checkInstantiated [relfile|name|]
thRelDir :: FilePath
thRelDir = checkInstantiated $(mkRelDir "name/")
thRelFile :: FilePath
thRelFile = checkInstantiated $(mkRelFile "name")
liftRelDir :: FilePath
liftRelDir = checkInstantiated $(TH.lift (Path "name/" :: Path Rel Dir))
liftRelFile :: FilePath
liftRelFile = checkInstantiated $(TH.lift (Path "name" :: Path Rel File))
|
