-- 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))
+ -- !!!TODO: Handle the `ats' parameter!!! -=chak
= -- Prime error recovery, set source location
recoverM (returnM Nothing) $
setSrcSpan loc $