2022-02-21 17:05 GMT+11:00 "Peter Wang" <novalazy at gmail.com>: > Types never occur at the top level of a Mercury source file, though. OK, you have convinced me. I will commit the diff after making the change and a bootcheck to also adjust the .err_exp files. Zoltan.