let get_prev_loc strm =
                  match Stream.peek strm with
                  | Some ((_, r)) -> r.prev_loc
                  | None -> Loc.ghost