Following some discussion on comp.lang.ada, PragmAda Software
Engineering has produced a program (licensed under the GPL) that
produces a package with types and operations for compile-time unit
checking. This program is now ready for beta testing.

If you would like to test this program and provide feedback on errors or
suggested improvements, please contact me directly.

Jeffrey R. Carter
PragmAda Software Engineering