X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcDeriv.lhs;h=6930b681fe5de702163626e4847dd715dd9e1b61;hb=88de2702104eceecf8b2817bed38457b16e740f4;hp=b1a281994f2d470ae5ea2164eedec6ae46a957ae;hpb=1c05d4fbb6ee7ab68470d0aa79d74a3a4f0d8383;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs index b1a2819..6930b68 100644 --- a/compiler/typecheck/TcDeriv.lhs +++ b/compiler/typecheck/TcDeriv.lhs @@ -971,7 +971,7 @@ inferInstanceContexts oflag infer_specs iterate_deriv :: Int -> [ThetaType] -> TcM [DerivSpec] iterate_deriv n current_solns | n > 20 -- Looks as if we are in an infinite loop - -- This can happen if we have -fallow-undecidable-instances + -- This can happen if we have -XUndecidableInstances -- (See TcSimplify.tcSimplifyDeriv.) = pprPanic "solveDerivEqns: probable loop" (vcat (map pprDerivSpec infer_specs) $$ ppr current_solns)