From 605502fbd9879268a13bf5f400d98b128fb8d1fc Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Fri, 21 Sep 2012 14:35:45 +0200
Subject: Update TypeOperators test for GHC 7.6.1

Type operators can't be used as type variables anymore!
---
 tests/html-tests/tests/TypeOperators.hs            |  4 +-
 tests/html-tests/tests/TypeOperators.html.ref      | 54 ----------------------
 tests/html-tests/tests/mini_TypeOperators.html.ref |  8 ----
 3 files changed, 1 insertion(+), 65 deletions(-)

(limited to 'tests/html-tests')

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
-	    > (~&gt;) b a = <a href=""
-	    >Flip</a
-	    > {<ul class="subs"
-	    ><li
-	      ><a href=""
-		>unFlip</a
-		> :: a ~&gt; 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
-	    > (~&gt;) 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"
-		>&nbsp;</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 ~&gt; b</dt
-		      ><dd class="doc empty"
-		      >&nbsp;</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
-	  > (~&gt;) b a</p
-	></div
       ></div
     ></body
   ></html
-- 
cgit v1.2.3