blob: 276d2cd7c29078bb3178db1549b36b6c8844640a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE StarIsType #-}
module T15360b where
import Data.Kind
import Data.Proxy
x :: Proxy $([t| * Double |])
x = Proxy
y :: Proxy $([t| 1 Int |])
y = Proxy
z :: Proxy $([t| Constraint Bool |])
z = Proxy
w :: Proxy $([t| '[] Int |])
w = Proxy
|
