X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=ecf4ac9790e02af4e872bf4be92f54d010a814d6;hp=8b53e3ec29c9adb61394482a32dd1ecc610b4a16;hb=afef39736dcde6f4947a6f362f9e6b3586933db4;hpb=1dfd77341ec56e9d61f2d78cb7ff2b9900385dac

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 8b53e3e..ecf4ac9 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -51,7 +51,6 @@ pass, when the class-instance envs and GVE contain all the info from
 all the instance and value decls.  Indeed that's the reason we need
 two passes over the instance decls.
 
-
 Here is the overall algorithm.
 Assume that we have an instance declaration
 
@@ -176,8 +175,10 @@ tcLocalInstDecl1 :: LInstDecl Name
 	-- Type-check all the stuff before the "where"
 	--
 	-- We check for respectable instance type, and context
-tcLocalInstDecl1 decl@(L loc (InstDecl poly_ty binds uprags))
+tcLocalInstDecl1 decl@(L loc (InstDecl poly_ty binds uprags ats))
   =	-- Prime error recovery, set source location
+    ASSERT( null ats )
+      -- !!!TODO: Handle the `ats' parameter!!! -=chak
     recoverM (returnM Nothing)		$
     setSrcSpan loc			$
     addErrCtxt (instDeclCtxt1 poly_ty)	$