[project @ 2001-05-03 08:35:33 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc110.hs

diff --git a/ghc/tests/typecheck/should_compile/tc110.hs b/ghc/tests/typecheck/should_compile/tc110.hs
index 1422d89..e0c9ba8 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc110.hs
+++ b/ghc/tests/typecheck/should_compile/tc110.hs
@@ -13,6 +13,12 @@ primDup = undefined
 
 dup () = call primDup
 
+--     call :: Call c h => c -> h
+--
+--     call primDup :: h  with  {Call (Int -> IO Int) h}
+--     Hence h must be fixed by the environment
+--     Reduce at top level to {Call (IO Int) h'}
+
 class Call    c h | c -> h where
     call  :: c -> h