Renaming of indexed types
[ghc-hetmet.git] / compiler / typecheck / TcInstDcls.lhs
index c610594..0454e34 100644 (file)
@@ -175,7 +175,8 @@ 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))
+  -- !!!TODO: Handle the `ats' parameter!!! -=chak
   =    -- Prime error recovery, set source location
     recoverM (returnM Nothing)         $
     setSrcSpan loc                     $