[mercury-users] Error with --optimise-constructor-last-call

[Julien Fischer]

On Mon, 30 Oct 2006, Michael Day wrote:

> I get the following error when I enable --optimise-constructor-last-call
>
> Software Error: var_locn.m: Unexpected: clobber_lval_in_var_state_map: empty 
> state
>
> The code in question looks like this:
>
> :- func univ_to_string(univ) = string.
>
> univ_to_string(Univ) = S :-
>    Value = univ_value(Univ),
>    deconstruct(Value, canonicalize, Functor, _, Args),
>    ( if Args = [] then
>        S = Functor
>    else
>        S = Functor ++ "(" ++
>            join_list(", ", map(univ_to_string, Args)) ++ ")"
>    ).
>
> and I'm using rotd-2006-07-16.
>

I don't get that error with either rotd-2006-10-29 or 
0.13.1-beta-2006-10-28.

Julien.




--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------