k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] GAMA-BASE): bad token cool.

From: Cosmin Radoi <cos AT illinois.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] GAMA-BASE): bad token cool.
Date: Mon, 30 Sep 2013 17:35:04 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

I get the following error from maude when krunning something that has this
rule:

rule map => toMap [supercool]

map and toMap are constants.

Warning: "base.maude", line 45 (mod GAMA-BASE): bad token cool.
Warning: "base.maude", line 45 (mod GAMA-BASE): no parse for statement
eq <_>_</_> (k, _~>_ (_`(_`) ('toMap, .KList), GeneratedFreshVar0:K), k) =
<_>_</_> (k, _~>_ (_`(_`) (cool, _`(_`) ('toMap, .KList)),
GeneratedFreshVar0:K), k) [metadata "supercool=() filename=(/.../gama.k)
location=(42,9,44,51) computational=()"] .

Delete supercool and it doesn't complain anymore.
It's part of a larger definition and, aside from the rule, I haven't
minimized it yet.

Any ideas?

Thanks,

Cosmin

[K-user] GAMA-BASE): bad token cool., Cosmin Radoi, 09/30/2013