[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:
>> 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.
More information about the erlang-questions