[erlang-questions] picky dialyzer

[Kostis Sagonas]

Björn Gustavsson wrote:
> On Thu, Jan 13, 2011 at 2:09 PM, Kostis Sagonas <kostis@REDACTED> wrote:
>>
>> % erlc f_256.erl
>> % ~/HiPE/otp/bin/erl
>> Erlang R14B02 (erts-5.8.3) [source] [smp:4:4] [rq:4] [async-threads:0]
>> [hipe] [kernel-poll:false]
>>
>> Eshell V5.8.3  (abort with ^G)
>> 1> l(f_256).
>> {"Kernel pid
>> terminated",application_controller,"{application_terminated,kernel,shutdown}"}
>>
>> Crash dump was written to: erl_crash.dump
>> Kernel pid terminated (application_controller)
>> ({application_terminated,kernel,shutdown})
>>
> 
> Works fine for me:
> 
> ... SNIP
> 
> (Hint: Note that HiPE is not enabled in the emulator I used.)


You are right. Apparently, enabling HiPE causes the loader to crash 
miserably when one tries to load a function with 256 arguments.
This is very surprising, because no native code is involved.

I can of course investigate and possibly correct this throughout but I 
am also wondering: is this 0..256 a sane choice? Why on earth one would 
have such a range? Wasn't Erlang exotic enough without this feature? :-)

Have a nice weekend everybody!

Kostis

PS. I still do not like:

	erlc f_257.erl

     Happily succeeding and generating a bogus file.