diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/SplitWD.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/SplitWD.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/SplitWD.hs b/testsuite/tests/typecheck/should_compile/SplitWD.hs index 5281cdbf0e..37a766ecef 100644 --- a/testsuite/tests/typecheck/should_compile/SplitWD.hs +++ b/testsuite/tests/typecheck/should_compile/SplitWD.hs @@ -1,5 +1,5 @@ {-# LANGUAGE ScopedTypeVariables, TypeOperators, DataKinds, PolyKinds, - TypeFamilies, GADTs, StandaloneDeriving #-} + TypeFamilies, GADTs, StandaloneDeriving, StandaloneKindSignatures #-} module SplitWD where @@ -17,7 +17,8 @@ data Vec :: Type -> Nat -> Type where (:>) :: a -> Vec a n -> Vec a (Succ n) infixr 5 :> -type family (xs :: Vec a n) +++ (ys :: Vec a m) :: Vec a (n + m) where +type (+++) :: Vec a n -> Vec a m -> Vec a (n + m) +type family xs +++ ys where VNil +++ ys = ys (x :> xs) +++ ys = x :> (xs +++ ys) infixr 5 +++ |