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