Hi John!
 I tested the solution you sent me to my question:
 "I need a solution to compile programs in COMMAND LINE in Windows, as is
done in Linux."
 Your solution really works.
 Unfortunately I expressed myself badly about what I REALLY need  to know.
 The solution that you sent me, you  use batch-build to compile a. icl file
in Windows. 
In this case I ever need to have also a . prj file. 
This solution does not solve my problem. 
I say this is due to the need to have .prj file before compiling a . icl
file.
 In my case, I want to compile an application created inside another
application.
 I have a program to run *. Bat files within a program in CLEAN, but, as I
do not have a . prj file, there's no way I run the bat file.

I thought about using batch-build for compiling programs in Window to
generate .exe for CGI, as we make on Linux. 
But the generated file with the batch-build did not work in the cloud.

 Do you have the solution to these two problems?
 1 - Make executable for CGI programs to run on servers in the cloud.
 2 - Compile programs within other programs.

Kind regards
Luciano Vieira Lima



-----Mensagem original-----
De: [email protected]
[mailto:[email protected]] Em nome de
[email protected]
Enviada em: terça-feira, 23 de julho de 2013 07:00
Para: [email protected]
Assunto: clean-list Digest, Vol 104, Issue 7

Send clean-list mailing list submissions to
        [email protected]

To subscribe or unsubscribe via the World Wide Web, visit
        http://mailman.science.ru.nl/mailman/listinfo/clean-list
or, via email, send a message with subject or body 'help' to
        [email protected]

You can reach the person managing the list at
        [email protected]

When replying, please edit your Subject line so it is more specific than
"Re: Contents of clean-list digest..."


Today's Topics:

   1. Re: how do I fill this record? ([email protected])
   2. Re: boyer moore and knuth morris pratt algorithm
      (John van Groningen)
   3. Re: hd (drop 1000000 [1..])  heapFull (John van Groningen)
   4. Re: how do I fill this record? (John van Groningen)
   5. Re: hd (drop 1000000 [1..])  heapFull ([email protected])
   6. Last CFP: ICEEE2013 - IEEE - Poland
      (The Second International Conference on E-Learning and E-Technologies
in      Education (ICEEE))


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

Message: 1
Date: Mon, 22 Jul 2013 11:59:38 +0200
From: <[email protected]>
To: "Clean List" <[email protected]>
Subject: Re: [clean-list] how do I fill this record?
Message-ID:
        <CADF5EBE816E3442BA4BF7F7BB8978531F747E54@CPEXBE-EML19.kpnsp.local>
Content-Type: text/plain; charset="iso-8859-1"

So why is
:: *Record = {field :: [*Char]}

an accepted type?

________________________________

Hi Erik,

your actual problem is the record type. You cannot have unique chars in a
non-unique list. Try:

:: *Record = {field :: *[*Char]}

Start = {field = ['abc']}

Have fun,

Pieter


On 7/19/13 2:39 PM, [email protected] wrote:


        In Clean 2.4 on Windows, with the following accepted type:

        :: *Record = {field :: [*Char]}

        All of the following alternative start-rules ...

        Start = {field = []}

        Start = {field = ['x']}

        Start = {field = undef}

        ... result in the following uniqueness error message:

        "argument 1 of Record" attribute at position indicated by ^ could
not be coerced ^ *[*Char]

        I don't see why even undef would have a type that is not general
enough.

        Does anybody have any idea how I could fill this record?


         
        
        _______________________________________________
        clean-list mailing list
        [email protected]
        http://mailman.science.ru.nl/mailman/listinfo/clean-list


-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mailman.science.ru.nl/pipermail/clean-list/attachments/20130722/daa4
c497/attachment-0001.html>

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

Message: 2
Date: Mon, 22 Jul 2013 15:09:05 +0200
From: John van Groningen <[email protected]>
To: [email protected]
Cc: [email protected]
Subject: Re: [clean-list] boyer moore and knuth morris pratt algorithm
Message-ID: <[email protected]>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

On 12-7-2013 2:18, [email protected] wrote:
> TWO THINGS:
> 1 - I would know if any of you have an implementation of the CLEAN 
> algorithm boyer moore and Knuth Moris Pratt to search substrings.
> 2 - I'm in need for a project, compiling programs from the command 
> line in Windows. In other words, I am implementing a program that 
> generates another program in Clean. This other program is compiled and 
> reused in the program that created it.
> So I need a solution to compile programs in COMMAND LINE in WIndows, 
> as is done in Linux.

You can compile a project by calling the CleanIDE with --batchbuild and the
full path name of the project file.

For example:

"D:\John\Clean 2.4\CleanIde.exe" --batch-build "D:\John\CleanPrograms\d.prj"

Output is written to the file:

"D:\John\CleanPrograms\d.log"

The project file is a text file, and the part after OtherModules is
optional, and will be added again after a successful build.

Kind regards,

John van Groningen


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

Message: 3
Date: Mon, 22 Jul 2013 15:23:06 +0200
From: John van Groningen <[email protected]>
To: Pieter Koopman <[email protected]>
Cc: [email protected], Clean List <[email protected]>
Subject: Re: [clean-list] hd (drop 1000000 [1..])  heapFull
Message-ID: <[email protected]>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

On 19-7-2013 22:10, Pieter Koopman wrote:
> Hi Erik,
>
> there seems to be a problem with the generator.
>
> Start = hd (drop n [1..n+10]) where n = 1000000
>
> works fine. Hopefully John can explain this.

[1..] generates a list in the following way:

let
        gen_list n = [n : gen_list (n+1)]
in
        gen_list 1

Because gen_list is not strict in argument n, a thunk is created for the
expression (n+1) at runtime.
The first time this creates a thunk t0 with 1+1, the next time a thunk t1
with t0+1, then t2 with
t1+1, ..
So after 1000000 elements, the heap contains 1000000 thunks.

The arguments of the function generated for [1..n+10] are strict, because 1
is compared with n+10, so no increment thunks are created.

> On 7/19/13 4:41 PM, [email protected] wrote:
>> Re: [clean-list] Matrix operations
>> Start = hd (drop 1000000 [1..])
>> with standard heap (2M) leads to a heapfull message; not when I only 
>> drop 1000.
>> I had expected the garbage collector to kick in so this would 
>> effectively run in constant space Any ideas?
>>
>>
>> _______________________________________________
>> clean-list mailing list
>> [email protected]
>> http://mailman.science.ru.nl/mailman/listinfo/clean-list
>
>
>
>
> _______________________________________________
> clean-list mailing list
> [email protected]
> http://mailman.science.ru.nl/mailman/listinfo/clean-list



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

Message: 4
Date: Mon, 22 Jul 2013 15:32:58 +0200
From: John van Groningen <[email protected]>
To: [email protected]
Cc: Clean List <[email protected]>
Subject: Re: [clean-list] how do I fill this record?
Message-ID: <[email protected]>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

On 22-7-2013 11:59, [email protected] wrote:
> So why is
> :: *Record = {field :: [*Char]}
>
> an accepted type?

In function types the compiler accepts [*Char], and changes this to
*[*Char]. Unfortunately this is not implemented for (other) type
definitions. The compiler should reject this type, or add a '*'. The current
compiler accepts this useless type.

Kind regards,

John van Groningen



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

Message: 5
Date: Mon, 22 Jul 2013 17:11:43 +0200
From: <[email protected]>
To: "Clean List" <[email protected]>
Subject: Re: [clean-list] hd (drop 1000000 [1..])  heapFull
Message-ID:
        <CADF5EBE816E3442BA4BF7F7BB8978531F747E55@CPEXBE-EML19.kpnsp.local>
Content-Type: text/plain; charset="iso-8859-1"

So is this desired behaviour, in the context of hd?
 

________________________________



On 19-7-2013 22:10, Pieter Koopman wrote:
> Hi Erik,
>
> there seems to be a problem with the generator.
>
> Start = hd (drop n [1..n+10]) where n = 1000000
>
> works fine. Hopefully John can explain this.

[1..] generates a list in the following way:

let
        gen_list n = [n : gen_list (n+1)] in
        gen_list 1

Because gen_list is not strict in argument n, a thunk is created for the
expression (n+1) at runtime.
The first time this creates a thunk t0 with 1+1, the next time a thunk t1
with t0+1, then t2 with
t1+1, ..
So after 1000000 elements, the heap contains 1000000 thunks.

The arguments of the function generated for [1..n+10] are strict, because 1
is compared with n+10, so no increment thunks are created.

> On 7/19/13 4:41 PM, [email protected] wrote:
>> Re: [clean-list] Matrix operations
>> Start = hd (drop 1000000 [1..])
>> with standard heap (2M) leads to a heapfull message; not when I only 
>> drop 1000.
>> I had expected the garbage collector to kick in so this would 
>> effectively run in constant space Any ideas?
>>
>>
>> _______________________________________________
>> clean-list mailing list
>> [email protected]
>> http://mailman.science.ru.nl/mailman/listinfo/clean-list
>
>
>
>
> _______________________________________________
> clean-list mailing list
> [email protected]
> http://mailman.science.ru.nl/mailman/listinfo/clean-list



-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mailman.science.ru.nl/pipermail/clean-list/attachments/20130722/5106
f988/attachment-0001.html>

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

Message: 6
Date: Sat, 20 Jul 2013 17:51:19 -0700
From: "The Second International Conference on E-Learning and
        E-Technologies in       Education (ICEEE)" <[email protected]>
To: undisclosed-recipients:;
Subject: [clean-list] Last CFP: ICEEE2013 - IEEE - Poland
Message-ID:
        
<1adf1b3ea2e38d19d9514bec2711ac45.squir...@secure82.inmotionhosting.com>
        
Content-Type: text/plain;charset=iso-8859-1

Apologies if you receive multiple copies of this CFP.
Kindly forward to colleagues who might be interested. THANK YOU!
=========================================================================

The Second International Conference on E-Learning and E-Technologies in
Education (ICEEE2013) Lodz University of Technology, Lodz, Poland September
23-25, 2013

All papers will be submitted to IEEE for potential inclusion to IEEE Xplore.

The conference welcome papers on the following (but not limited to) research
topics:
- E-Testing and new Test Theories
- Distance Education
- Security Aspects?
- Computer-Aided Assessment
- Errors in E-Learning
- Accessibility to Disabled Users
- E-Learning Platforms, Portals?
- Learning Organization
- Joint Degrees
- Blended Learning
- Teacher Evaluation
- Educating the Educators
- Assessment Software Tools
- E-Learning Success Cases
- Intelligent Tutoring Systems
- Collaborative Learning
- Community Building
- Context Dependent Learning
- Mobile Learning (M-learning)
- Standards and Interoperability
- Digital Libraries for E-Learning
- E-Learning Hardware and Software
- Ontology and Meta-Data Standards

Submission Deadline: August 05, 2013
Notification of Acceptance: 4 weeks from the date of submitting the paper or
September 05, 2013 Camera Ready Submission: September 15, 2013
Registration: September 15, 2013
Conference Dates: September 23-25, 2013

Submission guidelines and full details at
http://sdiwc.net/conferences/2013/iceee2013/



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

_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list


End of clean-list Digest, Vol 104, Issue 7
******************************************


_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Reply via email to