From e7586f005aa89a45b0fc4f3564f0f17ab9f79d38 Mon Sep 17 00:00:00 2001 From: Ryan Scott <ryan.gl.scott@gmail.com> 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') 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</span > <a href="#" >(:<->)</a - > :: x -> x1 -> (<a href="#" title="PatternSyns" + > :: x1 -> x2 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" title="PatternSyns" + > x1, <a href="#" title="PatternSyns" >FooType</a > (<a href="#" title="PatternSyns" >FooType</a - > x1))</li + > x2))</li ><li class="src short" ><span class="keyword" >data</span @@ -221,13 +221,13 @@ >pattern</span > <a id="v::-60--45--62-" class="def" >(:<->)</a - > :: x -> x1 -> (<a href="#" title="PatternSyns" + > :: x1 -> x2 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" title="PatternSyns" + > x1, <a href="#" title="PatternSyns" >FooType</a > (<a href="#" title="PatternSyns" >FooType</a - > x1)) <a href="#" class="selflink" + > x2)) <a href="#" class="selflink" >#</a ></p ><div class="doc" -- cgit v1.2.3