[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t008.hs

diff --git a/ghc/interpreter/test/typechecker/t008.hs b/ghc/interpreter/test/typechecker/t008.hs
new file mode 100644 (file)
index 0000000..9fc67e0
--- /dev/null
+++ b/ghc/interpreter/test/typechecker/t008.hs
@@ -0,0 +1,4 @@
+--!!! Using distinct scoped type variables for same type
+
+invalid1 = (\(x::a) (y::b) -> [x,y]) 
+