From: bjorn@bringert.net <unknown>
Date: Mon, 18 Sep 2006 23:09:25 +0000 (+0000)
Subject: Added type signature for tcSplitSigmaTy.
X-Git-Tag: 2006-10-05~13
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=260954a5e6199860b0bb5f41986864c148896644;ds=sidebyside

Added type signature for tcSplitSigmaTy.
---

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)