Simplify Misc.collectArguments

ucsd-progsys · Nov 14, 2023 · d269790 · d269790
1 parent 32499d7
commit d269790
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Misc.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/GHC/Misc.hs
@@ -330,11 +330,10 @@ namedPanic x msg = panic (Just (getSrcSpan x)) msg
 --------------------------------------------------------------------------------
 
 collectArguments :: Int -> CoreExpr -> [Var]
-collectArguments n e = if length xs > n then take n xs else xs
+collectArguments n e = take n (vs' ++ vs)
   where
     (vs', e')        = collectValBinders' $ snd $ collectTyBinders e
     vs               = fst $ collectBinders $ ignoreLetBinds e'
-    xs               = vs' ++ vs
 
 {-
 collectTyBinders :: CoreExpr -> ([Var], CoreExpr)