diff options
Diffstat (limited to 'compiler/typecheck/TcUnify.hi-boot-5')
-rw-r--r-- | compiler/typecheck/TcUnify.hi-boot-5 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/typecheck/TcUnify.hi-boot-5 b/compiler/typecheck/TcUnify.hi-boot-5 new file mode 100644 index 0000000000..b88d3abeb0 --- /dev/null +++ b/compiler/typecheck/TcUnify.hi-boot-5 @@ -0,0 +1,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 -> TcRnTypes.TcM PrelBase.Z0T ; + + |