Tue Nov 28 11:33:37 UTC 2017

Repository : ssh://git@git.haskell.org/haddock

On branches: 2.17.3.1-spanfix,alexbiehl-patch-1,ghc-8.0,ghc-8.0-facebook,ghc-head,ghc-head1,haddock-quick,headdock-library-1.4.5,ie_avails,issue-303,issue-475,master,pr-filter-maps,pr/cabal-desc,travis,v2.16,v2.17,v2.17.3,v2.18,wip-located-module-as,wip/D2418,wip/T11080-open-data-kinds,wip/T11258,wip/T11430,wip/T12105,wip/T12105-2,wip/T12942,wip/T13163,wip/T14529,wip/T3384,wip/embelleshed-rdr,wip/new-tree-one-param,wip/rae,wip/remove-frames,wip/remove-frames1,wip/revert-ttg-2017-11-20,wip/ttg-2017-10-13,wip/ttg-2017-10-31,wip/ttg-2017-11-06,wip/ttg2-2017-11-10,wip/ttg3-2017-11-12,wip/ttg4-constraints-2017-11-13,wip/ttg6-unrevert-2017-11-22
Link       : http://git.haskell.org/haddock.git/commitdiff/3ad8ada0ea2982ba7974e381f07e84c35c9559af

>---------------------------------------------------------------

commit 3ad8ada0ea2982ba7974e381f07e84c35c9559af
Author: Łukasz Hanuszczak <lukasz.hanuszczak at gmail.com>
Date:   Thu Aug 6 21:17:10 2015 +0200

    Extend advanced types test case with other examples.


>---------------------------------------------------------------

3ad8ada0ea2982ba7974e381f07e84c35c9559af
 html-test/src/AdvanceTypes.hs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/html-test/src/AdvanceTypes.hs b/html-test/src/AdvanceTypes.hs
index 939fdf0..c89d739 100644
--- a/html-test/src/AdvanceTypes.hs
+++ b/html-test/src/AdvanceTypes.hs
@@ -4,6 +4,20 @@
 {-# LANGUAGE TypeOperators #-}
 module AdvanceTypes where
 
+
+data RevList a = RNil | RevList a :> a
+
+
 data Pattern :: [*] -> * where
   Nil :: Pattern '[]
   Cons :: Maybe h -> Pattern t -> Pattern (h ': t)
+
+
+-- Unlike (:), (:>) does not have to be quoted on type level.
+data RevPattern :: RevList * -> * where
+    RevNil :: RevPattern RNil
+    RevCons :: Maybe h -> RevPattern t -> RevPattern (t :> h)
+
+
+data Tuple :: (*, *) -> * where
+    Tuple :: a -> b -> Tuple '(a, b)

