Discard /lenient mode?

Coordinator
Aug 7, 2009 at 9:33 AM

With the modification of the type checker to deal with physical and ghost pointers, I would like to do some refactoring of that code first. While looking at the code, I have come across the logic that we put in to be somewhat more relaxed on the implicit vs. explicit cast checks, also called the 'lenient' mode. Is anybody using that? If not, we could somewhat simplify the type checking code by just eliminating the logic for this. So, if you rely on the lenient mode, speak up now, otherwise it will be gone soon.

Stephan

Coordinator
Aug 10, 2009 at 3:00 PM

Nobody objected, so I removed the feature.