From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/TypeFamilies2.html | 87 ++++++++++++++++++---------------------- 1 file changed, 39 insertions(+), 48 deletions(-) (limited to 'html-test/ref/TypeFamilies2.html') diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 0c7e4ec6..dae60489 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -1,32 +1,33 @@ - TypeFamilies2

 

  • data W
  • type family Foo a
  • data family Bar a

    • data W

    data Bar W = = BarX Ztype Foo W

    Should be visible, but with a hidden right hand side

    type family Foo a

    type Foo W

    Should be visible, but with a hidden right hand side

    type Foo X = = Y

    External instance

    data family Bar a

    data Bar W = = BarX Zdata Bar Y 
    +> \ No newline at end of file -- cgit v1.2.3