CurryInfo: contract-prover-4.0.0 / ContractProver.normalizeArgs

 
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)

 argument 1

 deterministic operation

 _

 referentially transparent operation

 no fixity defined

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

 normalizeArgs

 no precedence defined

 _

 [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])

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms