TcUnify.hi-boot-5 217 Bytes
Newer Older
1
2
3
4
5
6
7
8
-- This boot file exists only to tie the knot between
--		TcUnify and TcSimplify

__interface TcUnify 1 0 where
__export TcUnify unifyTauTy ;
1 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcMonad.TcM () ;