K-user mailing list

[Traian Florin Șerbănuță <tserban2 AT illinois.edu>]

Dear Hossein,

Have you modified ../exp.k

If so, could you please provide that, too?  I'm asking this because the original file compiles just fine on my machine.

Apparently, the key to the error is this:

Advisory: <automatic>: operator __ has been imported from both
"exp-lambda.maude", line 281 (mod EXP-SYNTAX) and "exp-lambda.maude",
line 471 (mod EXP-LAMBDA-SYNTAX) with no common ancestor.

This is the Maude parser complaining that you basically have two "concatenation" productions; unfortunately, it reports the line numbers from the generated file instead of the actual files. 

One of the concatenations is the application op. you define in EXP-LAMBDA-SYNTAX.  I don't know what the other might be.

To track it down you can open .k/exp-lambda.maude at line 281.  It should have the location in the actual file somewhere around that line.

There were some plans of beautifying the errors from the Maude parser, but they haven't been implemented yet.

Hope this information is enough to track it down yourself. If not, please feel free to send me an archive of the whole exp directory and I'll take a look myself.

best wishes,

- traian

2012/2/22 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

Dear all,

Trying to kompile exp-lambda.k as provided in:

http://code.google.com/p/k-framework/source/browse/branches/papers/k-primer/exp/exp-lambda/exp-lambda.k

I fail with a strange error. I have narrowed it down to a minimal file:

require ../exp
require /modules/substitution

module EXP-LAMBDA-SYNTAX
 imports EXP-SYNTAX

 syntax Exp ::= Val
              | #Id
              | Exp Exp [seqstrict gather(E e)] //application
              | "mu" #Id "." Exp [binder prec 100 latex "\mu{#1}.{#2}"]
 syntax Val ::= #Int
              | "lambda" #Id "." Exp [binder prec 100 latex "\lambda{#1}.{#2}"]
end module

module EXP-LAMBDA
 imports EXP + EXP-LAMBDA-SYNTAX + SUBSTITUTION
end module

with my kompile_error.txt being:

Warning: "exp-lambda.maude", line 471 (mod EXP-LAMBDA-SYNTAX):
.declaration for __ has different attributes from declaration on
"exp-lambda.maude", line 281 (mod EXP-SYNTAX)
Advisory: <automatic>: operator __ has been imported from both
"exp-lambda.maude", line 281 (mod EXP-SYNTAX) and "exp-lambda.maude",
line 471 (mod EXP-LAMBDA-SYNTAX) with no common ancestor.
Advisory: <automatic>: unable to make module summation EXP +
SUBSTITUTION + EXP-LAMBDA-SYNTAX due to earlier errors.
Warning: "exp-lambda.maude", line 489: undeclared sort Exp.
Warning: "exp-lambda.maude", line 489: undeclared sort Ids.
Warning: "exp-lambda.maude", line 489: undeclared sort List{#Id,","}.
Warning: "exp-lambda.maude", line 489: undeclared sort SyntacticIds.
Warning: "exp-lambda.maude", line 489: undeclared sort SemanticIds.
Warning: "exp-lambda.maude", line 489: undeclared sort List{Bottom,","}.
Warning: "exp-lambda.maude", line 489: undeclared sort SemList{Bottom,","}.
Warning: "exp-lambda.maude", line 489: undeclared sort
SyntacticList{Bottom,","}.
Warning: "exp-lambda.maude", line 489: undeclared sort Stmt.
Warning: "exp-lambda.maude", line 489: undeclared sort Val.

Any idea?

TIA,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user