K-user mailing list

[Daniele Filaretti <dfilaretti AT gmail.com>]

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