pub fn check_error(result: Result<(), (String, Position)>)