@@ -256,7 +256,7 @@ entails :: ModuleName -> [TypeClassDictionaryInScope] -> (Qualified ProperName,
256entails moduleName context goal@(className, tys) = do
256entails moduleName context goal@(className, tys) = do
257 env <- getEnv
257 env <- getEnv
258 case go env goal of
258 case go env goal of
259− [] -> throwError $ "No " ++ show className ++ " instance found for " ++ intercalate ", " (map prettyPrintType tys) ++ show (typeClassDictionaries env)
259+ [] -> throwError $ "No " ++ show className ++ " instance found for " ++ intercalate ", " (map prettyPrintType tys)
260 (dict : _) -> return dict
260 (dict : _) -> return dict
262 go env (className', tys') =
262 go env (className', tys') =