Le 09/01/2018 à 13:22, Alex Bennée a écrit : > It's not actively built and when enabled things fail to compile. I'm > not sure the type-checking is really helping here. Seeing as we "own" > our softfloat now lets remove the cruft.
I think it would be better to fix the build break than to remove the type-checking tool. but that's only my opinion... Thanks, Laurent
