post p t v =
  let p' = iteration (commitTmpStack p) t v
  in if parsingError p'
    then p'
    else wrappedCommit p'
post p t v =
  let p' = iteration (commitTmpStack p) t v
  in if parsingError p'
    then p'
    else wrappedCommit p'
post p t v =
  let p' = iteration (commitTmpStack p) t v
  in if parsingError p'
    then p'
    else wrappedCommit p'