Hacker News Reader

Comment by tmcb | Hacker News Reader

Oh, thanks for pointing it out. Honestly, I was more interested in leveraging the type system than on proper dimensional analysis. I could find no mechanism by which Ada allows the programmer to disable the default operation overloads, so I decided to try that out.

View on HN

IIRC you can disable/forbid the default like so:

    Function "*"(Left, Right: Distance) return Distance is abstract;

then use:

    Function "*"(Left, Right : Distance) return Area;

That seems to do the trick for an individual predefined operator specification. Thanks!

Reply on news.ycombinator.com