Sam Block | 1 Feb 02:05 2009

Help on installing OCaml on Windows XP

Hi all!  I'm new to the list, and am having a fair amount of trouble  
getting OCaml up and running on Windows XP (I have it running on Linux  
just fine).

Here's my goal: I want to run ocamlopt and have a binary executable  
for my project on Windows and be able to give it to my friend and have  
it run; this would rule out Cygwin, since I'd need extra .dll files.   
I don't want that, so I wanted to go ahead and download one of the  
other OCaml binary installables (MSVC or MinGW).  However, I tried  
both, and I keep getting the same error:

>> ocamlopt -o geomancian figures.ml geomancian.ml
>
> 'as' is not recognized as an internal or external command, operable
> program or batch file.
> File "figures.ml", line 1, characters 0-1:
> Error: Assembler error, input left in file <directory
> omitted>\camlasme1fe97.s

I'm at a loss of what to do next.  I've googled for pages and pages of  
results that, while this problem isn't uncommon, I haven't found any  
solution to it.  I feel bad asking this, but could someone guide me  
through the installation on Windows step-by-step?  I'd really  
appreciate it.

Thanks!
-Sam Block

_______________________________________________
Caml-list mailing list. Subscription management:
(Continue reading)

Shailesh Khandekar | 1 Feb 04:34 2009
Picon

Re: Help on installing OCaml on Windows XP

Hello Sam,
> Here's my goal: I want to run ocamlopt and have a binary executable 
> for my project on Windows and be able to give it to my friend and have 
> it run; this would rule out Cygwin, since I'd need extra .dll files.  
> I don't want that, so I wanted to go ahead and download one of the 
> other OCaml binary installables (MSVC or MinGW).  However, I tried 
> both, and I keep getting the same error:
>
>>> ocamlopt -o geomancian figures.ml geomancian.ml
>>
>> 'as' is not recognized as an internal or external command, operable
>> program or batch file.
>> File "figures.ml", line 1, characters 0-1:
>> Error: Assembler error, input left in file <directory
>> omitted>\camlasme1fe97.s
Ocamlopt is looking for the assembler, i.e. 'as' command. Looks like the 
binutils is missing on the target machine. You can get it from:

http://sourceforge.net/project/showfiles.php?group_id=2435&package_id=11290&release_id=19108

The Ocaml download page for binary distribution for Microsoft Windows at:
     http://caml.inria.fr/download.en.html
mentions that, some features require the Cygwin environment (for MinGW) 
and similar for MSVC.

I'm curious to find out whether it would work with just a mingw-msys 
installation, without using Cygwin. Waiting for the download to finish 
on my machine.

Best regards,
(Continue reading)

Christophe TROESTLER | 1 Feb 11:42 2009
X-Face
Picon

Re: Help on installing OCaml on Windows XP

Hi,

On Sat, 31 Jan 2009 20:05:36 -0500, Sam Block wrote:
> 
> Here's my goal: I want to run ocamlopt and have a binary executable for my project on Windows and be able to
give it to my friend and have it run; this would rule out Cygwin, since I'd need extra .dll files.  I don't want
that, so I wanted to go ahead and download one of the other OCaml binary installables (MSVC or MinGW). 
However, I tried both, and I keep getting the same error:
> 

I guess you did not perform the neceessary steps indicated in the file
README.win32:
http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/README.win32?rev=1.46

Cheers,
ChriS

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Martin Steffen | 2 Feb 01:21 2009
Picon
Picon

Deadline extension: 10./ 13. February (abstract / paper deadline). Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)


----------------------------------------------------------------------
                 !!!!  Deadline Extended  !!!!!
----------------------------------------------------------------------
     Abstract submission: 10 February 2009, 23:59 Samoa time (= UTC-11)
     Paper submission: 13 February 2009, 23:59 Samoa time
--------------------------------------------------------------------

                       Federated Conferences on

		   Distributed Computing Techniques

                   http://discotec09.di.fc.ul.pt/

  		  Lisbon, Portugal 8 - 12 June 2009

           ------------------------------------------
           --------                   ---------------
           -------    FMOODS/FORTE'09 ---------------
           --------                   ---------------
           -------     DAIS'09        ---------------
           -------                    ---------------
           --------   Coordination'09 ---------------
           --------                   ---------------
          -------------------------------------------

The call for papers for each of the three federated conference follow below.

Invited Speakers:

(Continue reading)

Joerg Siekmann | 2 Feb 10:25 2009
Picon

Job-Openings in e-learning

Please find enclosed job descriptions for research assistants 
(post doc and/or PhDs) in the area of ITS (Intelligent Tutor 
Systems).
Jörg Siekmann

-- 
Prof. Dr. Joerg Siekmann
Saarland University                          Tel: 
+49-681-302-5275
German Research Centre for                   Fax: 
+49-681-302-2235
Artificial Intelligence (DFKI)             Email: 
joerg.siekmann <at> dfki.de
Campus D3 2, Stuhlsatzenhausweg 3            WWW: 
www-ags.dfki.uni-sb.de/
66123 Saarbruecken, Germany
-------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern

Geschaeftsfuehrung:
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO)
Dr. Walter Olthoff

Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes

Amtsgericht Kaiserslautern, HRB 2313
-------------------------------------------------------------
(Continue reading)

ICFP09 Final CFP

                        Final Call for Papers
    ICFP 2009: International Conference on Functional Programming
          Edinburgh, Scotland, 31 August - 2 September 2009
              http://www.cs.nott.ac.uk/~gmh/icfp09.html
               ** Submission deadline: 2 March 2009 **
          Submission URL: https://www.softconf.com/a/icfp09/

ICFP 2009 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, from abstraction to
application.  The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects or
concurrency. Particular topics of interest include
  * Language Design
  * Implementation
  * Software-Development Techniques
  * Foundations
  * Applications and Domain-Specific Languages
  * Functional Pearls

The conference also solicits Experience Reports, which are short
papers that provide evidence that functional programming really works
or describe obstacles that have kept it from working in a particular
application.

Important Dates (at 20:00 UTC)
~~~~~~~~~~~~~~~
Submission:           2 March 2009  https://www.softconf.com/a/icfp09/
Author response:  21-23 April 2009
(Continue reading)

Dario Teixeira | 2 Feb 18:07 2009
Picon

Re: Union of type variables

Hi,

> Obviously I would like to get rid of this kludge.  The signature and
> implementation for "union" should be something like the (syntactically
> incorrect) code below.  But is it at all possible to declare an union
> of type variables?  (which presupposes they are polymorphic variants)
> 
> val union: 'x t -> 'y t -> [> 'x |
> 'y ] t
> let union x y = Union (x, y)

In the meantime I realised what the problem was.  I neglected to take
into account the open nature of polymorphic variants, meaning that as
long as the phantom type variable is open, then the following code is
enough to do what I want:

val union: 'a t -> 'a t -> 'a t
let union x y = Union (x, y)

Cheers,
Dario Teixeira

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

(Continue reading)

Horváth Zoltán | 2 Feb 23:33 2009
Picon
Picon

CFP TFP 2009

First call for papers

 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING

 TFP 2009

 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA

 June 2-4, 2009

 http://www.inf.elte.hu/tfp_cefp_2009

 

 

The symposium on Trends in Functional Programming (TFP) is an

international forum for researchers with interests in all aspects of

functional programming languages, focusing on providing a broad view of

current and future trends in Functional Programming. It aspires to be a

lively environment for presenting the latest research results. Acceptance

for the conference is based on full papers or extended abstracts, and a

formal post-symposium refereeing process selects the best articles

presented at the symposium for publication in a high-profile volume.

 

TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and

it is co-located with the 3rd Central-European Functional Programming

School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30).

 

 IMPORTANT DATES (ALL 2009)

 

    * Paper Submission: March 15

    * Notification of Acceptance: April 3

    * Camera Ready Symposium Proceedings Paper: April 24

    * TFP Symposium: June 2-4, 2009

    * Post Symposium Paper Submission: June 30

    * Notification of Acceptance: September 7

    * Camera Ready Revised Paper: September 21

 

 SCOPE OF THE SYMPOSIUM

 

As part of the Symposium's focus on trends we therefore identify

the following five article categories. High-quality articles are

solicited in any of these categories:

 

    * Research: leading-edge, previously unpublished research.

    * Position: on what new trends should or should not be.

    * Project: descriptions of recently started new projects.

    * Evaluation: what lessons can be drawn from a finished project.

    * Overview: summarizing work with respect to a trendy subject.

 

Articles must be original and not submitted for simultaneous publication

to any other forum. They may consider any aspect of functional

programming: theoretical, implementation-oriented, or more experience-

oriented. Applications of functional programming techniques to other

languages are also within the scope of the symposium. Contributions on

the following subject areas are particularly welcomed:

 

    * Dependently Typed Functional Programming

    * Validation and Verification of Functional Programs

    * Debugging for Functional Languages

    * Functional Programming and Security

    * Functional Programming and Mobility

    * Functional Programming to Animate/Prototype/Implement Systems from

      Formal or Semi-Formal Specifications

    * Functional Languages for Telecommunications Applications

    * Functional Languages for Embedded Systems

    * Functional Programming Applied to Global Computing

    * Functional GRIDs

    * Functional Programming Ideas in Imperative or Object-Oriented

      Settings (and the converse)

    * Interoperability with Imperative Programming Languages

    * Novel Memory Management Techniques

    * Parallel/Concurrent Functional Languages

    * Program Transformation Techniques

    * Empirical Performance Studies

    * Abstract/Virtual Machines and Compilers for Functional Languages

    * New Implementation Strategies

    * Any new emerging trend in the functional programming area

 

If you are in doubt on whether your article is within the scope of TFP,

please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria

Zsok at tfp2009 <at> inf.elte.hu

 

 SUBMISSION AND DRAFT PROCEEDINGS

 

Acceptance of articles for presentation at the symposium is based on the

screening process of full papers (15 pages) and extended abstracts

(at least 3 pages). TFP encourages PhD students to submit papers.

 

PhD students may request the program committee to provide extensive

feedback on their full papers at the time of submission. Full papers

describing work accepted for presentation must be completed before the

symposium for publication in the draft proceedings. Further details can be

found at the TFP 2009 website.

 

 POST-SYMPOSIUM REFEREEING AND PUBLICATION

 

In addition to the draft symposium proceedings, we continue the TFP

tradition of publishing a high-quality subset of contributions in the

Intellect series on Trends in Functional Programming.

 

 PROGRAM COMMITTEE

 

    * Peter Achten (symp-chair), Radboud University Nijmegen, NL

    * John Clements, California Polytechnic State University, USA

    * Cormac Flanagan, University of California at Santa Cruz, USA

    * Jurriaan Hage, Utrecht University, NL

    * Kevin Hammond, University of St. Andrews, UK

    * Michael Hanus, Christian-Albrechts University zu Kiel, DE

    * Ralf Hinze, University of Oxford, UK

    * Zoltan Horvath (PC co-chair),  Eotvos Lorand University, HU

    * Graham Hutton, University of Nottingham, UK

    * Johan Jeuring, Utrecht University, NL

    * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL

    * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE

    * Rita Loogen, Philipps-University Marburg, DE

    * Greg Michaelson, Heriot-Watt University, UK

    * Marco T. Morazan, Seton Hall University, USA

    * Rex L Page, University of Oklahoma, USA

    * Sven-Bodo Scholz, University of Hertfordshire, UK

    * Clara Segura, University Complutense de Madrid, ES

    * Mary Sheeran, Chalmers University of Technology, SE

    * Phil Trinder, Heriot-Watt University, UK

    * Marko van Eekelen, Radboud University Nijmegen, NL

    * Varmo Vene, University of Tartu, EE

    * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU

 

 LOCATION

 

Conference Centre of Selye University, Komarno, Slovakia

(http://www.selyeuni.sk/). It is a new and excellent conference centre

with modern equipment, lecture rooms and computer labs.

 

Komarno is on the north bank of river Danube, the northern part of the

city Komarom / Komarno. It is a charming old city with about 30 000

inhabitants, 90 km away from Budapest (the capital of Hungary), with

good highway and railway connections and 90 km away from

Bratislava (the capital of Slovakia), about 100 km from Vienna International

Airport.

 

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Sylvain Le Gall | 3 Feb 00:40 2009
Picon

[ANN] OCaml Meeting 2009 -- meeting point, dinner and schedule

Hello all,

This is my last post for OCaml Meeting. I have updated the schedule and
the "bar" we can meet before the dinner. 

To be more convenient, I have decided that we should just meet at the
"Brasserie du Palais" to have a beer. This way, we will already be at
the place of the dinner (less travel in a city I don't know).

Someone, suggest me to organize some kind of "practical workshop" at the
end of the day. I think this is a good idea. So if there is time left at
the end of the day, people who wish can stay in the WTC to do some
practical exercices (hacking/demonstration...)

Regards,
Sylvain Le Gall on behalf of OCaml Meeting organization team

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Picon

Unbound module XHTML.M

Hi,
(already posted in OCsigen ML,
but seems top be unresponsive list)

Following the tutorial:
http://ocsigen.org/tutorial1.0.0-1

        open Lwt
        open XHTML.M
        open Eliom_services
        open Eliom_parameters
        open Eliom_sessions
        open Eliom_predefmod.Xhtml

        let coucou =
          Eliom_predefmod.Xhtml.register_new_service
            ~path:["coucou"]
            ~get_params:Eliom_parameters.unit
            (fun _ () () ->
               Lwt.return
                 (XHTML.M.html
                 (XHTML.M.head (XHTML.M.title (XHTML.M.pcdata "")) [])
                 (XHTML.M.body [XHTML.M.h1 [XHTML.M.pcdata "Hallo!"]])))

when trying to compile:
     ocamlc \
     -I /usr/lib/ocsigen/extensions/ \
     -I /usr/lib/ocaml/3.10.2/lwt/ \
     -c tutorial.ml
I got the error:
     File "tutorial.ml", line 2, characters 0-12:
     Unbound module XHTML.M

I am running Ubuntu 8.10 and the packaged OCsigen.

Would someone help?

I explain my paths:
$ ls -l /usr/lib/ocsigen/extensions/* | awk '{print $8}'
/usr/lib/ocsigen/extensions/accesscontrol.cmo
/usr/lib/ocsigen/extensions/authbasic.cmo
/usr/lib/ocsigen/extensions/cgimod.cmo
/usr/lib/ocsigen/extensions/deflatemod.cmo
/usr/lib/ocsigen/extensions/eliom.cma
/usr/lib/ocsigen/extensions/ocsidbm
/usr/lib/ocsigen/extensions/ocsipersist-dbm.cma
/usr/lib/ocsigen/extensions/ocsipersist-sqlite.cma
/usr/lib/ocsigen/extensions/outputfilter.cmo
/usr/lib/ocsigen/extensions/redirectmod.cmo
/usr/lib/ocsigen/extensions/revproxy.cmo
/usr/lib/ocsigen/extensions/staticmod.cmo
/usr/lib/ocsigen/extensions/userconf.cmo

and:
$ ls -l /usr/lib/ocaml/3.10.2/lwt/* | awk '{print $8}'
/usr/lib/ocaml/3.10.2/lwt/lwt.a
/usr/lib/ocaml/3.10.2/lwt/lwt_chan.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_chan.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_chan.mli
/usr/lib/ocaml/3.10.2/lwt/lwt.cma
/usr/lib/ocaml/3.10.2/lwt/lwt.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt.cmxa
/usr/lib/ocaml/3.10.2/lwt/lwt_extra.a
/usr/lib/ocaml/3.10.2/lwt/lwt_extra.cma
/usr/lib/ocaml/3.10.2/lwt/lwt_extra.cmxa
/usr/lib/ocaml/3.10.2/lwt/lwt_lib.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_lib.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_lib.mli
/usr/lib/ocaml/3.10.2/lwt/lwt.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_mutex.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_mutex.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_mutex.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_pool.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_pool.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_pool.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.a
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.cma
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.cmxa
/usr/lib/ocaml/3.10.2/lwt/lwt_preemptive.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.a
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.cma
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.cmxa
/usr/lib/ocaml/3.10.2/lwt/lwt_ssl.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_timeout.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_timeout.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_timeout.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_unix.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_unix.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_unix.mli
/usr/lib/ocaml/3.10.2/lwt/lwt_util.cmi
/usr/lib/ocaml/3.10.2/lwt/lwt_util.cmx
/usr/lib/ocaml/3.10.2/lwt/lwt_util.mli
/usr/lib/ocaml/3.10.2/lwt/META
/usr/lib/ocaml/3.10.2/lwt/pqueue.cmi
/usr/lib/ocaml/3.10.2/lwt/pqueue.cmx
/usr/lib/ocaml/3.10.2/lwt/pqueue.mli

--

-- 
Chef de projet chez Vectoris
http://www.google.com/search?q=mihamina+rakotomandimby

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Gmane