Commit 91d947c3 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update output

parent 706c439f
......@@ -4,14 +4,14 @@ rw.hs:14:32:
against inferred type `Int'
`a' is bound by the type signature for `writeInt' at rw.hs:12:13
In the second argument of `writeIORef', namely `(1 :: Int)'
In the call (writeIORef ref (1 :: Int))
In the expression: writeIORef ref (1 :: Int)
In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
rw.hs:19:36:
Couldn't match expected type `a' (a rigid variable)
against inferred type `Bool'
`a' is bound by the type signature for `readBool' at rw.hs:16:13
Expected type: a -> t
Expected type: a -> b
Inferred type: Bool -> Bool
In the second argument of `(.)', namely `not'
In the second argument of `(>>=)', namely `(print . not)'
mod1.hs:3:0:
Failed to load interface for `N':
Could not find module `N': use -v to see a list of the files searched for
Use -v to see a list of the files searched for.
mod2.hs:3:0:
Failed to load interface for `N':
Could not find module `N': use -v to see a list of the files searched for
Use -v to see a list of the files searched for.
......@@ -36,7 +36,7 @@ newtype HashTable key val arr ref m = HashTable (ref (HT key val arr ref m))
data HT key val arr (ref :: * -> *) (m :: * -> *) = HT { dir :: (arr Int32 (arr Int32 [(key,val)])) }
new :: (MutHash arr ref m) => m (HashTable key val arr ref m)
new :: forall arr ref m key val. (MutHash arr ref m) => m (HashTable key val arr ref m)
new = do
(dir::arr Int32 (arr Int32 [(key,val)])) <- newMHArray (0,0) undefined
(segment::arr Int32 [(key,val)]) <- return undefined
......
......@@ -133,12 +133,12 @@ test('tc130', normal, compile, [''])
test('tc131', normal, compile, [''])
test('tc132', normal, compile, [''])
test('tc133', normal, compile, [''])
test('tc134', only_compiler_types(['ghc']), compile, [''])
test('tc134', only_compiler_types(['ghc']), compile_fail, [''])
test('tc135', only_compiler_types(['ghc']), compile, [''])
test('tc136', normal, compile, [''])
test('tc137', normal, compile, [''])
test('tc140', normal, compile, [''])
test('tc141', normal, compile, [''])
test('tc141', normal, compile_fail, [''])
test('tc142', normal, compile, [''])
test('tc143', normal, compile, [''])
test('tc144', omit_compiler_types(['hugs']), compile, ['']) # Hugs loops
......
......@@ -9,4 +9,5 @@
module ShouldCompile where
p :: forall a. a -> a
p = let y = p in \ (x::a) -> x
tc134.hs:11:2:
The scoped type variable `a' is bound to the type `Int'
You can only bind scoped type variables to type variables
In the definition of `g': g x :: a = x :: a
......@@ -5,6 +5,7 @@
module ShouldCompile where
f :: forall x. x -> x -> x
f (x::x) (y::x) = x
-- Two points: (a) we are using x as a term variable and as a type variable
-- (b) the type variable appears twice, but that is OK
......@@ -4,6 +4,7 @@
-- This should *fail* on GHC 5.02 and lower,
-- It's a post-5.02 enhancements to allow them.
-- It's an error again in GHC 6.6!
module ShouldCompile where
......
tc141.hs:11:14: Not in scope: type variable `a'
tc141.hs:11:19: Not in scope: type variable `a'
tcfail082.hs:2:0:
Failed to load interface for `Data82':
Could not find module `Data82': use -v to see a list of the files searched for
Use -v to see a list of the files searched for.
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