From 6261850cc1b735e96dc58e7bd1cd50c2644a3bd9 Mon Sep 17 00:00:00 2001 From: Boyd Stephen Smith Jr Date: Fri, 3 Jun 2016 12:18:24 -0500 Subject: [PATCH] Fix typo. "because" -> "became" --- Data/Constraint.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Data/Constraint.hs b/Data/Constraint.hs index 84d67c0..72c0033 100644 --- a/Data/Constraint.hs +++ b/Data/Constraint.hs @@ -138,9 +138,10 @@ infixr 9 :- -- -- This relationship is captured in the ':-' entailment type here. -- --- Since @p ':-' p@ and entailment composes, ':-' forms the arrows of a 'Category' --- of constraints. However, 'Category' only because sufficiently general to support this --- instance in GHC 7.8, so prior to 7.8 this instance is unavailable. +-- Since @p ':-' p@ and entailment composes, ':-' forms the arrows of a +-- 'Category' of constraints. However, 'Category' only became sufficiently +-- general to support this instance in GHC 7.8, so prior to 7.8 this instance +-- is unavailable. -- -- But due to the coherence of instance resolution in Haskell, this 'Category' -- has some very interesting properties. Notably, in the absence of