Commit 9bec2a1a authored by sewardj's avatar sewardj
Browse files

[project @ 2002-02-21 17:31:17 by sewardj]

Fix those failures which are manifestly due to the new library.
parent 5b06422d
......@@ -41,7 +41,7 @@ test "tcfail040" { vtcf("") }
test "tcfail042" { vtcf("") }
test "tcfail043" { vtcf("") }
test "tcfail044" { vtcf("") }
test "tcfail045" { vtcf("-fglasgow-exts -package lang") }
test "tcfail045" { vtcf("-fglasgow-exts") }
test "tcfail046" { vtcf("") }
test "tcfail047" { vtcf("") }
test "tcfail048" { vtcf("") }
......@@ -60,7 +60,7 @@ test "tcfail062" { vtcf("") }
test "tcfail063" { vtcf("") }
test "tcfail065" { vtcf("") }
test "tcfail067" { vtcf("") }
test "tcfail068" { vtcf("-fglasgow-exts -package lang") }
test "tcfail068" { vtcf("-fglasgow-exts") }
test "tcfail069" { vtcf("") }
test "tcfail070" { vtcf("") }
test "tcfail071" { vtcf("") }
......
tcfail013.hs:4:
Couldn't match `[a]' against `Bool'
Expected type: [a]
Inferred type: Bool
Couldn't match `Bool' against `[a]'
Expected type: Bool
Inferred type: [a]
In the pattern: True
In the definition of `f': f True = 2
tests/ghc-regress/typecheck/should_fail/tcfail030.hs:3:
Variable not in scope: `main'
tcfail030.hs:3: No 'main' defined in module Main
......@@ -2,4 +2,4 @@
tcfail037.hs:7:
Ambiguous occurrence `+'
It could refer to either `ShouldFail.+', defined at tcfail037.hs:10
or `PrelNum.+', imported from Prelude at tcfail037.hs:3
or `GHC.Num.+', imported from Prelude at tcfail037.hs:3
Duplicate instance declarations:
tcfail073.hs:7: Eq (a, b)
/home/simonmar/builds/i386-unknown-linux/ghc/driver/../lib/std/PrelTup.hi:100: Eq (a,
b)
/home/v-julsew/503/s2/libraries/base/Data/Tuple.hi:100: Eq (a, b)
......@@ -4,7 +4,9 @@
module ShouldFail where
import PrelGHC
--import PrelGHC
import GHC.Base
import GHC.Prim
x = 1#
......
tcfail075.hs:9:
tcfail075.hs:11:
Top-level bindings for unlifted types aren't allowed: x = 1#
When generalising the type(s) for `x'
tcfail075.hs:12:
tcfail075.hs:14:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
Inferred type: t
In the first argument of `(+#)', namely `x'
tcfail075.hs:15:
tcfail075.hs:17:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
Inferred type: t
In the first argument of `(-#)', namely `x'
tcfail075.hs:17:
tcfail075.hs:19:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
......
......@@ -2,7 +2,7 @@
module ShouldFail where
import PrelGHC
import GHC.Base
die :: Int -> ByteArray#
die _ = undefined
......@@ -4,6 +4,6 @@
module ShouldFail where
import PrelGHC
import GHC.Base
x = 1#
......@@ -4,9 +4,9 @@
-- This one is a bit crafty
module ShouldCompile where
import PrelST
import PrelArr
import GHC.ST
import GHC.STRef
import GHC.Arr
-- Note the *pattern* type sig on f, which forces it
-- to be monomorphic; but the separate type sig makes
......
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