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

[Michael Day]

Hi,

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.

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------