Commit 4ff945c7 authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

spelling

parent fd1cf5cb
-- This program broke GHC 6.3, becuase dataToTag was called with
-- This program broke GHC 6.3, because dataToTag was called with
-- an unevaluated argument
module Main where
......
......@@ -10,7 +10,7 @@ data Hidden = forall t . Hidden (ExpGADT t) (ExpGADT t)
hval = Hidden (ExpInt 0) (ExpInt 1)
-- With the type sig this is ok, but without it maybe
-- should be rejected becuase the result type is wobbly
-- should be rejected because the result type is wobbly
-- weird1 :: ExpGADT Int
--
-- And indeed it is rejected by GHC 7.8 because OutsideIn
......
......@@ -4,7 +4,7 @@ postInlineUnconditionally
= case Just "Hey" of
-- The point of examining occ_info here is that for *non-values*
-- that occur outside a lambda, the call-site inliner won't have
-- a chance (becuase it doesn't know that the thing
-- a chance (because it doesn't know that the thing
-- only occurs once). The pre-inliner won't have gotten
-- it either, if the thing occurs in more than one branch
-- So the main target is things like
......
......@@ -23,7 +23,7 @@ sucW = gen_sucW (\ g x -> map (+x) [fst g..snd g]) f (11,500000)
main = print (sum $ sucW 11,sum $ sucW 12)
-- Becuase this version uses a case expression, the bug
-- Because this version uses a case expression, the bug
-- doesn't happen and execution is much faster
gen_sucC grow c g = case c g of
check -> \ x -> grow g x >>= \ y -> do guard $ check y; return y
......
......@@ -17,7 +17,7 @@ f x = x
-- You might think that (->) should have type (? -> ? -> *), and you'd be right
-- But if we do that we get kind errors when saying
-- instance Control.Arrow (->)
-- becuase the expected kind is (*->*->*). The trouble is that the
-- because the expected kind is (*->*->*). The trouble is that the
-- expected/actual stuff in the unifier does not go contra-variant, whereas
-- the kind sub-typing does. Sigh. It really only matters if you use (->) in
-- a prefix way, thus: (->) Int# Int#. And this is unusual.
......@@ -6,7 +6,7 @@
It *is* an error, because x does not have the polytype
forall a. Eq a => a -> Int
becuase it is monomorphic, but the error message isn't very illuminating.
because it is monomorphic, but the error message isn't very illuminating.
-}
module ShouldFail where
......
......@@ -4,7 +4,7 @@
-- Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
-- but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
--
-- as we couldn't tidy kinds, because they didn't have OccNames.
-- This test recalls the bad error message.
module ShouldFail where
......
......@@ -4,7 +4,7 @@
-- (Monad GHC.Prim.Any1, Monad m) =>
-- t -> Something (m Bool) e
--
-- The stupid 'GHC.Prim.Any1' arose becuase of type ambiguity
-- The stupid 'GHC.Prim.Any1' arose because of type ambiguity
-- which should be reported, and wasn't.
module ShouldFail where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment