Lines Matching refs:IDENT
246 APP(_,APP(_,IDENT(_,andstr),t1),t2) => if andstr = and_special then
262 APP(binding_locn,IDENT (binding_locn,"LET"),b),
270 fun let_remove f (APP(_,APP(_,IDENT _, t1), t2)) = munge_let (f t1) (f t2)
273 traverse (fn APP(_,APP(_,IDENT (_,letstr), _), _) => letstr = let_special
276 traverse (fn IDENT(_,andstr) => andstr = and_special | _ => false)
285 fun nilcheck (APP (_, IDENT (_, nilstr), body)) = nilstr = letnil_special
288 APP (_, IDENT (_, letstr),
290 APP(_, IDENT(_, constr), eq1),
297 APP (l1, APP (l2, IDENT(_, constr), eq1), eqs) =>
299 APP (l1, APP (l2, IDENT(l2, let_special), eq1), foldcons(eqs, bod))
301 | IDENT(loc, nilstr) =>