Add test case for PatternSynonyms

This just tests various stuff including poly-kinded patterns and operator patterns to make sure the rendering isn't broken. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
author: nand <git@nand.wakku.to> 2014-02-11 16:51:27 +0100
committer: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> 2014-02-11 15:56:50 +0000
commit: 7e53f628440169f90cfb6aeeaf74ffbe2b1cfa6d (patch)
tree: 734bbf18a921a80e689a604d344391e9c2b7ed46
parent: bc5756d062bbc5cad5d4fa60798435ed020c518e (diff)
2 files changed, 263 insertions, 0 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
new file mode 100644
index 00000000..36b3c3bd
--- /dev/null
+++ b/html-test/ref/PatternSyns.html
@@ -0,0 +1,241 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+     /><title
+    >PatternSyns</title
+    ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
+     /><script src="haddock-util.js" type="text/javascript"
+    ></script
+    ><script type="text/javascript"
+    >//<![CDATA[
+window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
+//]]>
+</script
+    ></head
+  ><body
+  ><div id="package-header"
+    ><ul class="links" id="page-menu"
+      ><li
+	><a href="index.html"
+	  >Contents</a
+	  ></li
+	><li
+	><a href="doc-index.html"
+	  >Index</a
+	  ></li
+	></ul
+      ><p class="caption empty"
+      >&nbsp;</p
+      ></div
+    ><div id="content"
+    ><div id="module-header"
+      ><table class="info"
+	><tr
+	  ><th
+	    >Safe Haskell</th
+	    ><td
+	    >Safe-Inferred</td
+	    ></tr
+	  ></table
+	><p class="caption"
+	>PatternSyns</p
+	></div
+      ><div id="description"
+      ><p class="caption"
+	>Description</p
+	><div class="doc"
+	><p
+	  >Testing some pattern synonyms</p
+	  ></div
+	></div
+      ><div id="synopsis"
+      ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
+	>Synopsis</p
+	><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
+	><li class="src short"
+	  ><span class="keyword"
+	    >data</span
+	    > <a href="#t:FooType"
+	    >FooType</a
+	    > x = <a href="#v:FooCtor"
+	    >FooCtor</a
+	    > x</li
+	  ><li class="src short"
+	  >pattern  <a href="#v:Foo"
+	    >Foo</a
+	    > t ::  <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t</li
+	  ><li class="src short"
+	  >pattern  <a href="#v:Bar"
+	    >Bar</a
+	    > t ::  <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t)</li
+	  ><li class="src short"
+	  >pattern  t <a href="#v::-60--45--62-"
+	    >:&lt;-&gt;</a
+	    > t ::  (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t, <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t))</li
+	  ><li class="src short"
+	  ><span class="keyword"
+	    >data</span
+	    > a <a href="#t:-62--60-"
+	    >&gt;&lt;</a
+	    > b = <a href="#v:Empty"
+	    >Empty</a
+	    ></li
+	  ><li class="src short"
+	  >pattern  <a href="#v:E"
+	    >E</a
+	    > ::  <a href="PatternSyns.html#t:-62--60-"
+	    >(&gt;&lt;)</a
+	    > k t t</li
+	  ></ul
+	></div
+      ><div id="interface"
+      ><h1
+	>Documentation</h1
+	><div class="top"
+	><p class="src"
+	  ><span class="keyword"
+	    >data</span
+	    > <a name="t:FooType" class="def"
+	    >FooType</a
+	    > x</p
+	  ><div class="doc"
+	  ><p
+	    >FooType doc</p
+	    ></div
+	  ><div class="subs constructors"
+	  ><p class="caption"
+	    >Constructors</p
+	    ><table
+	    ><tr
+	      ><td class="src"
+		><a name="v:FooCtor" class="def"
+		  >FooCtor</a
+		  > x</td
+		><td class="doc empty"
+		>&nbsp;</td
+		></tr
+	      ></table
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  >pattern  <a name="v:Foo" class="def"
+	    >Foo</a
+	    > t ::  <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t</p
+	  ><div class="doc"
+	  ><p
+	    >Pattern synonym for <code
+	      ><a href="PatternSyns.html#v:Foo"
+		>Foo</a
+		></code
+	      > x</p
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  >pattern  <a name="v:Bar" class="def"
+	    >Bar</a
+	    > t ::  <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t)</p
+	  ><div class="doc"
+	  ><p
+	    >Pattern synonym for <code
+	      ><a href="PatternSyns.html#v:Bar"
+		>Bar</a
+		></code
+	      > x</p
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  >pattern  t <a name="v::-60--45--62-" class="def"
+	    >:&lt;-&gt;</a
+	    > t ::  (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t, <a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > (<a href="PatternSyns.html#t:FooType"
+	    >FooType</a
+	    > t))</p
+	  ><div class="doc"
+	  ><p
+	    >Pattern synonym for (<code
+	      ><a href="PatternSyns.html#v::-60--45--62-"
+		>:&lt;-&gt;</a
+		></code
+	      >)</p
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><span class="keyword"
+	    >data</span
+	    > a <a name="t:-62--60-" class="def"
+	    >&gt;&lt;</a
+	    > b</p
+	  ><div class="doc"
+	  ><p
+	    >Doc for (<code
+	      >&gt;&lt;</code
+	      >)</p
+	    ></div
+	  ><div class="subs constructors"
+	  ><p class="caption"
+	    >Constructors</p
+	    ><table
+	    ><tr
+	      ><td class="src"
+		><a name="v:Empty" class="def"
+		  >Empty</a
+		  ></td
+		><td class="doc empty"
+		>&nbsp;</td
+		></tr
+	      ></table
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  >pattern  <a name="v:E" class="def"
+	    >E</a
+	    > ::  <a href="PatternSyns.html#t:-62--60-"
+	    >(&gt;&lt;)</a
+	    > k t t</p
+	  ><div class="doc"
+	  ><p
+	    >Pattern for <code
+	      ><a href="PatternSyns.html#v:Empty"
+		>Empty</a
+		></code
+	      ></p
+	    ></div
+	  ></div
+	></div
+      ></div
+    ><div id="footer"
+    ><p
+      >Produced by <a href="http://www.haskell.org/haddock/"
+	>Haddock</a
+	> version 2.14.0</p
+      ></div
+    ></body
+  ></html
+>
diff --git a/html-test/src/PatternSyns.hs b/html-test/src/PatternSyns.hs
new file mode 100644
index 00000000..8af5eb23
--- /dev/null
+++ b/html-test/src/PatternSyns.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE PatternSynonyms, PolyKinds, TypeOperators #-}
+
+-- | Testing some pattern synonyms
+module PatternSyns where
+
+-- | FooType doc
+data FooType x = FooCtor x
+
+-- | Pattern synonym for 'Foo' x
+pattern Foo x = FooCtor x
+
+-- | Pattern synonym for 'Bar' x
+pattern Bar x = FooCtor (Foo x)
+
+-- | Pattern synonym for (':<->')
+pattern x :<-> y = (Foo x, Bar y)
+
+-- | Doc for ('><')
+data (a :: *) >< b = Empty
+
+-- | Pattern for 'Empty'
+pattern E = Empty
author	nand <git@nand.wakku.to>	2014-02-11 16:51:27 +0100
committer	Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>	2014-02-11 15:56:50 +0000
commit	7e53f628440169f90cfb6aeeaf74ffbe2b1cfa6d (patch)
tree	734bbf18a921a80e689a604d344391e9c2b7ed46
parent	bc5756d062bbc5cad5d4fa60798435ed020c518e (diff)