K-user mailing list

[Andrei Arusoaie <andrei.arusoaie AT gmail.com>]

Hi Seyed,

If exp.k is in the same directory with exp-lambda.k then you should use require like this:

require exp.k

or :

require exp

instead of:

require ../exp

Anyway, it seems that our error messages are not good enough.

Below is a very short example of what I did:

mac:exp andreiarusoaie$ ls -1

abc-compiled.maude

abc.k

exp-builtin-frac

exp-imp

exp-lambda

exp-threads

exp.desk

exp.k

programs

mac:exp andreiarusoaie$ cat abc.k 

require exp.k

module ABC

end module

mac:exp andreiarusoaie$ kompile abc

Compiled version written in abc-compiled.maude.

mac:exp andreiarusoaie$

Regards,

Andrei Arusoaie

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

Dear all,

As my first step towards Fig 3 of the K Primer, I tried to kompile the following

require ../exp

module EXP-LAMBDA
end module

in a file named exp-lambda.k in the same directory where my (kompiled)
exp.k is, but got:

hossein@ubuntu:~/Documents/KFram/Teachup$ kompile exp-lambda.k
[ERROR][1] in [exp-lambda.k] @ [unknown line]: [File ../exp needed by
exp-lambda.k cannot be found! Please check if the path is correct.]
[ERROR][1] in [1.k] @ [unknown line]: [Neither of 1.k, 1.kmaude, or
1.maude exist]

Anyone here knows what's wrong?

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

--
Numai bine,

Andrei