K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

Most likely it's my fault. Can you send me a reduced definition that triggers this error?

Radu

On Wed, Oct 10, 2012 at 3:29 PM, Daniele Filaretti <dfilaretti AT gmail.com> wrote:

Hi all,
I'm having trouble with the latest version of K (previously I was using the stable version).

Basically, everything works with the stable version, but when I kompile my stuff now, I get errors like:

> [Error] Critical: Wrong type in cell 'k'. Expected sort:  but found K
>       File: /Users/danielefilaretti/k/php/var-resolution.k
>       Location: (13,7,13,35)


The rule that triggers the error is:

>  rule    <k> X:Id => I:Value ... </k>
>             <env> ... X |-> N:Int ... </env>
>             <store> ... N |-> I ... </store>

I really can't understand what's going on. However, if if comment this rule, I got similar errors on other rules, like for example:

>   rule    <k> X:Id = I:Value => I ... </k>
>             <env> ... X |-> N ... </env>
>             <store>... N |-> (_ => I) ...</store>

(same error as before. Note that the error says "Expected sort: (???)" but found K. I thought that the <k> cell was supposed to contain elements of sort K!)

Any ideas? Am I missing something?

As always, thanks a lot! :)

Daniele
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user