diff options
Diffstat (limited to 'html-test')
| -rw-r--r-- | html-test/ref/PatternSyns.html | 12 |
1 files changed, 6 insertions, 6 deletions
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" |