aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIsaac Dupree <id@isaac.cedarswampstudios.org>2009-07-21 22:03:25 +0000
committerIsaac Dupree <id@isaac.cedarswampstudios.org>2009-07-21 22:03:25 +0000
commite2b42e751b281e43c5f5432bd7b3a322506e7f51 (patch)
treeeaedd149bb78323fc3f1a79b6cc441f9ddec56cb
parent1e116a2c7c6f729775e99183778a2909df046622 (diff)
add test for GADT records
-rw-r--r--tests/tests/GADTRecords.hs12
-rw-r--r--tests/tests/GADTRecords.html.ref295
2 files changed, 307 insertions, 0 deletions
diff --git a/tests/tests/GADTRecords.hs b/tests/tests/GADTRecords.hs
new file mode 100644
index 00000000..a82cb381
--- /dev/null
+++ b/tests/tests/GADTRecords.hs
@@ -0,0 +1,12 @@
+
+module GADTRecords (H1(..)) where
+
+-- | h1
+data H1 a b where
+ C1 :: H1 a b
+ C2 :: Ord a => [a] -> H1 a a
+ C3 { field :: Int -- ^ hello docs
+ } :: H1 Int Int
+ C4 { field2 :: a -- ^ hello2 docs
+ } :: H1 Int a
+
diff --git a/tests/tests/GADTRecords.html.ref b/tests/tests/GADTRecords.html.ref
new file mode 100644
index 00000000..35353c16
--- /dev/null
+++ b/tests/tests/GADTRecords.html.ref
@@ -0,0 +1,295 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<!--Rendered using the Haskell Html Library v0.2-->
+<HTML
+><HEAD
+><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
+><TITLE
+>GADTRecords</TITLE
+><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
+><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
+></SCRIPT
+><SCRIPT TYPE="text/javascript"
+>window.onload = function () {setSynopsis("mini_GADTRecords.html")};</SCRIPT
+></HEAD
+><BODY
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="topbar"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD
+><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
+></TD
+><TD CLASS="title"
+></TD
+><TD CLASS="topbut"
+><A HREF="index.html"
+>Contents</A
+></TD
+><TD CLASS="topbut"
+><A HREF="doc-index.html"
+>Index</A
+></TD
+></TR
+></TABLE
+></TD
+></TR
+><TR
+><TD CLASS="modulebar"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD
+><FONT SIZE="6"
+>GADTRecords</FONT
+></TD
+></TR
+></TABLE
+></TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="section1"
+>Synopsis</TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="body"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="decl"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="decl"
+><SPAN CLASS="keyword"
+>data</SPAN
+> <A HREF="#t%3AH1"
+>H1</A
+> a b <SPAN CLASS="keyword"
+>where</SPAN
+></TD
+></TR
+><TR
+><TD CLASS="body"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="decl"
+><A HREF="#v%3AC1"
+>C1</A
+> :: <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> a b</TD
+></TR
+><TR
+><TD CLASS="decl"
+><A HREF="#v%3AC2"
+>C2</A
+> :: Ord a =&gt; [a] -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> a a</TD
+></TR
+><TR
+><TD CLASS="decl"
+><A HREF="#v%3AC3"
+>C3</A
+> :: {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="recfield"
+><A HREF="#v%3Afield"
+>field</A
+> :: Int</TD
+></TR
+></TABLE
+>} -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> Int Int</TD
+></TR
+><TR
+><TD CLASS="decl"
+><A HREF="#v%3AC4"
+>C4</A
+> :: {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="recfield"
+><A HREF="#v%3Afield2"
+>field2</A
+> :: a</TD
+></TR
+></TABLE
+>} -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> Int a</TD
+></TR
+></TABLE
+></TD
+></TR
+></TABLE
+></TD
+></TR
+></TABLE
+></TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="section1"
+>Documentation</TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="decl"
+><SPAN CLASS="keyword"
+>data</SPAN
+> <A NAME="t:H1"
+><A NAME="t%3AH1"
+></A
+></A
+><B
+>H1</B
+> a b <SPAN CLASS="keyword"
+>where</SPAN
+></TD
+></TR
+><TR
+><TD CLASS="body"
+><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
+><TR
+><TD CLASS="ndoc"
+>h1
+</TD
+></TR
+><TR
+><TD CLASS="section4"
+>Constructors</TD
+></TR
+><TR
+><TD CLASS="body"
+><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
+><TR
+><TD CLASS="arg"
+><A NAME="v:C1"
+><A NAME="v%3AC1"
+></A
+></A
+><B
+>C1</B
+> :: <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> a b</TD
+><TD CLASS="rdoc"
+></TD
+></TR
+><TR
+><TD CLASS="arg"
+><A NAME="v:C2"
+><A NAME="v%3AC2"
+></A
+></A
+><B
+>C2</B
+> :: Ord a =&gt; [a] -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> a a</TD
+><TD CLASS="rdoc"
+></TD
+></TR
+><TR
+><TD CLASS="arg"
+><A NAME="v:C3"
+><A NAME="v%3AC3"
+></A
+></A
+><B
+>C3</B
+> :: Int -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> Int Int</TD
+><TD CLASS="rdoc"
+></TD
+></TR
+><TR
+><TD CLASS="body" COLSPAN="2"
+><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
+><TR
+><TD CLASS="arg"
+><A NAME="v:field"
+><A NAME="v%3Afield"
+></A
+></A
+><B
+>field</B
+> :: Int</TD
+><TD CLASS="rdoc"
+>hello docs
+</TD
+></TR
+></TABLE
+></TD
+></TR
+><TR
+><TD CLASS="arg"
+><A NAME="v:C4"
+><A NAME="v%3AC4"
+></A
+></A
+><B
+>C4</B
+> :: a -&gt; <A HREF="GADTRecords.html#t%3AH1"
+>H1</A
+> Int a</TD
+><TD CLASS="rdoc"
+></TD
+></TR
+><TR
+><TD CLASS="body" COLSPAN="2"
+><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
+><TR
+><TD CLASS="arg"
+><A NAME="v:field2"
+><A NAME="v%3Afield2"
+></A
+></A
+><B
+>field2</B
+> :: a</TD
+><TD CLASS="rdoc"
+>hello2 docs
+</TD
+></TR
+></TABLE
+></TD
+></TR
+></TABLE
+></TD
+></TR
+></TABLE
+></TD
+></TR
+><TR
+><TD CLASS="s15"
+></TD
+></TR
+><TR
+><TD CLASS="botbar"
+>Produced by <A HREF="http://www.haskell.org/haddock/"
+>Haddock</A
+> version 2.5.0</TD
+></TR
+></TABLE
+></BODY
+></HTML
+>