Erlang/OTP R10B-4 has been released

[Tobias Lindahl]

Hi Jimmy and all other Dialyzer users,

This was even faster than I could imagine ;)

In R10B-4 there has been changes in the interface between Dialyzer and
HiPE. This means that the available Dialyzer will not not work with
R10B-4, but we are working full time to make the new Dialyzer ready for a
new release that does.

Tobias

On Wed, 23 Mar 2005, Jimmy Olgeni wrote:

>
> Hi,
>
> On Wed, 23 Mar 2005, Bjorn Gustavsson wrote:
>
> > Bug fix release     : otp_src_R10B-4
> > Build from snapshot : 2005-03-23
>
> I just upgraded and now I get this message from Dialyzer when building
> the first PLT:
>
> =ERROR REPORT==== 23-Mar-2005::12:22:27 ===
> <HiPE (v 3.4.0)> Error: [hipe:781]: ERROR: {{case_clause,
>                                                  {dets,
>                                                      "/usr/local/lib/erlang/lib/dialyzer-1.2.0/plt/dialyzer_init_plt"}},
>                                              [{hipe_main,icode_ssa_type_info,3},
>                                               {hipe_main,icode_ssa,3},
>                                               {hipe_main,compile_icode,4},
>                                               {hipe,finalize_fun,2},
>                                               {hipe,finalize_fun_fixpoint,3},
>                                               {hipe,finalize,5},
>                                               {hipe,compile_finish,3},
>                                               {hipe,
>                                                   '-run_compiler_1/3-fun-0-',
>                                                   4}]}
>
> Any idea would be welcome :-)
>
> --
> jimmy
>