X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=8195a822fc98cefd0056e811b7e15f73a8a17059;hb=1c5499d4d5d506ce0cc971e98c09bfbf7bc290a1;hp=6a0924437280bb2d47f92e5da25a8c43a5c33db5;hpb=262c142b90c94ca1aa577c950a6ceae1f255e2d6;p=ghc-hetmet.git

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 6a09244..8195a82 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -619,8 +619,8 @@ addLocalInst home_ie ispec
 getOverlapFlag :: TcM OverlapFlag
 getOverlapFlag 
   = do 	{ dflags <- getDOpts
-	; let overlap_ok    = dopt Opt_AllowOverlappingInstances dflags
-	      incoherent_ok = dopt Opt_AllowIncoherentInstances  dflags
+	; let overlap_ok    = dopt Opt_OverlappingInstances dflags
+	      incoherent_ok = dopt Opt_IncoherentInstances  dflags
 	      overlap_flag | incoherent_ok = Incoherent
 			   | overlap_ok    = OverlapOk
 			   | otherwise     = NoOverlap
@@ -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