1 2 3 4 5 6 7 8 9 10 11 12 13
MODULE badprocbool ; FROM NumberIO IMPORT WriteCard ; FROM StrIO IMPORT WriteString, WriteLn ; PROCEDURE Func () : BOOLEAN ; BEGIN RETURN TRUE END Func ; BEGIN WriteString ('the value is: ') ; WriteCard (Func (), 5) ; WriteLn END badprocbool.