caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list]
@ 2011-09-12  5:50 arupkumar.das
  0 siblings, 0 replies; 64+ messages in thread
From: arupkumar.das @ 2011-09-12  5:50 UTC (permalink / raw)
  To: caml-list

Your mail 172.16.1.203:4755->192.134.164.84:25 contains contaminated file _From_arupkumar.das_idea.adityabirla.com__Date_12_Sep_2011_11:11:30_/letter.zip/letter.htm_____________________________________________________________________________________________________________________________________________________________________ with virus Email-Worm.Win32.Mydoom.m,so it is dropped.


^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2022-02-19 17:25 Latif A
  0 siblings, 0 replies; 64+ messages in thread
From: Latif A @ 2022-02-19 17:25 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 15 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-10-11  7:57 Vasilis Goumas
  0 siblings, 0 replies; 64+ messages in thread
From: Vasilis Goumas @ 2021-10-11  7:57 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-09-29 15:47 Vasilis Goumas
  0 siblings, 0 replies; 64+ messages in thread
From: Vasilis Goumas @ 2021-09-29 15:47 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-04-19 13:49 Aaron Gray
  0 siblings, 0 replies; 64+ messages in thread
From: Aaron Gray @ 2021-04-19 13:49 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 64 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-04-11 13:58 Ulugbek Abdullaev
  0 siblings, 0 replies; 64+ messages in thread
From: Ulugbek Abdullaev @ 2021-04-11 13:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 34 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-04-07 11:50 Fabien / maufred
  0 siblings, 0 replies; 64+ messages in thread
From: Fabien / maufred @ 2021-04-07 11:50 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 34 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2021-01-24 16:20 Latif A
  0 siblings, 0 replies; 64+ messages in thread
From: Latif A @ 2021-01-24 16:20 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 12 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2019-11-11  1:58 Alexandre Macedo
  0 siblings, 0 replies; 64+ messages in thread
From: Alexandre Macedo @ 2019-11-11  1:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2019-04-26 19:04 Wei Wen Goh
  0 siblings, 0 replies; 64+ messages in thread
From: Wei Wen Goh @ 2019-04-26 19:04 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2016-12-29 18:00 Matthew Tovbin
  0 siblings, 0 replies; 64+ messages in thread
From: Matthew Tovbin @ 2016-12-29 18:00 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 76 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2016-05-31  6:28 Seshachalam M
  0 siblings, 0 replies; 64+ messages in thread
From: Seshachalam M @ 2016-05-31  6:28 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 150 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2016-05-12 15:42 Hongbo Zhang (BLOOMBERG/ 731 LEX)
  0 siblings, 0 replies; 64+ messages in thread
From: Hongbo Zhang (BLOOMBERG/ 731 LEX) @ 2016-05-12 15:42 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 844 bytes --]

Dear OCaml developers:
   We are glad to announce BuckleScript[1], a backend for the OCaml compiler which emits JavaScript. The project's goal is to bridge the OCaml and JavaScript ecosystems in a seamless way. As examples of that vision, using BuckleScript, OCaml users can use Chrome Dev Tools to debug OCaml code, while Javascript users can use OCaml libraries as plain npm[2] packages. 
   The project is inspired by js_of_ocaml[3], and the differences are documented here[4]. While it is not production-ready yet, we've reached a point in the development where we feel comfortable encouraging you to try it and 
share your feedback with us. 

[1]: https://github.com/bloomberg/bucklescript/   
[2]: https://www.npmjs.com/
[3]: http://ocsigen.org/js_of_ocaml/
[4]: https://bloomberg.github.io/bucklescript/Differences-from-js_of_ocaml.html 

[-- Attachment #2: Type: text/html, Size: 2191 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2015-12-31 20:29 Adil Hafeez
  0 siblings, 0 replies; 64+ messages in thread
From: Adil Hafeez @ 2015-12-31 20:29 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 34 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2015-10-09  6:33 Gergely Szilvasy
  0 siblings, 0 replies; 64+ messages in thread
From: Gergely Szilvasy @ 2015-10-09  6:33 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 150 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
       [not found] <20150821100011.4BF127F0D7@sympa.inria.fr>
@ 2015-08-21 12:28 ` Nils Becker
  0 siblings, 0 replies; 64+ messages in thread
From: Nils Becker @ 2015-08-21 12:28 UTC (permalink / raw)
  To: caml-list

hi, 


> > - Local opens are somewhat of an anti-pattern in OCaml, because they're
> > usually used in places where you have the same names defined in
> > multiple modules:
> 
> While this is certainly a very popular use case in particular when
> dealing with operators, I find myself using the local 'let open' form
> very often in other contexts. In fact, I don't ever seem to find myself
> using it for redefining identifiers. 

as another data point: i do the same. a typical function definition would be

let process_list list = 
  let open List in
  list 
  |> map fun1
  |> map2 fun2 another_list
  |> iter fun3

basically whenever i can save more than 3 List. qualifiers in the body of a short function where the context is clear, i will do it. i don't see where the problem is with this usage; the standard modules i open are not subject to a lot of change. i think the readability gain is worth it.

>> (** Rotation on the vect(x,y) plane with an angle t
>> precondition: x and y are orthonormal *)
>> let rotation (x,y) t v = let open V in
>> v
>> + R.( ( cos t - 1. ) * (v|*|x) - sin t * (v|*|y) ) * x
>> + R.( sin t * (v|*|x) + ( cos t - 1. ) * (v|*|y) ) * y

+1. this is the kind of code that i would like to write as readable as possible with a short local open. it's basically a remedy for not having operator overloading.

> - In the absence of Modular Implicits, as Petter mentioned, it would be
> nice to have the warnings/potential errors only generated when the same
> names have the same types. In case of different types with the same name,
> the type system should take care of any issues. 

this sounds like an elegant way to allow freedom of shadowing while keeping bugs under control.

another maybe trivial point: there are larger libraries that are designed to be opened destructively (Batteries etc); if the warning policy is changed in the same way for short and long opens, it should remain possible to do open! Batteries without a warning.

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2015-03-09 14:44 Secret
  0 siblings, 0 replies; 64+ messages in thread
From: Secret @ 2015-03-09 14:44 UTC (permalink / raw)
  To: caml-list, caml-announce

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 150 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2014-12-16 23:43 André Luiz Moura
  0 siblings, 0 replies; 64+ messages in thread
From: André Luiz Moura @ 2014-12-16 23:43 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 30 bytes --]

unsubscribe André Luiz Moura

[-- Attachment #2: Type: text/html, Size: 397 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2014-12-16  7:48 Sergey Abramyan
  0 siblings, 0 replies; 64+ messages in thread
From: Sergey Abramyan @ 2014-12-16  7:48 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 208 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2014-07-04 10:35 freetolearn 2013
  0 siblings, 0 replies; 64+ messages in thread
From: freetolearn 2013 @ 2014-07-04 10:35 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 7 bytes --]

hi thx

[-- Attachment #2: Type: text/html, Size: 32 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2013-11-05 16:14 Zhi Han
  0 siblings, 0 replies; 64+ messages in thread
From: Zhi Han @ 2013-11-05 16:14 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 515 bytes --]

Hi,

I am helping managing ocaml in my company. We have encountered difficulties
while upgrading to Debian 7. We are using different versions of gcc. And it
seems that ocaml has written a hard-coded path to gcc while building
itself. And this path is burned in: every time the installed ocaml tries to
compile and link it will use this path.

My question is, is there a way to avoid burning in this path and explicitly
pass the path to gcc while using the compiler?

Thanks for your reply.

---------------
Zhi Han

[-- Attachment #2: Type: text/html, Size: 630 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2013-09-25 17:56 Dylan Sanders
  0 siblings, 0 replies; 64+ messages in thread
From: Dylan Sanders @ 2013-09-25 17:56 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* Re: [Caml-list]
  2013-08-23 12:26 [Caml-list] Alexey Rodriguez
@ 2013-08-23 12:56 ` Robert Jakob
  0 siblings, 0 replies; 64+ messages in thread
From: Robert Jakob @ 2013-08-23 12:56 UTC (permalink / raw)
  To: caml-list

Better use this:
https://sympa.inria.fr/sympa/sigrequest/caml-list

On Fri, 23 Aug 2013 14:26:06 +0200
Alexey Rodriguez <alexey@vectorfabrics.com> wrote:

> unsubscribe
> 


^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2013-08-23 12:26 Alexey Rodriguez
  2013-08-23 12:56 ` [Caml-list] Robert Jakob
  0 siblings, 1 reply; 64+ messages in thread
From: Alexey Rodriguez @ 2013-08-23 12:26 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 33 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] .
@ 2011-12-07 21:19 Joaquin Cuenca Abela
  0 siblings, 0 replies; 64+ messages in thread
From: Joaquin Cuenca Abela @ 2011-12-07 21:19 UTC (permalink / raw)
  To: abuse, admin, ph.bernard, caml-list, elice26af, clientes, clients

dear friend
http://documentarios.org/index744m--.php?olifgoogleid=61

            Wed, 7 Dec 2011 22:19:03
__________________
"In this he resembled that other great inventor, also a great worker as a boy--Benjamin Franklin.Young Edison had a friend up in the printing office who let him see proofs from the edition being set up, so that he kept posted as to what was to be in the paper before it came off the press." (c) Dreama  x8i7Daa5


^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-09-14 19:45 ds.caml
  0 siblings, 0 replies; 64+ messages in thread
From: ds.caml @ 2011-09-14 19:45 UTC (permalink / raw)


	by mail.SOL42.com with ESMTPA id 4e710389055f81;

	Wed, 14 Sep 2011 21:42:01 +0200

Content-Type: text/plain; charset=iso-8859-1

Mime-Version: 1.0 (Apple Message framework v1084)

Subject: Re: [Caml-list] Link a .so/.dll dynamically

From: ds.caml@sol42.com

In-Reply-To: <1316016912.24759.29.camel@aurora>

Date: Wed, 14 Sep 2011 21:42:01 +0200

Content-Transfer-Encoding: quoted-printable

Message-Id: <FC07674C-A9A4-4F38-BF23-087B34D7E41B@sol42.com>

References: <4E70C18F.3040304@lri.fr> <1316016912.24759.29.camel@aurora>

To: caml-list@inria.fr

X-Mailer: Apple Mail (2.1084)



On 14 Sep 2011, at 18:15, J=E9r=E9mie Dimino wrote:

> You can also use dlopen and dlsym on unix, and=20

> LoadLibrary and GetProcAddress on windows.



Right.  For truly dynamic loading, if you already have a set of .so =

files with similar API you might want to write some "loader" in C and =

compile that into your OCaml program.  No need to put an extra dynlink =

layer in between.  BTW Dynlink is not available on all platforms.



In this "loader" you would call dlopen() and dlsym() (or their Windows =

counterparts) to get the addresses of the functions in the .so, and make =

them available to the rest of your OCaml program.  You still need to =

translate OCAml-to-C function arguments and C-to-OCaml function results. =

 Note that this is somewhat insecure C plumbing, you can easily bring =

down the whole process in a number of ways.





While it is way too soon for announcements, I do have some very =

experimental code that allows to do exactly this in pure OCaml.  All you =

need to do is write a C wrapper, sort of like how you do it in Python =

(seehttp://docs.python.org/extending/extending.html for example).  The =

OCaml code looks like this:



# #load "dffi.cma";;

# open DL;;

# #install_printer Pointer.pp;;



# let lib =3D dlopen "/wherever/pgtest.dylib" [];;

val lib : DL.dllib =3D <abstr>



# let connect          =3D dlsym lib "pq_connect_db" and

   disconnect       =3D dlsym lib "pq_finish" and

   protocol_version =3D dlsym lib "pq_protocol_version";;

val connect : DL.dlfun =3D <abstr>

val disconnect : DL.dlfun =3D <abstr>

val protocol_version : DL.dlfun =3D <abstr>



# let [|conn|] =3D dlcall connect [|String "dbname=3Dname_of_database"|];;=



val conn : DL.cval =3D Ptr (PGconn*)0x0000000100100ef0



# dlcall protocol_version [|conn|];;

- : DL.cval array =3D [|Int 3|]



# dlcall disconnect [|conn|];;

- : DL.cval array =3D [||]



# dlclose lib;;

- : unit =3D ()



And pgtest.c (a PostgreSQL client lib protowrapper) looks like this:



#include <sys/types.h>

#include <unistd.h>

#include <errno.h>

#include <stdio.h>

#include <libpq-fe.h>



#include "dlutil.h"



FUNC(pq_connect_db) {

	ARGS; DECL;

	PGconn* conn;

	CHECKNUMARGS(1); CHECKSTR(0); /*1 arg, must be String*/

	conn =3D PQconnectdb((const char*)GETSTR(0));

	if (PQstatus(conn) =3D=3D CONNECTION_OK) {

		ALLOC(1); /*return 1 value*/

		SETPTR(0, PGconn*, conn); }

	else {

		PQfinish(conn);

		ALLOC(0); }

	RETURN; }



FUNC(pq_finish) {

	ARGS; DECL;

	CHECKNUMARGS(1); CHECKPTR(0); CHECKPTR_TYPE(0, PGconn*);

	PQfinish(GETPTR(0, PGconn*));

	ALLOC(0);

	RETURN; }



FUNC(pq_protocol_version) {

	ARGS; DECL;

	CHECKNUMARGS(1); CHECKPTR(0); CHECKPTR_TYPE(0, PGconn*);

	ALLOC(1);

	SETINT(0, PQprotocolVersion(GETPTR(0, const PGconn*)));

	RETURN; }



FUNC, ARGS, CHECKNUMARGS and the rest are nasty dlutil.h macros that do =

all the OCaml-C magic as described in the OCaml docs.



Functions all have the same signature, they receive an array of values =

amd can check the number and type of its elements.  They return another =

array, like multiple value returns in Lisp.  You can get pretty creative =

with this scheme.



This is very early code with plenty of missing stuff, and I haven't used =

it for anything serious yet, but if it might be of use to anyone as-is =

then just ask.





Regards.

-Daniel


^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-09-14 19:00 ds.caml
  0 siblings, 0 replies; 64+ messages in thread
From: ds.caml @ 2011-09-14 19:00 UTC (permalink / raw)


	by mail.SOL42.com with ESMTPA id 4e70f9360481a1;

	Wed, 14 Sep 2011 20:57:58 +0200

Content-Type: text/plain; charset=iso-8859-1

Mime-Version: 1.0 (Apple Message framework v1084)

Subject: Re: [Caml-list] Link a .so/.dll dynamically

From: ds.caml@sol42.com

In-Reply-To: <1316016912.24759.29.camel@aurora>

Date: Wed, 14 Sep 2011 20:57:58 +0200

Content-Transfer-Encoding: quoted-printable

Message-Id: <C73B38A0-5F67-4D2D-AF42-7D9A63722EBE@sol42.com>

References: <4E70C18F.3040304@lri.fr> <1316016912.24759.29.camel@aurora>

To: caml-list@inria.fr

X-Mailer: Apple Mail (2.1084)



On 14 Sep 2011, at 18:15, J=E9r=E9mie Dimino wrote:

> You can also use dlopen and dlsym on unix, and=20

> LoadLibrary and GetProcAddress on windows.



Right.  For truly dynamic loading, if you already have a set of .so =

files with similar API you might want to write some "loader" in C and =

compile that into your OCaml program.  No need to put an extra dynlink =

layer in between.  BTW Dynlink is not available on all platforms.



In this "loader" you would call dlopen() and dlsym() (or their Windows =

counterparts) to get the addresses of the functions in the .so, and make =

them available to the rest of your OCaml program.  You still need to =

translate OCAml-to-C function arguments and C-to-OCaml function results. =

 Note that this is somewhat insecure C plumbing, you can easily bring =

down the whole process in a number of ways.





While it is way too soon for announcements, I do have some very =

experimental code that allows to do exactly this in pure OCaml.  All you =

need to do is write a C wrapper, sort of like how you do it in Python =

(see http://docs.python.org/extending/extending.html for example).  The =

OCaml code looks like this:



# #load "dffi.cma";;

# open DL;;

# #install_printer Pointer.pp;;



# let lib =3D dlopen "/wherever/pgtest.dylib" [];;

val lib : DL.dllib =3D <abstr>



# let connect          =3D dlsym lib "pq_connect_db" and

    disconnect       =3D dlsym lib "pq_finish" and

    protocol_version =3D dlsym lib "pq_protocol_version";;

val connect : DL.dlfun =3D <abstr>

val disconnect : DL.dlfun =3D <abstr>

val protocol_version : DL.dlfun =3D <abstr>



# let [|conn|] =3D dlcall connect [|String "dbname=3Dname_of_database"|];;=



val conn : DL.cval =3D Ptr (PGconn*)0x0000000100100ef0



# dlcall protocol_version [|conn|];;

- : DL.cval array =3D [|Int 3|]



# dlcall disconnect [|conn|];;

- : DL.cval array =3D [||]



# dlclose lib;;

- : unit =3D ()



And pgtest.c (a PostgreSQL client lib protowrapper) looks like this:



#include <sys/types.h>

#include <unistd.h>

#include <errno.h>

#include <stdio.h>

#include <libpq-fe.h>



#include "dlutil.h"



FUNC(pq_connect_db) {

	ARGS; DECL;

	PGconn* conn;

	CHECKNUMARGS(1); CHECKSTR(0); /*1 arg, must be String*/

	conn =3D PQconnectdb((const char*)GETSTR(0));

	if (PQstatus(conn) =3D=3D CONNECTION_OK) {

		ALLOC(1); /*return 1 value*/

		SETPTR(0, PGconn*, conn); }

	else {

		PQfinish(conn);

		ALLOC(0); }

	RETURN; }



FUNC(pq_finish) {

	ARGS; DECL;

	CHECKNUMARGS(1); CHECKPTR(0); CHECKPTR_TYPE(0, PGconn*);

	PQfinish(GETPTR(0, PGconn*));

	ALLOC(0);

	RETURN; }



FUNC(pq_protocol_version) {

	ARGS; DECL;

	CHECKNUMARGS(1); CHECKPTR(0); CHECKPTR_TYPE(0, PGconn*);

	ALLOC(1);

	SETINT(0, PQprotocolVersion(GETPTR(0, const PGconn*)));

	RETURN; }



FUNC, ARGS, CHECKNUMARGS and the rest are nasty dlutil.h macros that do =

all the OCaml-C magic as described in the OCaml docs.



Functions all have the same signature, they receive an array of values =

amd can check the number and type of its elements.  They return another =

array, like multiple value returns in Lisp.  You can get pretty creative =

with this scheme.



This is very early code with plenty of missing stuff, and I haven't used =

it for anything serious yet, but if it might be of use to anyone as-is =

then just ask.





Regards.

-Daniel




^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-08-20 16:05 Jeff Massung
  0 siblings, 0 replies; 64+ messages in thread
From: Jeff Massung @ 2011-08-20 16:05 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 12 bytes --]

unsubscribe

[-- Attachment #2: Type: text/html, Size: 16 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-06-28 17:09 Agnius Vasiliauskas
  0 siblings, 0 replies; 64+ messages in thread
From: Agnius Vasiliauskas @ 2011-06-28 17:09 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 1 bytes --]



[-- Attachment #2: Type: text/html, Size: 5 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-05-29 10:45 ds.caml
  0 siblings, 0 replies; 64+ messages in thread
From: ds.caml @ 2011-05-29 10:45 UTC (permalink / raw)


	by mail.SOL42.com with ESMTPA id 4de2230602d721;

	Sun, 29 May 2011 12:42:14 +0200

Content-Type: text/plain; charset=us-ascii

Mime-Version: 1.0 (Apple Message framework v1084)

Subject: Re: [Caml-list] Not being able to build Ocaml in Fedora 12

From: DS <ds.caml@sol42.com>

In-Reply-To: <BANLkTimoMdWzF7_mjJkCGra6f0CDKKqbqQ@mail.gmail.com>

Date: Sun, 29 May 2011 12:42:14 +0200

Content-Transfer-Encoding: quoted-printable

Message-Id: <A97A1DD5-9FA2-4CFF-9663-C15D8C32BDCE@sol42.com>

References: <BANLkTimoMdWzF7_mjJkCGra6f0CDKKqbqQ@mail.gmail.com>

To: caml-list@inria.fr

X-Mailer: Apple Mail (2.1084)



On 28 May 2011, at 16:50, Ramanuj Bhattacharyya wrote:

> make[2]: warning:  Clock skew detected.  Your build may be incomplete.

> make[2]: Leaving directory =

`/home/Maitrayee/Ph.D/ocaml-3.12.0/otherlibs/num'

> make[2]: Entering directory =

`/home/Maitrayee/Ph.D/ocaml-3.12.0/otherlibs/dynlink'

> make[2]: Warning: File `Makefile' has modification time 1.1e+08 s in =

the future



Is your build dir on an NFS mount?  Make and NFS do not always work well =

together.

If it is so, I'd suggest building on a local filesystem.



Regards.

-Daniel




^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] Ãßõ¸ÞÀÏ
@ 2011-04-05  0:04 »õ·Î¿î
  0 siblings, 0 replies; 64+ messages in thread
From: »õ·Î¿î @ 2011-04-05  0:04 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 1272 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list]
@ 2011-01-03 21:57 Fabien / maufred
  0 siblings, 0 replies; 64+ messages in thread
From: Fabien / maufred @ 2011-01-03 21:57 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 10 bytes --]

subscribe

[-- Attachment #2: Type: text/html, Size: 14 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)¡Ú¡ÙÀÜ¿©Çѵµ´ëÃâ!!ÀÌÁ¨¹Ï°íÇϼ¼¿©!!
@ 2004-01-03  6:52 ÇÑÁ¤¹Î
  0 siblings, 0 replies; 64+ messages in thread
From: ÇÑÁ¤¹Î @ 2004-01-03  6:52 UTC (permalink / raw)
  To: camllist

[-- Attachment #1: Type: text/html, Size: 1909 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] Àú¿Í ¾ËÄá´ÞÄáÇÑ ¾ê±â¸¦ ÇØ¿©!
@ 2004-01-03  5:16 can2u
  0 siblings, 0 replies; 64+ messages in thread
From: can2u @ 2004-01-03  5:16 UTC (permalink / raw)


[-- Attachment #1: Type: text/html, Size: 4353 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] [±¤°í]  ½´ÆÛ ÆÄ¿ö Æä´Ï½º ¸¸µé±â  @
@ 2004-01-03  4:03 Àڽۨ
  0 siblings, 0 replies; 64+ messages in thread
From: Àڽۨ @ 2004-01-03  4:03 UTC (permalink / raw)


[-- Attachment #1: Type: text/html, Size: 10040 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)¢Â´ëÃâ!! ÀüÈ­·Î ½ºÇÇµå ´ëÃâ Çص帳´Ï´Ù(ÃÖÀú%)
@ 2004-01-03  1:36 ±è´ë¸®
  0 siblings, 0 replies; 64+ messages in thread
From: ±è´ë¸® @ 2004-01-03  1:36 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 1485 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)ÄÄÇ»Å͸¸ ÄÑ ³õÀ¸¸é µ·ÀÌ µÈ´Ù´Âµ¥...
@ 2004-01-02 22:30 ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
  0 siblings, 0 replies; 64+ messages in thread
From: ÁÁÀºÁ¤º¸ Àü´ÞÀÚ @ 2004-01-02 22:30 UTC (permalink / raw)


[-- Attachment #1: Type: text/html, Size: 27351 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ÁøÁ¤ÇÑ ¸®¾óÄ«Áö³ëÀÇ ¼¼°è·Î ÃÊ´ëÇÕ´Ï´Ù!!!
@ 2004-01-02 21:02 kim
  0 siblings, 0 replies; 64+ messages in thread
From: kim @ 2004-01-02 21:02 UTC (permalink / raw)
  To: camllist

[-- Attachment #1: Type: text/html, Size: 2560 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] Àý´ë ¼ºÀθ¸ Ŭ¸¯ Çϼ¼¿ä^^
@ 2004-01-02 20:53 kfskdsdfsdfsdf
  0 siblings, 0 replies; 64+ messages in thread
From: kfskdsdfsdfsdf @ 2004-01-02 20:53 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 257 bytes --]

<html>
  <head>
  <meta http-equiv="Content-type" content="text/html; charset=euc-kr">
      <title></title>
  </head>
  <BODY>
<DIV><A href="http://bozi82.yy.to"><IMG 
src="http://211.233.73.142/~manggo/oh_2.gif"></A></DIV>
  </BODY>
</html>
    

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] Àý´ë ¼ºÀθ¸ Ŭ¸¯ Çϼ¼¿ä^^
@ 2004-01-02 20:45 kfskdsdfsdfsdf
  0 siblings, 0 replies; 64+ messages in thread
From: kfskdsdfsdfsdf @ 2004-01-02 20:45 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 257 bytes --]

<html>
  <head>
  <meta http-equiv="Content-type" content="text/html; charset=euc-kr">
      <title></title>
  </head>
  <BODY>
<DIV><A href="http://bozi82.yy.to"><IMG 
src="http://211.233.73.142/~manggo/oh_2.gif"></A></DIV>
  </BODY>
</html>
    

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ÔÆÄÏÖ®ÂÃ
@ 2004-01-02 18:08 ÔÆÄÏÀö½­»¢ÌøÏ¿¹ú¼ÊÂÃÐÐÉç
  0 siblings, 0 replies; 64+ messages in thread
From: ÔÆÄÏÀö½­»¢ÌøÏ¿¹ú¼ÊÂÃÐÐÉç @ 2004-01-02 18:08 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 375 bytes --]

云南之旅:
  美丽的泸沽湖,雄伟的玉龙雪山,壮观的虎跳峡,宁静的丽江古城,
  文明久远的南诏国,神秘的香格里拉---穿过千年万年的风尘,让我们相约在美丽的彩云之南!
  云南丽江虎跳峡国际旅行社:期待您的到来!
  丽江电话:0888-6662368 5102705 5106299 5121959.
  昆明电话:0871-3532144 3520470 3520489
  景点介绍,请参阅:http://hutiaoxia.xiloo.com
    网络实名:云南之旅

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] È«Çò¾­¼ÃÔö³¤ÂÊ×î¿ìµÄ¹ú¼ÒÖ®Ò»!
@ 2004-01-02 17:04 Ó¡¶È
  0 siblings, 0 replies; 64+ messages in thread
From: Ó¡¶È @ 2004-01-02 17:04 UTC (permalink / raw)
  To: caml-list-request


[-- Attachment #1.1: Type: text/plain, Size: 2248 bytes --]

关于赴印度商务考察通知

时    间:2004年3月24-31日
地    点:印度(孟买、新德里)
.
考察目的:
了解印度国家概况;
印度对外贸易政策与投资政策;
中印两国经济的互补性及印度经济发展前景;
印度需求的中国产品及技术;
中国产品在印度的销售渠道及销售方式;
同类产品在印度的销售情况、市场潜力;
如何在印度投资及印度税收政策等;
.
考察期间之商务活动:
参观在印度孟买世界贸易中心举办的“中国产品(印度孟买)展览会”
与印度商务官员关于投资与贸易政策的洽谈会
考察有代表性的印度市场和开发区
.
往返交通路线: 详见赴印行程安排

考察人员可随身携带少量的产品样品(免费),尽可能准备一些产品样本和技术资料(以英文版为好)
.
背   景:
   中国和印度是世界上最大的两个发展中国家,也是近十年来全球经济增长率最快的国家之一,步入21世纪后,全球大多数国家均为经济衰退难题所困扰,但中印两国的经济仍保持高速增长,正开始承担着推动亚洲经济增长火车头的作用。

    近年来,中印双边贸易得到了很大的发展,每年的贸易额均保持了两位数字的增长。2002年,中印贸易总额达到了49.45亿美元,较上年增加40.8%,其中中国出口额为26.7亿美元,从印度进口为22.7亿美元。印度已成为中国前二十位的贸易伙伴,但对印贸易额仅占中国贸易总额的0.8%,印度对华贸易额也仅占印度贸易总额的3%,双方目前的贸易额相对于两国的经济发展水平是极不相称的。

      印度总理瓦杰帕伊于2003年6月访华之后,两国的政治、经贸关系迈入了一个新的发展时期,预计至2006年,中印贸易额将达到100亿美元左右,并将以每年30%以上速度递增。因此,中国产品在印度的市场发展潜力和空间是巨大的。

   中国国际贸易促进委员会广东省分会于2004年3月在印度孟买世界贸易中心举办"中国产品(印度孟买)展览会"。展览会将为我国企业提供一个考察和开拓印度市场,与印度进口商、经销商等商贸人士面对面展开贸易洽谈,向公众推销产品的良好商机。

      印度,因其经济快速增长,庞大的人口,巨大的市场潜力,深入开放的姿态,正日益吸引着外来投资者和跨国公司的目光。可以说,天时、地利、人和都已具备,进军印度恰逢其时。我们诚挚地邀请您把握先行一步的商机,充当中国企业的先行者,去开拓印度市场这片新兴的热土!

应广大企业的要求,我们定于2004年3月正式组织中国优秀企业赴印进行大型综合性商务考察。考察期间将组织中方企业选择经济开发区、商场、超市和工商企业参观考察;另将安排印方有关商务官员出席洽谈会。
.

中国企业赴印商务考察联络处:
电  话:020-34050629  传 真:020-34052023
联系人:赵小姐    廖先生
邮  箱:sales88@mail.china.com 










[-- Attachment #1.2: Type: text/html, Size: 9708 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ¿ªÍØÓ¡¶ÈÊг¡
@ 2004-01-02 17:04 Ó¡¶È
  0 siblings, 0 replies; 64+ messages in thread
From: Ó¡¶È @ 2004-01-02 17:04 UTC (permalink / raw)
  To: caml-list


[-- Attachment #1.1: Type: text/plain, Size: 2248 bytes --]

关于赴印度商务考察通知

时    间:2004年3月24-31日
地    点:印度(孟买、新德里)
.
考察目的:
了解印度国家概况;
印度对外贸易政策与投资政策;
中印两国经济的互补性及印度经济发展前景;
印度需求的中国产品及技术;
中国产品在印度的销售渠道及销售方式;
同类产品在印度的销售情况、市场潜力;
如何在印度投资及印度税收政策等;
.
考察期间之商务活动:
参观在印度孟买世界贸易中心举办的“中国产品(印度孟买)展览会”
与印度商务官员关于投资与贸易政策的洽谈会
考察有代表性的印度市场和开发区
.
往返交通路线: 详见赴印行程安排

考察人员可随身携带少量的产品样品(免费),尽可能准备一些产品样本和技术资料(以英文版为好)
.
背   景:
   中国和印度是世界上最大的两个发展中国家,也是近十年来全球经济增长率最快的国家之一,步入21世纪后,全球大多数国家均为经济衰退难题所困扰,但中印两国的经济仍保持高速增长,正开始承担着推动亚洲经济增长火车头的作用。

    近年来,中印双边贸易得到了很大的发展,每年的贸易额均保持了两位数字的增长。2002年,中印贸易总额达到了49.45亿美元,较上年增加40.8%,其中中国出口额为26.7亿美元,从印度进口为22.7亿美元。印度已成为中国前二十位的贸易伙伴,但对印贸易额仅占中国贸易总额的0.8%,印度对华贸易额也仅占印度贸易总额的3%,双方目前的贸易额相对于两国的经济发展水平是极不相称的。

      印度总理瓦杰帕伊于2003年6月访华之后,两国的政治、经贸关系迈入了一个新的发展时期,预计至2006年,中印贸易额将达到100亿美元左右,并将以每年30%以上速度递增。因此,中国产品在印度的市场发展潜力和空间是巨大的。

   中国国际贸易促进委员会广东省分会于2004年3月在印度孟买世界贸易中心举办"中国产品(印度孟买)展览会"。展览会将为我国企业提供一个考察和开拓印度市场,与印度进口商、经销商等商贸人士面对面展开贸易洽谈,向公众推销产品的良好商机。

      印度,因其经济快速增长,庞大的人口,巨大的市场潜力,深入开放的姿态,正日益吸引着外来投资者和跨国公司的目光。可以说,天时、地利、人和都已具备,进军印度恰逢其时。我们诚挚地邀请您把握先行一步的商机,充当中国企业的先行者,去开拓印度市场这片新兴的热土!

应广大企业的要求,我们定于2004年3月正式组织中国优秀企业赴印进行大型综合性商务考察。考察期间将组织中方企业选择经济开发区、商场、超市和工商企业参观考察;另将安排印方有关商务官员出席洽谈会。
.

中国企业赴印商务考察联络处:
电  话:020-34050629  传 真:020-34052023
联系人:赵小姐    廖先生
邮  箱:sales88@mail.china.com 










[-- Attachment #1.2: Type: text/html, Size: 9708 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ÎÒÃÇ·ÅÆúÏòÈÕË÷ÅâÊÇÔÚÆäÉî¿Ì·´Ê¡µÄ»ù´¡ÉÏ£¬Ëû²»·´Ê¡£¬ÎÒÃǾÍÓÐȨË÷Åâ
@ 2004-01-02 16:38 cameco
  0 siblings, 0 replies; 64+ messages in thread
From: cameco @ 2004-01-02 16:38 UTC (permalink / raw)
  To: cameco

[-- Attachment #1: Type: text/html, Size: 8415 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)ÄÄÇ»Å͸¸ ÄÑ ³õÀ¸¸é µ·ÀÌ µÈ´Ù´Âµ¥...
@ 2004-01-02  8:51 ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
  0 siblings, 0 replies; 64+ messages in thread
From: ÁÁÀºÁ¤º¸ Àü´ÞÀÚ @ 2004-01-02  8:51 UTC (permalink / raw)


[-- Attachment #1: Type: text/html, Size: 27349 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)ÄÄÇ»Å͸¸ ÄÑ ³õÀ¸¸é µ·ÀÌ µÈ´Ù´Âµ¥...
@ 2004-01-02  8:50 ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
  0 siblings, 0 replies; 64+ messages in thread
From: ÁÁÀºÁ¤º¸ Àü´ÞÀÚ @ 2004-01-02  8:50 UTC (permalink / raw)


[-- Attachment #1: Type: text/html, Size: 27349 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ¸¶ÄÉÆà ÇÁ·Î±×·¥ ¹«·á ´Ù¿î·Îµå!
@ 2004-01-02  8:29 camlliou
  0 siblings, 0 replies; 64+ messages in thread
From: camlliou @ 2004-01-02  8:29 UTC (permalink / raw)
  To: camllist

[-- Attachment #1: Type: text/html, Size: 2664 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)¿¬Ã¼,´ëÃâ °ÆÁ¤ ³¡!Áï½Ã ÇØ°áÇØ µå¸³´Ï´Ù!@
@ 2004-01-02  2:32 ºô·Áµå¸²
  0 siblings, 0 replies; 64+ messages in thread
From: ºô·Áµå¸² @ 2004-01-02  2:32 UTC (permalink / raw)
  To: camllist

[-- Attachment #1: Type: text/html, Size: 26510 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] (±¤°í)ÇÞ¸êÄ¡,±¹³»»êÁãÆ÷,  »êÁö ¿Õµµ¸Å°¡°Ý »êÁö Àۼ۾ȳ» @
@ 2004-01-01 15:47 I³²ÇؾȸêÄ¡9
  0 siblings, 0 replies; 64+ messages in thread
From: I³²ÇؾȸêÄ¡9 @ 2004-01-01 15:47 UTC (permalink / raw)
  To: camllist

[-- Attachment #1: Type: text/html, Size: 5089 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ¾È³çÇϼ¼¿ä^^
@ 2003-10-09 13:27 ±è¹ÎÁ¤
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¹ÎÁ¤ @ 2003-10-09 13:27 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 574 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] °í°´´ÔÀÌ ¿äûÇϽŠ½Å¿ëÆò°¡¼­ ÀÔ´Ï´Ù
@ 2003-08-20  2:00 ±è¾Æ¿µ
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¾Æ¿µ @ 2003-08-20  2:00 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 401 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ½Å¿ë È®ÀÎÇϼ¼¿ä
@ 2003-06-21 17:58 ±è¼ö¿µ
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¼ö¿µ @ 2003-06-21 17:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 400 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ½Å¿ë È®ÀÎÇϼ¼¿ä
@ 2003-06-21 17:58 ±è¼ö¿µ
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¼ö¿µ @ 2003-06-21 17:58 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 400 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ½Å¿ë È®ÀÎÇϼ¼¿ä
@ 2003-06-11 15:05 ±è¼ö¿µ
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¼ö¿µ @ 2003-06-11 15:05 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 396 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ½Å¿ë È®ÀÎÇϼ¼¿ä
@ 2003-06-11 15:05 ±è¼ö¿µ
  0 siblings, 0 replies; 64+ messages in thread
From: ±è¼ö¿µ @ 2003-06-11 15:05 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 396 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ÆóÒµ¼Ò԰ȫиİ棬»¶Ó­·ÃÎÊ£¡
@ 2003-06-11 11:49 bepark
  0 siblings, 0 replies; 64+ messages in thread
From: bepark @ 2003-06-11 11:49 UTC (permalink / raw)
  To: caml-list


[-- Attachment #1.1: Type: text/plain, Size: 124 bytes --]

这是用超文本格式编写的邮件,请使用超文本方式浏览。


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




[-- Attachment #1.2: Type: text/html, Size: 118 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] [Á¤º¸] °Ç°­Á¤º¸ÀÔ´Ï´Ù.
@ 2003-06-07 19:43 °Ç°­ÁöÅ´ÀÌ
  0 siblings, 0 replies; 64+ messages in thread
From: °Ç°­ÁöÅ´ÀÌ @ 2003-06-07 19:43 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 251 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ´ç½ÅÀÇ ½Å¿ëÆò°¡ ÀÔ´Ï´Ù
@ 2003-06-05 21:23 ÇѼҿµ
  0 siblings, 0 replies; 64+ messages in thread
From: ÇѼҿµ @ 2003-06-05 21:23 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 337 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ´ç½ÅÀÇ ½Å¿ëÆò°¡ ÀÔ´Ï´Ù
@ 2003-06-05 21:23 ÇѼҿµ
  0 siblings, 0 replies; 64+ messages in thread
From: ÇѼҿµ @ 2003-06-05 21:23 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 337 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] »çÀ̹ö ¼ö»ç´ëÀÔ´Ï´Ù
@ 2003-06-03 17:38 ÇѼҿµ
  0 siblings, 0 replies; 64+ messages in thread
From: ÇѼҿµ @ 2003-06-03 17:38 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 322 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] »çÀ̹ö ¼ö»ç´ëÀÔ´Ï´Ù
@ 2003-06-03 17:38 ÇѼҿµ
  0 siblings, 0 replies; 64+ messages in thread
From: ÇѼҿµ @ 2003-06-03 17:38 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 322 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ÄãÒªµÄÈí¼þ£¬ÎÒ°ïÄãÕÒµ½ÁË£¬¿´¿´ÊDz»ÊÇÄãÒª°¡£º£©
@ 2003-05-01  8:40 uxltiszukx@bea.com
  0 siblings, 0 replies; 64+ messages in thread
From: uxltiszukx@bea.com @ 2003-05-01  8:40 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/html, Size: 67 bytes --]

^ permalink raw reply	[flat|nested] 64+ messages in thread

* Re: [Caml-list] ==
  2001-08-03 14:39 [Caml-list] == Willem Duminy
@ 2001-08-03 14:52 ` Sven
  0 siblings, 0 replies; 64+ messages in thread
From: Sven @ 2001-08-03 14:52 UTC (permalink / raw)
  To: Willem Duminy; +Cc: caml-list

On Fri, Aug 03, 2001 at 04:39:21PM +0200, Willem Duminy wrote:
> Hello,
> Please explain to me why the following Caml Light declaration requires
> a "==".
> let 'a signiture == ('a * int) list;;
> I am working through the book: "The functional Approach to
> Programming" by Cousineau and Mauny.
> Thank you for helping.

because (in caml light) you are ddefining a type alias instead of a new type 
(as you would have down with type 'a sig = Sig of ('a * int) list for example).

Now, this little restriction is no more there in ocaml.

Friendly,

Sven Luther
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


^ permalink raw reply	[flat|nested] 64+ messages in thread

* [Caml-list] ==
@ 2001-08-03 14:39 Willem Duminy
  2001-08-03 14:52 ` Sven
  0 siblings, 1 reply; 64+ messages in thread
From: Willem Duminy @ 2001-08-03 14:39 UTC (permalink / raw)
  To: caml-list

Hello,
Please explain to me why the following Caml Light declaration requires
a "==".
let 'a signiture == ('a * int) list;;
I am working through the book: "The functional Approach to
Programming" by Cousineau and Mauny.
Thank you for helping.
_______________________________________________________________
 http://www.webmail.co.za the South-African free email service
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


^ permalink raw reply	[flat|nested] 64+ messages in thread

end of thread, other threads:[~2022-02-19 17:26 UTC | newest]

Thread overview: 64+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-09-12  5:50 [Caml-list] arupkumar.das
  -- strict thread matches above, loose matches on Subject: below --
2022-02-19 17:25 [Caml-list] Latif A
2021-10-11  7:57 [Caml-list] Vasilis Goumas
2021-09-29 15:47 [Caml-list] Vasilis Goumas
2021-04-19 13:49 [Caml-list] Aaron Gray
2021-04-11 13:58 [Caml-list] Ulugbek Abdullaev
2021-04-07 11:50 [Caml-list] Fabien / maufred
2021-01-24 16:20 [Caml-list] Latif A
2019-11-11  1:58 [Caml-list] Alexandre Macedo
2019-04-26 19:04 [Caml-list] Wei Wen Goh
2016-12-29 18:00 [Caml-list] Matthew Tovbin
2016-05-31  6:28 [Caml-list] Seshachalam M
2016-05-12 15:42 [Caml-list] Hongbo Zhang (BLOOMBERG/ 731 LEX)
2015-12-31 20:29 [Caml-list] Adil Hafeez
2015-10-09  6:33 [Caml-list] Gergely Szilvasy
     [not found] <20150821100011.4BF127F0D7@sympa.inria.fr>
2015-08-21 12:28 ` [Caml-list] Nils Becker
2015-03-09 14:44 [Caml-list] Secret
2014-12-16 23:43 [Caml-list] André Luiz Moura
2014-12-16  7:48 [Caml-list] Sergey Abramyan
2014-07-04 10:35 [Caml-list] freetolearn 2013
2013-11-05 16:14 [Caml-list] Zhi Han
2013-09-25 17:56 [Caml-list] Dylan Sanders
2013-08-23 12:26 [Caml-list] Alexey Rodriguez
2013-08-23 12:56 ` [Caml-list] Robert Jakob
2011-12-07 21:19 [Caml-list] Joaquin Cuenca Abela
2011-09-14 19:45 [Caml-list] ds.caml
2011-09-14 19:00 [Caml-list] ds.caml
2011-08-20 16:05 [Caml-list] Jeff Massung
2011-06-28 17:09 [Caml-list] Agnius Vasiliauskas
2011-05-29 10:45 [Caml-list] ds.caml
2011-04-05  0:04 [Caml-list] Ãßõ¸ÞÀÏ »õ·Î¿î
2011-01-03 21:57 [Caml-list] Fabien / maufred
2004-01-03  6:52 [Caml-list] (±¤°í)¡Ú¡ÙÀÜ¿©Çѵµ´ëÃâ!!ÀÌÁ¨¹Ï°íÇϼ¼¿©!! ÇÑÁ¤¹Î
2004-01-03  5:16 [Caml-list] Àú¿Í ¾ËÄá´ÞÄáÇÑ ¾ê±â¸¦ ÇØ¿©! can2u
2004-01-03  4:03 [Caml-list] [±¤°í] ½´ÆÛ ÆÄ¿ö Æä´Ï½º ¸¸µé±â @ Àڽۨ
2004-01-03  1:36 [Caml-list] (±¤°í)¢Â´ëÃâ!! ÀüÈ­·Î ½ºÇÇµå ´ëÃâ Çص帳´Ï´Ù(ÃÖÀú%) ±è´ë¸®
2004-01-02 22:30 [Caml-list] (±¤°í)ÄÄÇ»Å͸¸ ÄÑ ³õÀ¸¸é µ·ÀÌ µÈ´Ù´Âµ¥ ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
2004-01-02 21:02 [Caml-list] ÁøÁ¤ÇÑ ¸®¾óÄ«Áö³ëÀÇ ¼¼°è·Î ÃÊ´ëÇÕ´Ï´Ù!!! kim
2004-01-02 20:53 [Caml-list] Àý´ë ¼ºÀθ¸ Ŭ¸¯ Çϼ¼¿ä^^ kfskdsdfsdfsdf
2004-01-02 20:45 kfskdsdfsdfsdf
2004-01-02 18:08 [Caml-list] ÔÆÄÏÖ®Âà ÔÆÄÏÀö½­»¢ÌøÏ¿¹ú¼ÊÂÃÐÐÉç
2004-01-02 17:04 [Caml-list] È«Çò¾­¼ÃÔö³¤ÂÊ×î¿ìµÄ¹ú¼ÒÖ®Ò»! Ó¡¶È
2004-01-02 17:04 [Caml-list] ¿ªÍØÓ¡¶ÈÊг¡ Ó¡¶È
2004-01-02 16:38 [Caml-list] ÎÒÃÇ·ÅÆúÏòÈÕË÷ÅâÊÇÔÚÆäÉî¿Ì·´Ê¡µÄ»ù´¡ÉÏ£¬Ëû²»·´Ê¡£¬ÎÒÃǾÍÓÐȨË÷Åâ cameco
2004-01-02  8:51 [Caml-list] (±¤°í)ÄÄÇ»Å͸¸ ÄÑ ³õÀ¸¸é µ·ÀÌ µÈ´Ù´Âµ¥ ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
2004-01-02  8:50 ÁÁÀºÁ¤º¸ Àü´ÞÀÚ
2004-01-02  8:29 [Caml-list] ¸¶ÄÉÆà ÇÁ·Î±×·¥ ¹«·á ´Ù¿î·Îµå! camlliou
2004-01-02  2:32 [Caml-list] (±¤°í)¿¬Ã¼,´ëÃâ °ÆÁ¤ ³¡!Áï½Ã ÇØ°áÇØ µå¸³´Ï´Ù!@ ºô·Áµå¸²
2004-01-01 15:47 [Caml-list] (±¤°í)ÇÞ¸êÄ¡,±¹³»»êÁãÆ÷, »êÁö ¿Õµµ¸Å°¡°Ý »êÁö Àۼ۾ȳ» @ I³²ÇؾȸêÄ¡9
2003-10-09 13:27 [Caml-list] ¾È³çÇϼ¼¿ä^^ ±è¹ÎÁ¤
2003-08-20  2:00 [Caml-list] °í°´´ÔÀÌ ¿äûÇϽŠ½Å¿ëÆò°¡¼­ ÀÔ´Ï´Ù ±è¾Æ¿µ
2003-06-21 17:58 [Caml-list] ½Å¿ë È®ÀÎÇϼ¼¿ä ±è¼ö¿µ
2003-06-21 17:58 ±è¼ö¿µ
2003-06-11 15:05 ±è¼ö¿µ
2003-06-11 15:05 ±è¼ö¿µ
2003-06-11 11:49 [Caml-list] ÆóÒµ¼Ò԰ȫиİ棬»¶Ó­·ÃÎÊ£¡ bepark
2003-06-07 19:43 [Caml-list] [Á¤º¸] °Ç°­Á¤º¸ÀÔ´Ï´Ù °Ç°­ÁöÅ´ÀÌ
2003-06-05 21:23 [Caml-list] ´ç½ÅÀÇ ½Å¿ëÆò°¡ ÀÔ´Ï´Ù ÇѼҿµ
2003-06-05 21:23 ÇѼҿµ
2003-06-03 17:38 [Caml-list] »çÀ̹ö ¼ö»ç´ëÀÔ´Ï´Ù ÇѼҿµ
2003-06-03 17:38 ÇѼҿµ
2003-05-01  8:40 [Caml-list] ÄãÒªµÄÈí¼þ£¬ÎÒ°ïÄãÕÒµ½ÁË£¬¿´¿´ÊDz»ÊÇÄãÒª°¡£º£© uxltiszukx@bea.com
2001-08-03 14:39 [Caml-list] == Willem Duminy
2001-08-03 14:52 ` Sven

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).