| definition: |
normalizeArgs :: [TAExpr] -> TransStateM ([(Int,TAExpr)],[TAExpr])
normalizeArgs [] = return ([],[])
normalizeArgs (e:es) = case e of
AVar _ i -> do (bs,nes) <- normalizeArgs es
return ((i,e):bs, e:nes)
_ -> do fvar <- getFreshVar
addVarTypes [(fvar,annExpr e)]
(bs,nes) <- normalizeArgs es
return ((fvar,e):bs, AVar (annExpr e) fvar : nes)
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({[]}) |-> _ || ({:}) |-> _}
|
| name: |
normalizeArgs |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[FlatCurry.Annotated.Types.AExpr FlatCurry.Types.TypeExpr] -> Control.Monad.Trans.State.StateT TransState Prelude.IO ([(Prelude.Int, FlatCurry.Annotated.Types.AExpr FlatCurry.Types.TypeExpr)], [FlatCurry.Annotated.Types.AExpr FlatCurry.Types.TypeExpr]) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |