Typofix in Data.Type.Equality comments

ghc · Jun 18, 2017 · df32880 · df32880
1 parent 8573100
commit df32880
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs
@@ -112,7 +112,7 @@ gcastWith Refl x = x
 apply :: (f :~: g) -> (a :~: b) -> (f a :~: g b)
 apply Refl Refl = Refl
 
--- | Extract equality of the arguments from an equality of a applied types
+-- | Extract equality of the arguments from an equality of applied types
 inner :: (f a :~: g b) -> (a :~: b)
 inner Refl = Refl