fix superheating and supercooling for java backend

@traiansf @yilongli please review
Interesting.  Yes, I approve the change.

Grigore


________________________________
From: dwightguth [notifications@github.com]
Sent: Thursday, December 04, 2014 8:26 AM
To: kframework/k
Cc: Rosu, Grigore
Subject: Re: [k] fix superheating and supercooling for java backend (#1225)


In k-distribution/tutorial/2_languages/3_fun/1_untyped/1_environment/fun-untyped.k:

> @@ -686,7 +686,7 @@ above. */
>    syntax KItem ::= assignTo(Names,Exps)  [strict(2)]
>
>    rule <k> assignTo(.Names,.Vals) => . ...</k>            [structural]
> -  rule <k> assignTo((X:Name,Xs => Xs),(V:Val,Vs => Vs)) ...</k>
> +  rule <k> assignTo((X:Name,Xs => Xs),(V:Val,Vs:Vals => Vs)) ...</k>


without this, stuck-letrec does not get stuck, but instead can evaluate to 2. This seemed incorrect to me, so I changed it.

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/1225/files#r21306356>.