81 lines
1.6 KiB
Plaintext
81 lines
1.6 KiB
Plaintext
#group extensions/datakinds-promoted-types
|
|
|
|
### The spaces before commas are undesirable
|
|
#test 1
|
|
test :: Proxy '[ 'True ]
|
|
test = Proxy @'[ 'True ]
|
|
#test 2
|
|
test :: Proxy '[True]
|
|
test = Proxy @'[True]
|
|
#test 3
|
|
test :: Proxy '[ 'True, False ]
|
|
test = Proxy @'[ 'True, False ]
|
|
#test 4
|
|
test :: Proxy '[True, False]
|
|
test = Proxy @'[True, False]
|
|
#test 5
|
|
test :: Proxy '[True, 'False]
|
|
test = Proxy @'[True, 'False]
|
|
#test 6
|
|
test :: Proxy '[ 'True, 'False ]
|
|
test = Proxy @'[ 'True, 'False ]
|
|
#test 7
|
|
test :: Proxy '[ 'Just 'True, False ]
|
|
test = Proxy @'[ 'Just 'True, False ]
|
|
#test 8
|
|
test :: Proxy '[Just True, False]
|
|
test = Proxy @'[Just True, False]
|
|
#test 9
|
|
test :: Proxy '[('True)]
|
|
test = Proxy @'[('True)]
|
|
#test 10
|
|
test :: Proxy ('Just 'True)
|
|
test = Proxy @('Just 'True)
|
|
#test 11
|
|
test :: Proxy ('True)
|
|
test = Proxy @('True)
|
|
|
|
#test with-comment-1
|
|
test
|
|
:: Proxy '[-- comment
|
|
'True ]
|
|
test = Proxy @'[-- comment
|
|
'True ]
|
|
|
|
#test with-comment-2
|
|
test
|
|
:: Proxy '[-- comment
|
|
True]
|
|
test = Proxy @'[-- comment
|
|
True]
|
|
|
|
#test with-comment-3
|
|
test
|
|
:: Proxy '[{- comment -} 'True ]
|
|
test = Proxy @'[{- comment -} 'True ]
|
|
|
|
#test with-comment-4
|
|
test
|
|
:: Proxy '[{- comment -}
|
|
'True ]
|
|
test = Proxy @'[{- comment -}
|
|
'True ]
|
|
|
|
#test with-comment-5
|
|
test
|
|
:: Proxy '[{- comment -} True]
|
|
test = Proxy @'[{- comment -} True]
|
|
|
|
#test with-comment-6
|
|
test
|
|
:: Proxy '[{- comment -}
|
|
True]
|
|
test = Proxy @'[{- comment -}
|
|
True]
|
|
|
|
#test explicit-list-type non-promoted
|
|
type Foo = '[Bool, Bool, Bool]
|
|
|
|
#test explicit-list-type promoted
|
|
type Foo = '[ 'Bool, Bool, Bool ]
|