projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
486c94a
)
[project @ 2001-04-13 17:49:23 by lewie]
author
lewie
<unknown>
Fri, 13 Apr 2001 17:49:23 +0000
(17:49 +0000)
committer
lewie
<unknown>
Fri, 13 Apr 2001 17:49:23 +0000
(17:49 +0000)
Add new test for IP.
ghc/tests/typecheck/should_compile/tc123.hs
[new file with mode: 0644]
patch
|
blob
diff --git a/ghc/tests/typecheck/should_compile/tc123.hs
b/ghc/tests/typecheck/should_compile/tc123.hs
new file mode 100644
(file)
index 0000000..
ecec4ba
--- /dev/null
+++ b/
ghc/tests/typecheck/should_compile/tc123.hs
@@ -0,0
+1,17
@@
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Monotypes w/ Implicit Parameters
+
+-- GHC 5.00 doesn't handle this:
+
+-- Couldn't match `{?wibble :: Int}' against `()'
+-- Expected type: {?wibble :: Int}
+-- Inferred type: ()
+-- In the first argument of `x', namely `()'
+-- in the definition of function `y': x ()
+
+module ShouldCompile where
+
+x () = (?wibble :: Int)
+
+y () = x ()