projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1999-01-23 17:57:35 by sof]
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_compile
/
tc022.stderr
diff --git
a/ghc/tests/typecheck/should_compile/tc022.stderr
b/ghc/tests/typecheck/should_compile/tc022.stderr
index
15036cb
..
fe63e43
100644
(file)
--- a/
ghc/tests/typecheck/should_compile/tc022.stderr
+++ b/
ghc/tests/typecheck/should_compile/tc022.stderr
@@
-1,15
+1,4
@@
-==================== Typechecked ====================
-AbsBinds [takI] [] [([takI], iD{-r3f,x-}, iD_aky)]
- iD_aky x_r3e = x_r3e
-AbsBinds [takQ] [] [([takQ], main{-r3g,x-}, main_akK)]
- main_akK = iD{-r3f,x-} (takQ -> takQ) iD{-r3f,x-} takQ
-
ghc: module version changed to 1; reason: no old .hi file
ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed iD main;
-_declarations_
-1 iD _:_ _forall_ [ta] => ta -> ta ;;
-1 main _:_ _forall_ [ta] => ta -> ta ;;
+__export ShouldSucceed iD main;
+1 iD :: __forall [t] => t -> t ;
+1 main :: __forall [t] => t -> t ;