Skip to Content.
Sympa Menu

k-user - Re: [K-user] strange errors with new version of K tool

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] strange errors with new version of K tool


Chronological Thread 
  • From: Radu Mereuta <headness13 AT gmail.com>
  • To: Daniele Filaretti <dfilaretti AT gmail.com>
  • Cc: k-user AT cs.uiuc.edu
  • Subject: Re: [K-user] strange errors with new version of K tool
  • Date: Wed, 10 Oct 2012 15:44:47 +0200
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

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




Archive powered by MHonArc 2.6.16.

Top of Page