X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=04dd4a28cc8734d62c8a837118510c2de88eac5e;hp=6a0924437280bb2d47f92e5da25a8c43a5c33db5;hb=0f22eb9f85ca54f2545f64c43983c7d4a105420c;hpb=d8edbf1d900e3fb73e61ebb1b81192121c78995d diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs index 6a09244..04dd4a2 100644 --- a/compiler/typecheck/Inst.lhs +++ b/compiler/typecheck/Inst.lhs @@ -661,7 +661,7 @@ data LookupInstResult | GenInst [Inst] (LHsExpr TcId) -- The expression and its needed insts lookupSimpleInst :: Inst -> TcM LookupInstResult --- This is "simple" in tthat it returns NoInstance for implication constraints +-- This is "simple" in that it returns NoInstance for implication constraints -- It's important that lookupInst does not put any new stuff into -- the LIE. Instead, any Insts needed by the lookup are returned in