diff options
| -rw-r--r-- | tests/html-tests/tests/TypeOperators.hs | 4 | ||||
| -rw-r--r-- | tests/html-tests/tests/TypeOperators.html.ref | 54 | ||||
| -rw-r--r-- | tests/html-tests/tests/mini_TypeOperators.html.ref | 8 |
3 files changed, 1 insertions, 65 deletions
diff --git a/tests/html-tests/tests/TypeOperators.hs b/tests/html-tests/tests/TypeOperators.hs index aa0fbe8c..edbb9344 100644 --- a/tests/html-tests/tests/TypeOperators.hs +++ b/tests/html-tests/tests/TypeOperators.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE TypeOperators #-} module TypeOperators ( -- * stuff (:-:), @@ -5,7 +6,6 @@ module TypeOperators ( Op, O(..), biO, - Flip(..) ) where data a :-: b @@ -18,5 +18,3 @@ newtype (g `O` f) a = O { unO :: g (f a) } biO :: (g `O` f) a biO = undefined - -newtype Flip (~>) b a = Flip { unFlip :: a ~> b } diff --git a/tests/html-tests/tests/TypeOperators.html.ref b/tests/html-tests/tests/TypeOperators.html.ref index 0155ab0d..519547d6 100644 --- a/tests/html-tests/tests/TypeOperators.html.ref +++ b/tests/html-tests/tests/TypeOperators.html.ref @@ -94,20 +94,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");} > :: (g `<a href="" >O</a >` f) a</li - ><li class="src short" - ><span class="keyword" - >newtype</span - > <a href="" - >Flip</a - > (~>) b a = <a href="" - >Flip</a - > {<ul class="subs" - ><li - ><a href="" - >unFlip</a - > :: a ~> b</li - ></ul - >}</li ></ul ></div ><div id="interface" @@ -186,46 +172,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");} >O</a >` f) a</p ></div - ><div class="top" - ><p class="src" - ><span class="keyword" - >newtype</span - > <a name="t:Flip" class="def" - >Flip</a - > (~>) b a </p - ><div class="subs constructors" - ><p class="caption" - >Constructors</p - ><table - ><tr - ><td class="src" - ><a name="v:Flip" class="def" - >Flip</a - ></td - ><td class="doc empty" - > </td - ></tr - ><tr - ><td colspan="2" - ><div class="subs fields" - ><p class="caption" - >Fields</p - ><dl - ><dt class="src" - ><a name="v:unFlip" class="def" - >unFlip</a - > :: a ~> b</dt - ><dd class="doc empty" - > </dd - ></dl - ><div class="clear" - ></div - ></div - ></td - ></tr - ></table - ></div - ></div ></div ></div ><div id="footer" diff --git a/tests/html-tests/tests/mini_TypeOperators.html.ref b/tests/html-tests/tests/mini_TypeOperators.html.ref index f70a0fae..86b6beec 100644 --- a/tests/html-tests/tests/mini_TypeOperators.html.ref +++ b/tests/html-tests/tests/mini_TypeOperators.html.ref @@ -60,14 +60,6 @@ window.onload = function () {pageLoad();}; >biO</a ></p ></div - ><div class="top" - ><p class="src" - ><span class="keyword" - >data</span - > <a href="" target="main" - >Flip</a - > (~>) b a</p - ></div ></div ></body ></html |