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

__interface TcUnify 1 0 where
__export TcUnify unifyTauTy ;
6
1 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcMonad.TcM PrelBase.Z0T ;
7
8