From d37c07402a6657e7eeb274cfbeb8a728b961a421 Mon Sep 17 00:00:00 2001
From: lewie <unknown>
Date: Fri, 13 Apr 2001 17:49:23 +0000
Subject: [PATCH] [project @ 2001-04-13 17:49:23 by lewie] Add new test for
 IP.

---
 ghc/tests/typecheck/should_compile/tc123.hs |   17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_compile/tc123.hs

diff --git a/ghc/tests/typecheck/should_compile/tc123.hs b/ghc/tests/typecheck/should_compile/tc123.hs
new file mode 100644
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 ()
-- 
1.7.10.4