k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Failed to kompile Fig 3 of K Primer

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Failed to kompile Fig 3 of K Primer
Date: Sun, 19 Feb 2012 16:19:22 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.236.200.165 as permitted sender) smtp.mail=hossein.haeri AT gmail.com; dkim=pass header.i=hossein.haeri AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

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] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/19/2012
- Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/19/2012
  - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
    - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
      - Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Moore, Brandon Michael, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012