summaryrefslogtreecommitdiff
path: root/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/programs/joao-circular/Visfun_Lazy.hs')
-rw-r--r--testsuite/tests/programs/joao-circular/Visfun_Lazy.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
index e4055350a1..cfb04e6918 100644
--- a/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
+++ b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
@@ -861,11 +861,11 @@ visit_PPSArgs :: PPSArgs -> [T_Frame] -> (T_Errs, T_Fmts, Integer, T_Mins)
-- This function's most general type is
-- visit_PPSArgs :: forall a. (Integral a, Show a)
-- => PPSArgs -> [T_Frame] -> (T_Errs, T_Fmts, a, T_Mins)
--- But in the same mutually recusive group is visit_PPS whose type becomes
+-- But in the same mutually recursive group is visit_PPS whose type becomes
-- visit_PPS :: forall a. (Integral a, Show a)
-- => PPS -> T_Frame -> (Bool, T_Formats, INT, INT, INT)
-- which GHC now (rightfully) rejects that as ambiguous, even though
--- acutally default resolution will allow it at call sites,
+-- actually default resolution will allow it at call sites,
-- So I've added a type signature
-- SLPJ July 2012