K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi again,

Now, I have a new error message

<Err>
Error: "exp-lambda.maude", line 317 (mod EXP-LAMBDA-SYNTAX): didn't expect
to...

eq ( let X:#Id = E1:Exp in E2:Exp ) = ( lambda X . E2 ) <---*HERE*
Error: "exp-lambda.maude", line 316 (mod EXP-LAMBDA-SYNTAX): no parse for
st...

eq (let X:#Id = E1:Exp in E2:Exp) = (lambda X . E2) E1 [metadata
"location=(...
</Err>

for this bit of Fig 3:

<Code>
require exp
require /modules/substitution

module EXP-LAMBDA-SYNTAX
  imports EXP-SYNTAX

  syntax Val ::= #Int
               | "lambda" #Id "." Exp [binder]
  syntax Exp ::= Val
               | Exp Exp [seqstrict]
               | "mu" #Id "." Exp [binder]
  syntax Exp ::= "let" #Id "=" Exp "in" Exp
               | "letrec" #Id #Id "=" Exp "in" Exp

  macro (let X:#Id = E1:Exp in E2:Exp) =
    (lambda X.E2) E1
end module

module EXP-LAMBDA
end module
</Code>

I can't quite get it why Maude is unhappy with the parenthesisation. 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/
--------------------------------------------------------------------------------------------------------------