如何使用泡菜模块更新记录？

因此，我尝试使用pickle.dump更新一些保存在二进制文件中的记录。 我是一个初学者，我不确定为什么它不起作用。有人可以帮忙吗？ 这是代码：

def modify():
f=open('employee.dat','ab+')

e=int(input('Enter Employee Number:'))
while True:
    try:
        rec=pickle.load(f)
        for a in rec:
            if a[0]==e:
                print('Presently:')
                print('Emp_no.         ' , a[0])
                print('Employee Name:  ' , a[1])
                print('Salary:         ' , a[2])

                a[0]=int(input('Enter NEW Employee Number:'))
                a[1]=input('Enter NEW employee name      :')
                a[2]=int(input('Enter NEW salary         :'))

                pickle.dump(rec,f)
                break

        else:
            print('Employee Number not found!')
    except EOFError:
        break

该程序接受员工编号的第一个输入，但此后没有任何输出。