case App(funName, argExpr) in F1LAEImmediateSubstInterp

salvaneschi
Mausschubser
Mausschubser
Beiträge: 49
Registriert: 29. Mär 2013 23:51

case App(funName, argExpr) in F1LAEImmediateSubstInterp

Beitrag von salvaneschi »

Dear All,
today there was some discussion about the case

case App(funName, argExpr) => App(funName, subst(argExpr, substId, value))

in the substitution function of F1LAEImmediateSubstInterp. I suggested to take it offline. Is this case still unclear? Should we discuss it further here?

Zurück zu „Archiv“