It depends.  There are a variety of dip brands on the market. Some are quite hard, others are soft. Certain dips can damage the file by wearing down its abrasive surface or leaving colored streaks behind. This is an area where you’ll want to proceed with caution.