diff options
| author | Isaac Dupree <id@isaac.cedarswampstudios.org> | 2009-07-21 22:03:25 +0000 |
|---|---|---|
| committer | Isaac Dupree <id@isaac.cedarswampstudios.org> | 2009-07-21 22:03:25 +0000 |
| commit | e2b42e751b281e43c5f5432bd7b3a322506e7f51 (patch) | |
| tree | eaedd149bb78323fc3f1a79b6cc441f9ddec56cb | |
| parent | 1e116a2c7c6f729775e99183778a2909df046622 (diff) | |
add test for GADT records
| -rw-r--r-- | tests/tests/GADTRecords.hs | 12 | ||||
| -rw-r--r-- | tests/tests/GADTRecords.html.ref | 295 |
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 => [a] -> <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 +>} -> <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 +>} -> <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 => [a] -> <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 -> <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 -> <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 +> |