On Thu, 28 Jul 2016, Maciej Izak wrote:
2016-07-28 13:30 GMT+02:00 Michael Van Canneyt <mich...@freepascal.org>:
Assume a is null before the call to test1:
test1(a);
That won't compile.
1. What happens if this procedure is empty, i.e. no write is performed ?
(or it is performed conditionally)
On return, is a null or not ?
You are not able to call test1 in presented form (you will get error:
Incompatible types).
In that case, I do not understand at all what you are in fact trying to achieve
:/
Because with the exception of the ^ operator, I see no need for any special
constructions to achieve a "nullable type", except maybe some implicit
constructor/destructor ?
Michael.
_______________________________________________
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
