From 260954a5e6199860b0bb5f41986864c148896644 Mon Sep 17 00:00:00 2001
From: "bjorn@bringert.net" <unknown>
Date: Mon, 18 Sep 2006 23:09:25 +0000
Subject: [PATCH] Added type signature for tcSplitSigmaTy.

---
 compiler/typecheck/TcType.lhs |    1 -
 1 file changed, 1 deletion(-)

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index cd4c4c7..3f1810f 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -673,7 +673,6 @@ tcSplitPhiTy ty = split ty ty []
 	| Just p <- tcSplitPredTy_maybe arg = split res res (p:ts)
   split orig_ty ty		ts = (reverse ts, orig_ty)
 
-tcSplitSigmaTy :: Type -> ([TyVar], ThetaType, Type)
 tcSplitSigmaTy ty = case tcSplitForAllTys ty of
 			(tvs, rho) -> case tcSplitPhiTy rho of
 					(theta, tau) -> (tvs, theta, tau)
-- 
1.7.10.4