Cosmetics
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 9 May 2012 13:11:09 +0000 (14:11 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 9 May 2012 13:11:09 +0000 (14:11 +0100)
compiler/typecheck/TcEvidence.lhs
compiler/typecheck/TcSMonad.lhs

index 2955676..82298a4 100644 (file)
@@ -267,7 +267,7 @@ liftTcCoSubstWith tvs cos ty
                              Nothing -> mkTcReflCo ty
     go (AppTy t1 t2)     = mkTcAppCo (go t1) (go t2)
     go (TyConApp tc tys) = mkTcTyConAppCo tc (map go tys)
-    go ty@(LitTy {})     = mkTcReflCo ty\r
+    go ty@(LitTy {})     = mkTcReflCo ty
     go (ForAllTy tv ty)  = mkTcForAllCo tv (go ty)
     go (FunTy t1 t2)     = mkTcFunCo (go t1) (go t2)
 \end{code}
index 5b7d650..ab42496 100644 (file)
@@ -517,11 +517,11 @@ data InertSet
        , inert_solved        :: PredMap    CtEvidence  -- All others
                      -- These two fields constitute a cache of solved (only!) constraints
               -- See Note [Solved constraints]
-                     -- * Constraints of form (F xis ~ xi) live in inert_solved_funeqs, 
+                     -- - Constraints of form (F xis ~ xi) live in inert_solved_funeqs, 
                      --   all the others are in inert_solved
-                     -- * Used to avoid creating a new EvVar when we have a new goal that we
+                     -- - Used to avoid creating a new EvVar when we have a new goal that we
                      --   have solvedin the past
-                     -- * Stored not necessarily as fully rewritten 
+                     -- - Stored not necessarily as fully rewritten 
                      --   (ToDo: rewrite lazily when we lookup)
        }