[m-dev.] infinite loop in typechecking with functional dependency with latest compiler

[Mark Brown]

On 26-Feb-2007, Peter Ross <pro at missioncriticalit.com> wrote:

...

> At before context reduction: 
>         some [S_1, G_2, T_3]
>         S_5: S
>         WF_6: (yawl.yaowl_specification((time_yaowl.time_global(G)), (time_yaowl.time_token(T))))
>         STATE_VARIABLE_IO_0_8: (io.state)
>         STATE_VARIABLE_IO_9: (io.state)
>         STATE_VARIABLE_IO_1_10: (io.state)
>         V_11: (time_yaowl.time_static(S))
>         & yawl.yaowl_static_global_token(S_1, G_2, T_3)
>         <= yawl.yaowl_static_global_token((time_yaowl.time_static(S_1)), (time_yaowl.time_global(G_2)), (time_yaowl.time_token(T_3)))
> 
> --------------------------
> 
> at this point the processor usage stays at 100% and nothing more is printed.

I've just committed a fix for this.  Thanks for reporting it.

Cheers,
Mark.

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