From 79ff57615dcea00a035f125f8d8d77d5d128de5f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Tom=C3=A1=C5=A1=20Musil?= <tomik.musil@gmail.com>
Date: Mon, 31 Aug 2015 18:58:38 +0200
Subject: [PATCH] remove unnecessary

---
 src/HM.hs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/HM.hs b/src/HM.hs
index 9c4aa76..8f6df2f 100644
--- a/src/HM.hs
+++ b/src/HM.hs
@@ -16,7 +16,6 @@ module HM
   , TypedTerm(..)
     -- * Type inference
   , algW
-  , runTI
   ) where
 
 import Control.Monad.Except
@@ -123,7 +122,7 @@ ti e (NTTerm (Let x a b)) = do
   return (s1 `composeSub` s2, t2)
   
  
-algW :: TypedTerm -> TI Type
-algW t = do
+algW :: TypedTerm -> Either String Type
+algW t = fst . runTI $ do
   (s, u) <- ti Map.empty t
   return $ substituteT s u
-- 
2.4.2