NmS.cag

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