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

Ulf Wiger (TN/EAB) ulf.wiger@REDACTED
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.

Ulf W

More information about the erlang-questions mailing list