k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Unsupported sort of fresh variable

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: [K-user] Unsupported sort of fresh variable
Date: Sat, 15 Nov 2014 20:56:27 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

I'm doing this:

rule E:Exp (0) => E -> !NewVar:LowerCaseId [macro]

However, the compiler says "Only sorts [Id, Int] admit fresh variables". But I don't want to use Id because it can start with an upper case. My LowerCaseId starts only with a lower case. What should I do?

[K-user] Unsupported sort of fresh variable, Omar Duhaiby, 11/15/2014
- Re: [K-user] Unsupported sort of fresh variable, Andrei Stefanescu, 11/17/2014
  - Re: [K-user] Unsupported sort of fresh variable, Omar Duhaiby, 11/17/2014
    - Re: [K-user] Unsupported sort of fresh variable, Andrei Stefanescu, 11/17/2014
      - Re: [K-user] Unsupported sort of fresh variable, Omar Duhaiby, 11/18/2014