------------------------------------------------------------------------- -- Is Expr a rewrite expr? (i.e, not a format) ------------------------------------------------------------------------- %%[1 hs module (Expr.NmS) %%] %%[1 hs export(exprNmS) %%] %%[1 hs import (qualified Data.Set as Set, Common, Expr.Expr) %%] %%[1 ag import({Expr/AbsSynAG}, {Expr/NmSAG}) %%] %%[1 ag WRAPPER AGExprItf %%] %%[1 hs exprNmS :: Expr -> Set.Set Nm exprNmS e = nmS_Syn_AGExprItf r2 where r1 = sem_AGExprItf (AGExprItf_AGItf e) r2 = wrap_AGExprItf r1 (Inh_AGExprItf) %%]