I also wanted some thing like, a pragma at the top of the file that says:
{.onlyFloat32allowed.}
Or
type
float = float32
float64 = {.error.}
So that no float64 sneaks in. In some operation like a * 1 / 3 or me using float by accident instead of float32 and code just keeps working but slower.
Things we wish for...
Welcome to the world of term rewriting macros
template noFloats{f}(f: float) = {.error: "No 'float64's allowed!".}
var a = 10 / 20