From e7586f005aa89a45b0fc4f3564f0f17ab9f79d38 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Wed, 6 Mar 2019 19:16:24 -0500 Subject: Update html-test output to reflect #16391 changes --- html-test/ref/PatternSyns.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 1a1a49bb..6fec017e 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -86,13 +86,13 @@ >pattern (:<->) :: x -> x1 -> ( :: x1 -> x2 -> (FooType x, x1, FooType (FooType x1)) x2))
  • datapattern (:<->) :: x -> x1 -> ( :: x1 -> x2 -> (FooType x, x1, FooType (FooType x1)) x2)) #