Compute demand signatures assuming idArity
[ghc.git] / compiler / coreSyn / CoreArity.hs
index 5f7f559..2f2418e 100644 (file)
@@ -158,7 +158,7 @@ exprBotStrictness_maybe e
 {-
 Note [exprArity invariant]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~
-exprArity has the following invariant:
+exprArity has the following invariants:
 
   (1) If typeArity (exprType e) = n,
       then manifestArity (etaExpand e n) = n