From f3e76a50eec28d17ddd0fe8e965c15c19c4ef3cf Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Fri, 20 Jul 2018 04:50:00 -0700 Subject: Misc tests (#858) * More tests * spliced types * constructor/pattern argument docs * strictness marks on fields with argument docs * latex test cases need seperate directory * Accept tests --- html-test/ref/GadtConstructorArgs.html | 192 +++++++++++++++++++++++++++++++++ 1 file changed, 192 insertions(+) create mode 100644 html-test/ref/GadtConstructorArgs.html (limited to 'html-test/ref/GadtConstructorArgs.html') diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html new file mode 100644 index 00000000..7497de83 --- /dev/null +++ b/html-test/ref/GadtConstructorArgs.html @@ -0,0 +1,192 @@ +GadtConstructorArgs

Safe Haskell	Safe

GadtConstructorArgs

Documentation

data Boo where #

Constructors

Fot
Fields :: { x :: Int an `x` , y :: Int a `y` } -> Boo
Fob	Record GADT with docs
Fields :: { w :: Int a `w` , z :: Int a `z` } -> Boo a `Boo`

\ No newline at end of file -- cgit v1.2.3