K-user mailing list

[Cosmin Radoi <cos AT illinois.edu>]

I think I found the bug. Here is a minimal example that triggers it:

module TEST
  syntax Bla ::= "a" | "b"

  rule a => b   [supercool]
endmodule

This is maude's complaint:
> Warning: "base.maude", line 6 (mod TEST-BASE): bad token cool.
> Warning: "base.maude", line 6 (mod TEST-BASE): no parse for statement
> eq <_>_</_> (k, _~>_ (_`(_`) ('a, .KList), GeneratedFreshVar0:K), k) = 
> <_>_</_> (k, _~>_ (_`(_`) (cool, _`(_`) ('b, .KList)), 
> GeneratedFreshVar0:K), k) [metadata "supercool=() 
> filename=(/Users/cos/IBM/temp/k/test.k) location=(4,3,4,27) 
> computational=()"] .


The issue is that the TEST-BASE file in the compilation directory lacks: 
"including K-STRICTNESS-DEFAULTS" . The strictness module is included in the 
outer main module (TEST) but it doesn't cascade - maybe Maude was more 
flexible about this at some point. In any case, it is an error now.

Cosmin

On Sep 30, 2013, at 5:35 PM, "Radoi, Cosmin A" 
<cos AT illinois.edu>
 wrote:

> 
> 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 mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user