X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=e3f29552c0b15dc28c854bb70b5fc685ec62e777;hp=af99bc2befd06fa09d1bec4aebb5b4ee9237221c;hb=ab222dbdbf95e9a6a63dc4f8ed8cb7fc7784a991;hpb=72462499b891d5779c19f3bda03f96e24f9554ae diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index af99bc2..e3f2955 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -1492,7 +1492,7 @@ tcSimplifyRestricted doc top_lvl bndrs tau_tvs wanteds -- (for example) squash {Monad (ST s)} into {}. It's not enough -- just to float all constraints -- - -- At top level, we *do* squash methods becuase we want to + -- At top level, we *do* squash methods because we want to -- expose implicit parameters to the test that follows ; let is_nested_group = isNotTopLevel top_lvl try_me inst | isFreeWrtTyVars qtvs inst,