comp.lang.ada
 help / color / mirror / Atom feed
* Re: Here is one other proof
       [not found] <n5q2mn$eck$2@dont-email.me>
@ 2015-12-28  4:26 ` Ramine
  2015-12-28  4:28 ` Ramine
  1 sibling, 0 replies; 2+ messages in thread
From: Ramine @ 2015-12-28  4:26 UTC (permalink / raw)



Sorry, here is the write example:


===
program test;

var a:integer;


procedure test(b:Longword);
begin
writeln(b)
end;

begin

a:=-3;

try
test(a);

except
writeln('problem!');
end;
end.

==


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Here is one other proof
       [not found] <n5q2mn$eck$2@dont-email.me>
  2015-12-28  4:26 ` Here is one other proof Ramine
@ 2015-12-28  4:28 ` Ramine
  1 sibling, 0 replies; 2+ messages in thread
From: Ramine @ 2015-12-28  4:28 UTC (permalink / raw)


Sorry, here is the right example:


===
program test;

var a:integer;


procedure test(b:Longword);
begin
writeln(b)
end;

begin

a:=-3;

try
test(a);

except
writeln('problem!');
end;
end.

==

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2015-12-28  4:28 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <n5q2mn$eck$2@dont-email.me>
2015-12-28  4:26 ` Here is one other proof Ramine
2015-12-28  4:28 ` Ramine

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox