From 40075824263f7746700406165b8156c362e576d3 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Mon, 26 Jul 1999 15:21:56 +0000
Subject: [PATCH] [project @ 1999-07-26 15:21:56 by simonpj] Add tc102

---
 ghc/tests/typecheck/should_compile/tc102.hs     |   12 ++++++++++++
 ghc/tests/typecheck/should_compile/tc102.stderr |    3 +++
 2 files changed, 15 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_compile/tc102.hs
 create mode 100644 ghc/tests/typecheck/should_compile/tc102.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc102.hs b/ghc/tests/typecheck/should_compile/tc102.hs
new file mode 100644
index 0000000..cf07b62
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc102.hs
@@ -0,0 +1,12 @@
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Caused ghc-4.04proto to report a bogus type error
+-- !!! (as reported by Keith)
+
+-- The type error arose from a mistake in tcMatches.tc_match
+
+-- Involves pattern type signatures
+
+module ShouldCompile where
+
+p = let y = p in \ (x::a) -> x
diff --git a/ghc/tests/typecheck/should_compile/tc102.stderr b/ghc/tests/typecheck/should_compile/tc102.stderr
new file mode 100644
index 0000000..23a5c21
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc102.stderr
@@ -0,0 +1,3 @@
+ghc: module version changed to 1; reason: no old .hi file
+__export ShouldCompile p;
+1 p :: __forall [a] => a -> a ;
-- 
1.7.10.4