[erlang-questions] How to get the line number of current executable code?

Ulf Wiger (TN/EAB) <>
Tue Aug 19 18:59:47 CEST 2008


Andras Georgy Bekes skrev:
>>   -pure([f/n,...]).
>> directive, such as NU Prolog had.
>> This would make a verifiable claim that the function(s) named would
>> only call functions that are themselves pure
> What happens if a pure function calls a function that is not pure?
> 
> I mean, the compiler just can't check it. Of course it can check local 
> functions, but a function in another module can not be trusted. It 
> might be pure at the time of compilation, but it might be impure in its 
> next version.

Yes, so cross-module calls cannot be allowed in a pure function,
at least unless we find a way to statically group modules together.

BR,
Ulf W



More information about the erlang-questions mailing list