| definition: |
unrecExpr :: TAFuncDecl -> VarMap -> TAExpr -> TAExpr
unrecExpr decl@(AFunc fname _ _ _ _) vmap expr
= let frec = unrecExpr decl vmap
in case expr of
AVar _ _ -> expr
ALit _ _ -> expr
AComb ty ct qn@(fn, _) es
| fn == fname -> case constantResult decl vmap es of
Nothing -> AComb ty ct qn (map frec es)
Just exp -> exp
| otherwise -> AComb ty ct qn (map frec es)
ALet ty binds e -> ALet ty binds
(unrecExpr decl (DM.union vmap (binds2VarMap binds)) e) -- todo: unrec binds
AFree ty fvars e -> AFree ty fvars (frec e)
AOr ty e1 e2 -> AOr ty (frec e1) (frec e2)
ACase ty ct v@(AVar vty i) branches -> ACase ty Rigid v
(unrecBranches branches [])
where
unrecBranches :: [TABranchExpr] -> [QName] -> [TABranchExpr]
unrecBranches [] _ = []
unrecBranches (ABranch (APattern typ (qn, qty) vs) e : brs) qns
= ABranch pat e' : unrecBranches brs (qn : qns)
where
pat = APattern typ (qn, qty) vs
e' = unrecExpr decl vmap' e
vmap' = DM.insertWith upd i (Left qn) vmap
upd _ new@(Left _) = new
upd (Right qs1) (Right qs2) = Right (qs1 ++ qs2)
upd old@(Left _) (Right _) = old
unrecBranches (ABranch p@(ALPattern _ _) e : brs) qns
= ABranch p (unrecExpr decl vmap e) : unrecBranches brs qns
ACase ty ct e branches -> ACase ty ct (frec e)
(map (\(ABranch p exp) -> ABranch p (frec exp)) branches)
ATyped ty e typ -> ATyped ty (frec e) typ
|
| demand: |
arguments 1 3 |
| deterministic: |
deterministic operation |
| documentation: |
--- Remove recursion from an expression |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({AFunc},_,{AVar}) |-> {AVar} || ({AFunc},_,{ALit}) |-> {ALit} || ({AFunc},_,{AComb}) |-> _ || ({AFunc},_,{ALet}) |-> {ALet} || ({AFunc},_,{AFree}) |-> {AFree} || ({AFunc},_,{AOr}) |-> {AOr} || ({AFunc},_,{ACase}) |-> _ || ({AFunc},_,{ATyped}) |-> {ATyped}}
|
| name: |
unrecExpr |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
FlatCurry.Annotated.Types.AFuncDecl FlatCurry.Types.TypeExpr -> Data.Map.Map Prelude.Int (Prelude.Either (String, String) [(String, String)]) -> 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: |
possibly non-reducible on same data term |