Strip more of eqSort in Init.hs

AlecsFerra · Dec 14, 2024 · 79eac45 · 79eac45
1 parent 293f739
commit 79eac45
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/Init.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/Init.hs
@@ -18,7 +18,6 @@ module Language.Haskell.Liquid.Constraint.Init (
 import           Prelude                                       hiding (error, undefined)
 import           Control.Monad (foldM, forM)
 import           Control.Monad.State
-import           Data.Char (isLower)
 import           Data.Maybe                                    (isNothing, fromMaybe, catMaybes, mapMaybe)
 import qualified Data.HashMap.Strict                           as M
 import qualified Data.HashSet                                  as S
@@ -224,12 +223,7 @@ measEnv sp xts cbs _tcb lt1s lt2s asms itys hs info = CGE
 
 -- | Constructs the sort of an equation
 eqSort :: F.EquationV v -> F.Sort
-eqSort e  =
-    let s = foldr (F.FFunc . snd) (F.eqSort e) (F.eqArgs e)
-        ss = filter (isTyVarName . F.symbolString) $ S.toList $ F.sortSymbols s
-     in F.mkPoly (length ss - 1) s
-  where
-    isTyVarName s = all isLower (take 1 s) && L.isInfixOf "##" s
+eqSort e  = foldr (F.FFunc . snd) (F.eqSort e) (F.eqArgs e)
 
 assm :: TargetInfo -> [(Var, SpecType)]
 assm = assmGrty (giImpVars . giSrc)