diff options
Diffstat (limited to 'testsuite/tests/programs/joao-circular/Visfun_Lazy.hs')
-rw-r--r-- | testsuite/tests/programs/joao-circular/Visfun_Lazy.hs | 4 |
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 |