75 lines
1.5 KiB
Plaintext
75 lines
1.5 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]
|