Advanced
In reply to @pierrick
smartcontracts@kelvin
9/22/2023

Hmmm this is an interesting point. I believe the motivation was that everything is being tested with that specific compiler version and can't fully guarantee correctness with future compiler versions. Interfaces are already pragma ^ but... 1/2

In reply to @kelvin
smartcontracts@kelvin
9/22/2023

... now that the OP Stack is really meant to be extended, I can see the argument for a principled approach to having pragma ^ on implementations too. cc @maurelian