diff options
Diffstat (limited to 'html-test/ref/Operators.html')
-rw-r--r-- | html-test/ref/Operators.html | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 26b7e7f0..d01038a3 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -136,9 +136,7 @@ >type</span > a <a href="#" ><><</a - > b :: <a href="#" title="Data.Kind" - >*</a - ></li + > b :: *</li ><li ><span class="keyword" >data</span @@ -400,9 +398,7 @@ >type</span > a <a id="t:-60--62--60-" class="def" ><><</a - > b :: <a href="#" title="Data.Kind" - >*</a - > <span class="fixity" + > b :: * <span class="fixity" >infixl 2</span ><span class="rightedge" ></span |