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

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t010.out1

diff --git a/ghc/interpreter/test/typechecker/t010.out1 b/ghc/interpreter/test/typechecker/t010.out1
new file mode 100644 (file)
index 0000000..b9cdd1c
--- /dev/null
+++ b/ghc/interpreter/test/typechecker/t010.out1
@@ -0,0 +1,5 @@
+ERROR "test/typechecker/t010.hs" (line 5): Existentially quantified variable in result type
+variable     : _4
+from pattern : MkAppl f x i
+result type  : Appl -> _4
+