diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-30 09:18:10 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-11-30 09:46:42 -0500 |
| commit | 47875bd4d79ca633b589e63e320aa5a5c631d096 (patch) | |
| tree | c479990fbf227d2c3daca51a0ff4725145d1e934 /testsuite/tests/th | |
| parent | 80d665a123305721c58a3d7652c64e2b3c69b70e (diff) | |
| download | haskell-47875bd4d79ca633b589e63e320aa5a5c631d096.tar.gz | |
Add 'Lift' instances for 'NonEmpty' and 'Void'
Summary:
Since 'NonEmpty' and 'Void' are now part of 'base', it makes
sense that we put 'Lift' instances for them in 'template-haskell'.
Not doing so is going to force users to define their own (possibly
colliding) orphan instances downstream.
Test Plan: ./validate
Reviewers: goldfire, bgamari, RyanGlScott
Reviewed By: RyanGlScott
Subscribers: RyanGlScott, rwbarton, carter
GHC Trac Issues: #15961
Differential Revision: https://phabricator.haskell.org/D5391
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/TH_Lift.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/th/TH_Lift.hs b/testsuite/tests/th/TH_Lift.hs index eff0f1b18f..87bd47b552 100644 --- a/testsuite/tests/th/TH_Lift.hs +++ b/testsuite/tests/th/TH_Lift.hs @@ -9,6 +9,7 @@ import Data.Ratio import Data.Word import Data.Int import Numeric.Natural +import Data.List.NonEmpty a :: Integer a = $( (\x -> [| x |]) (5 :: Integer) ) @@ -76,4 +77,6 @@ n = $( (\x -> [| x |]) () ) o :: (Bool, Char, Int) o = $( (\x -> [| x |]) (True, 'x', 4 :: Int) ) +p :: NonEmpty Char +p = $( (\x -> [| x |]) ('a' :| "bcde") ) |