Is there a way to get source position[1] information from parsec while defining aparser? It surely knows about source positions, as they are used whilereporting a parsing error.