K-user mailing list

["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/
--------------------------------------------------------------------------------------------------------------