CurryInfo: property-prover-2.0.0 / Inference.Flattening.splitArgs

splitArgs :: [VarIndex]
          -> [AExpr a]
          -> ([VarIndex], [((VarIndex, a), AExpr a)], [AExpr a])
splitArgs xs []       = (xs, [], [])
splitArgs xs (e : es) = case e of
  AVar _ _ -> let (xs', ds, es') = splitArgs xs es -- type argument of ALet?
              in (xs', ds, e : es')
  _        -> let (x' : xs', e') = flattenExpr xs e
                  (xs2, ds, es') = splitArgs xs' es
                  a'             = annExpr e'
              in (xs2, ((x', a'), e') : ds, AVar a' x' : es')

argument 2

deterministic operation

--- @splitArgs xs es = (xs', ds, es')@ replaces all non-variable
--- expressions in @es@ by new variables subsequently taken from @xs@,
--- and generates the bindings @ds@ for those lifted expressions.
--- That is, @es'@ consists of variables only, originating either from @es@
--- or from @xs@, such that $es'[ds] = es$, i.e., replacing the extracted
--- bindings again should yield the original list.
--- @xs'@ is xs without the extracted variables.

<FAILING>

referentially transparent operation

no fixity defined

{(_,{[]}) |-> {(,,)} || (_,{:}) |-> _}

splitArgs

no precedence defined

{(,,)}

[Prelude.Int] -> [FlatCurry.Annotated.Types.AExpr a]
-> ([Prelude.Int], [((Prelude.Int, a), FlatCurry.Annotated.Types.AExpr a)], [FlatCurry.Annotated.Types.AExpr a])

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term