k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [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: Re: [K-user] Failed to kompile Fig 3 of K Primer
Date: Mon, 20 Feb 2012 09:30:27 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.101.128.14 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>

Andrei,

Oops! I see I had mistakenly read the respective paragraph; thought
"../" is K's notation for same directory...

Thanks,
--Hossein

On 19 February 2012 16:30, Andrei Arusoaie
<andrei.arusoaie AT gmail.com>
wrote:
> 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
>

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

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