diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 20:55:02 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-01-30 20:55:02 -0500 |
| commit | e554ac3e19eec3bb738caa74d74609b05b312a7e (patch) | |
| tree | baa55fd5d1eae9fe8f5b474cc07856f38cddf378 /testsuite/tests/dependent/should_fail/T11473.hs | |
| parent | 1c8aab4f4800cb72562cc1364a7e91e95c37d77c (diff) | |
| download | haskell-e554ac3e19eec3bb738caa74d74609b05b312a7e.tar.gz | |
Checkpoint. Stage 2 compiles + works.
About to change the name of the types.
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T11473.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T11473.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11473.hs b/testsuite/tests/dependent/should_fail/T11473.hs index 12d95caac6..b37020d135 100644 --- a/testsuite/tests/dependent/should_fail/T11473.hs +++ b/testsuite/tests/dependent/should_fail/T11473.hs @@ -9,13 +9,13 @@ type family Boxed (a :: k) :: * type instance Boxed Char# = Char type instance Boxed Char = Char -class BoxIt (a :: TYPE lev) where +class BoxIt (a :: TYPEvis lev) where boxed :: a -> Boxed a instance BoxIt Char# where boxed x = C# x instance BoxIt Char where boxed = id -hello :: forall (r :: RuntimeRep). forall (a :: TYPE r). BoxIt a => a -> Boxed a +hello :: forall (r :: RuntimeRep). forall (a :: TYPEvis r). BoxIt a => a -> Boxed a hello x = boxed x {-# NOINLINE hello #-} |