#ocaml on 2005-02-09 — irc logs at freenode.irclog.whitequark.org

2005-01-20 20:39 mfurr changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/

00:05 _shawn has quit [Connection timed out]

00:49 smimou has quit ["?"]

00:58 smkl has quit [Read error: 60 (Operation timed out)]

01:09 humasect has joined #ocaml

01:12 mattam has quit ["zZz"]

01:41 mrvn_ is now known as mrvn

01:45 JustinWick has joined #ocaml

01:45 _fab has quit [Read error: 104 (Connection reset by peer)]

02:03 det_ has joined #ocaml

02:03 det has quit ["Reconnecting"]

02:04 det_ is now known as det

02:04 smkl has joined #ocaml

02:34 Submarine has quit ["Leaving"]

04:13 vezenchio has quit ["Computer Science is no more about computers than astronomy is about telescopes"]

04:20 mlh has quit [Client Quit]

04:21 smkl has quit [Read error: 110 (Connection timed out)]

04:25 mauke has quit [sterling.freenode.net irc.freenode.net]

04:25 cognominal has quit [sterling.freenode.net irc.freenode.net]

04:25 Herrchen has quit [sterling.freenode.net irc.freenode.net]

04:25 Banana has quit [sterling.freenode.net irc.freenode.net]

04:25 avn has quit [sterling.freenode.net irc.freenode.net]

04:25 wrunt has quit [sterling.freenode.net irc.freenode.net]

04:25 xqw has quit [sterling.freenode.net irc.freenode.net]

04:25 mellum has quit [sterling.freenode.net irc.freenode.net]

04:26 avn has joined #ocaml

04:26 mauke has joined #ocaml

04:26 cognominal has joined #ocaml

04:26 Herrchen has joined #ocaml

04:26 Banana has joined #ocaml

04:26 wrunt has joined #ocaml

04:26 xqw has joined #ocaml

04:26 mellum has joined #ocaml

04:31 humasect has quit [Success]

04:47 smkl has joined #ocaml

04:58 cjohnson has quit ["dreaming of Gamma(1/2)^2"]

05:00 Herrchen_ has joined #ocaml

05:03 Herrchen has quit [Read error: 60 (Operation timed out)]

05:06 tintin has quit [Connection reset by peer]

05:42 m3ga has joined #ocaml

05:51 smkl has quit [Read error: 60 (Operation timed out)]

05:51 m3ga has left #ocaml []

06:09 m3ga has joined #ocaml

06:41 mrvn has quit [Read error: 110 (Connection timed out)]

06:55 JustinWick has quit []

07:01 m3ga has quit ["Client exiting"]

07:08 zzorn has joined #ocaml

07:15 smkl has joined #ocaml

07:15 mrvn has joined #ocaml

07:34 m3ga has joined #ocaml

08:06 zzorn is now known as zzorn_away

08:23 smkl has quit [Read error: 110 (Connection timed out)]

08:25 solarwin1 has joined #ocaml

08:25 solarwind has quit [Read error: 54 (Connection reset by peer)]

08:30 solarwin1 has quit ["leaving"]

08:31 smimou has joined #ocaml

08:41 solarwind has joined #ocaml

08:50 pango has quit [Read error: 104 (Connection reset by peer)]

09:14 Herrchen_ is now known as Herrchen

09:23 pango has joined #ocaml

09:47 smkl has joined #ocaml

10:18 mbh has joined #ocaml

10:27 smkl has quit [Read error: 60 (Operation timed out)]

10:52 Submarine has joined #ocaml

10:52 m3ga has quit ["Client exiting"]

11:18 mbh has quit ["Lost terminal"]

11:26 kinners has joined #ocaml

11:26 mattam has joined #ocaml

11:36 pango is now known as pangoafk

12:00 smkl has joined #ocaml

12:02 kinners has quit ["leaving"]

12:25 Submarine has quit ["Leaving"]

12:38 __DL__ has joined #ocaml

12:41 vodka-goo has quit [Remote closed the connection]

12:49 Submarine has joined #ocaml

12:52 vodka-goo has joined #ocaml

12:52 pangoafk is now known as pango

13:11 tintin has joined #ocaml

13:30 solarwin1 has joined #ocaml

13:30 solarwind has quit [Remote closed the connection]

13:45 alek_ has quit [Read error: 104 (Connection reset by peer)]

13:59 Submarine has quit ["Leaving"]

14:06 kuribas has joined #ocaml

14:06 alek2 has joined #ocaml

14:09 karryall has joined #ocaml

14:16 tintin has quit [Read error: 54 (Connection reset by peer)]

14:27 tintin has joined #ocaml

14:49 Zaius has joined #ocaml

14:59 kuribas has quit ["ERC Version 5.0.1 $Revision: 1.726.2.3 $ (IRC client for Emacs)"]

15:00 Submarine has joined #ocaml

15:34 tintin has quit [Read error: 104 (Connection reset by peer)]

15:51 vezenchio has joined #ocaml

15:52 smkl has quit [Read error: 110 (Connection timed out)]

15:58 alek2 has quit [Read error: 104 (Connection reset by peer)]

16:02 alek2 has joined #ocaml

16:14 alek2 has quit ["Leaving"]

16:31 humasect has joined #ocaml

16:44 cjohnson has joined #ocaml

16:54 CosmicRay has joined #ocaml

17:13 smkl has joined #ocaml

17:16 kuribas has joined #ocaml

17:27 kuribas has quit ["ERC Version 5.0.1 $Revision: 1.726.2.3 $ (IRC client for Emacs)"]

17:34 karryall has quit ["tcho"]

17:36 Banana has quit [Read error: 60 (Operation timed out)]

17:38 grirgz has joined #ocaml

17:38 <grirgz> hi

17:40 <grirgz> i have some problems with my prog: it use libpxp, the compilation is ok, but when i launch it, it say :

17:40 <grirgz> "Pxp_lexers: This type of internal encoding is not supported: ISO-8859-1 - maybe missing lexing module?"

17:40 <grirgz> i tryed all modules i found in my system but it doesnt work better

17:42 <grirgz> i tryed to see what part of my program trigger this exception, but when the debugger stop, there is no debugging info (backtrace is empty)

17:43 <grirgz> i am lost, please help me :,(

18:01 <vodka-goo> really sorry, I don't know pxp

18:03 <mattam> you probably didn't link with pxp-lex-iso88591

18:03 <mattam> what's your compilation command ?

18:04 cjohnson has quit ["5/4 of all people have trouble with fractions"]

18:05 <grirgz> camlfind ocamlc -a -g -package pxp,pxp-engine,pxp-lex-iso88591,pxp-wlex-utf8,str -linkpkg -o $TARGET pxp_lex_iso88591.a pxp_lex_link_iso88591.o $SOURCES

18:05 <mattam> oh that's weird

18:05 <mattam> maybe put pxp-lex before pxp-engine

18:07 <mattam> hmm, you're building an archive and then link it to make an executable?

18:10 <grirgz> yes

18:13 <mattam> how do you link that executable ?

18:14 pango has quit ["Leaving"]

18:20 <grirgz> ocamlfind ocamlc -predicates init -verbose -I /home/grirgz/prog/ocaml/Moon/mln -package pxp-lex-iso88591,pxp,pxp-engine,pxp-wlex-utf8,str -linkpkg -o mln_test pxp_lex_iso88591.a pxp_lex_link_iso88591.o mln.cma mln_test.ml

18:20 zzorn_away is now known as zzorn

18:23 <mattam> what if you remove the pxp_lex_*.{a,o} ?

18:24 <grirgz> nothing change

18:24 <grirgz> i added it for testing

18:29 <mattam> then i'm clueless :(

18:30 <mattam> putting mln.cma at the beginning of the command ?

18:30 Submarine has quit ["Leaving"]

18:31 <grirgz> if I compile directly the lib as an exe, it work.. strange

18:31 <grirgz> but i want a lib :(

18:43 <mflux_> hmm.. I have a file in which let _ = 4 + 2 compiles, yet let _ = 4.0 +. 2.0 fails to compile

18:44 <mflux_> haa, it must be some operator redefining somewhere, open Pervasives fixes it ;)

18:44 <mflux_> btw, can one open a module for a certain scope?

18:57 <grirgz> i found a workaround, by linking directly the cmo of the lib with the exe...

18:59 Snark has joined #ocaml

19:00 _JusSx_ has joined #ocaml

19:19 pango has joined #ocaml

19:24 Submarine has joined #ocaml

19:26 <humasect> >

19:41 <_JusSx_> let humasect = say x

19:42 <_JusSx_> unboud value say

19:52 kuribas has joined #ocaml

19:55 vezenchio has quit ["Computer Science is no more about computers than astronomy is about telescopes"]

19:55 vezenchio has joined #ocaml

20:04 avu has joined #ocaml

20:05 Pupeno has joined #ocaml

20:05 avu has left #ocaml []

20:05 <Pupeno> hello

20:09 <Pupeno> I'm checking languages, I've tried a lot of them, now, I'm testing ocaml.

20:09 <Pupeno> Can anybody help me understand this: "Caml is statically type-checked, but there is no need to add type informations in programs (as in Ada or Pascal, or C): type annotations are fully automatic and handled by the compiler." ?

20:09 <Pupeno> AFAIK, static typed languages is where you have to define the type of a variable/object, am I wrong ?

20:11 <mflux_> yes you are.

20:11 <mflux_> static typed languages mean that objects have types

20:11 <mflux_> compile-time

20:11 <mflux_> not that they need to be spelled out

20:16 <mflux_> basically, "42" + 42 is a compile time error, not runtime

20:16 <mflux_> also you can write: let a = 42 and b = "42" in a + b -> compile time error

20:16 <mflux_> yet their values were assigned (well actually it's called binding) to variables (names?), but no types were spelt out

20:16 <mflux_> you could also write let a : int = 42 and b : string = "42", but you don't need to

20:20 mflux_ has quit [Read error: 54 (Connection reset by peer)]

20:20 <Snark> Pupeno: let f x = x+1;

20:20 <Snark> Pupeno: I didn't give the type, but as you'll see typing it in ocaml, f has a type

20:21 skylan has quit [Remote closed the connection]

20:21 Excedrin has quit [Read error: 54 (Connection reset by peer)]

20:21 smkl has quit [sterling.freenode.net irc.freenode.net]

20:21 solarwin1 has quit [sterling.freenode.net irc.freenode.net]

20:21 __DL__ has quit [sterling.freenode.net irc.freenode.net]

20:21 mattam has quit [sterling.freenode.net irc.freenode.net]

20:21 mrvn has quit [sterling.freenode.net irc.freenode.net]

20:21 Herrchen has quit [sterling.freenode.net irc.freenode.net]

20:22 wrunt has quit [sterling.freenode.net irc.freenode.net]

20:22 mauke has quit [sterling.freenode.net irc.freenode.net]

20:22 avn has quit [sterling.freenode.net irc.freenode.net]

20:22 cognominal has quit [sterling.freenode.net irc.freenode.net]

20:22 xqw has quit [sterling.freenode.net irc.freenode.net]

20:22 mellum has quit [sterling.freenode.net irc.freenode.net]

20:22 vodka-goo has quit [sterling.freenode.net irc.freenode.net]

20:22 andrewb has quit [sterling.freenode.net irc.freenode.net]

20:22 det has quit [sterling.freenode.net irc.freenode.net]

20:22 shawn_ has quit [sterling.freenode.net irc.freenode.net]

20:22 kuribas has quit [sterling.freenode.net irc.freenode.net]

20:22 Submarine has quit [sterling.freenode.net irc.freenode.net]

20:22 pango has quit [sterling.freenode.net irc.freenode.net]

20:22 _JusSx_ has quit [sterling.freenode.net irc.freenode.net]

20:22 Snark has quit [sterling.freenode.net irc.freenode.net]

20:22 Pupeno has quit [sterling.freenode.net irc.freenode.net]

20:22 gim has quit [sterling.freenode.net irc.freenode.net]

20:22 Nutssh has quit [sterling.freenode.net irc.freenode.net]

20:22 vincenz_ has quit [sterling.freenode.net irc.freenode.net]

20:22 oracle1 has quit [sterling.freenode.net irc.freenode.net]

20:22 Amorphous has quit [sterling.freenode.net irc.freenode.net]

20:22 creichen has quit [sterling.freenode.net irc.freenode.net]

20:22 zzorn has quit [sterling.freenode.net irc.freenode.net]

20:22 Riastradh has quit [sterling.freenode.net irc.freenode.net]

20:22 jave has quit [sterling.freenode.net irc.freenode.net]

20:22 CLxyz has quit [sterling.freenode.net irc.freenode.net]

20:22 cmeme has quit [sterling.freenode.net irc.freenode.net]

20:22 vezenchio has quit [sterling.freenode.net irc.freenode.net]

20:22 humasect has quit [sterling.freenode.net irc.freenode.net]

20:22 grirgz has quit [sterling.freenode.net irc.freenode.net]

20:22 smimou has quit [sterling.freenode.net irc.freenode.net]

20:22 Hadaka has quit [sterling.freenode.net irc.freenode.net]

20:22 Hipo has quit [sterling.freenode.net irc.freenode.net]

20:22 rossberg_ has quit [sterling.freenode.net irc.freenode.net]

20:22 Smerdyakov has quit [sterling.freenode.net irc.freenode.net]

20:22 calvin_ has quit [sterling.freenode.net irc.freenode.net]

20:22 tsume has quit [sterling.freenode.net irc.freenode.net]

20:22 KrispyKringle has quit [Connection reset by peer]

20:22 KrispyKringle has joined #ocaml

20:22 Excedrin_ has joined #ocaml

20:22 skylan_ has joined #ocaml

20:22 det has joined #ocaml

20:22 humasect has joined #ocaml

20:22 Pupeno has joined #ocaml

20:22 vezenchio has joined #ocaml

20:22 kuribas has joined #ocaml

20:22 Submarine has joined #ocaml

20:22 pango has joined #ocaml

20:22 _JusSx_ has joined #ocaml

20:22 Snark has joined #ocaml

20:22 grirgz has joined #ocaml

20:22 smkl has joined #ocaml

20:22 solarwin1 has joined #ocaml

20:22 vodka-goo has joined #ocaml

20:22 __DL__ has joined #ocaml

20:22 mattam has joined #ocaml

20:22 smimou has joined #ocaml

20:22 mrvn has joined #ocaml

20:22 zzorn has joined #ocaml

20:22 Herrchen has joined #ocaml

20:22 calvin_ has joined #ocaml

20:22 rossberg_ has joined #ocaml

20:22 tsume has joined #ocaml

20:22 CLxyz has joined #ocaml

20:22 oracle1 has joined #ocaml

20:22 Amorphous has joined #ocaml

20:22 Smerdyakov has joined #ocaml

20:22 cmeme has joined #ocaml

20:22 creichen has joined #ocaml

20:22 andrewb has joined #ocaml

20:22 vincenz_ has joined #ocaml

20:22 Hipo has joined #ocaml

20:22 Riastradh has joined #ocaml

20:22 Nutssh has joined #ocaml

20:22 Hadaka has joined #ocaml

20:22 jave has joined #ocaml

20:22 gim has joined #ocaml

20:22 avn has joined #ocaml

20:22 mauke has joined #ocaml

20:22 cognominal has joined #ocaml

20:22 wrunt has joined #ocaml

20:22 xqw has joined #ocaml

20:22 mellum has joined #ocaml

20:23 shawn_ has joined #ocaml

20:26 Excedrin_ is now known as Excedrin

20:28 mflux has joined #ocaml

20:33 Snark has quit ["Leaving"]

20:36 <mflux> soo, what did I say last at around xx1449?-)

20:36 <mflux> to pupeno. or did anything come through.

20:37 <Pupeno> mflux: I think you didn't loose anything.

20:40 __DL__ has quit ["Bye Bye"]

20:52 humasect_ has joined #ocaml

20:54 rossberg_ has quit [sterling.freenode.net irc.freenode.net]

20:54 Smerdyakov has quit [sterling.freenode.net irc.freenode.net]

20:54 Hadaka has quit [sterling.freenode.net irc.freenode.net]

20:54 skylan_ has quit [sterling.freenode.net irc.freenode.net]

20:54 vezenchio has quit [sterling.freenode.net irc.freenode.net]

20:54 tsume has quit [sterling.freenode.net irc.freenode.net]

20:54 grirgz has quit [sterling.freenode.net irc.freenode.net]

20:54 smimou has quit [sterling.freenode.net irc.freenode.net]

20:54 Hipo has quit [sterling.freenode.net irc.freenode.net]

20:54 calvin_ has quit [sterling.freenode.net irc.freenode.net]

20:54 humasect has quit [sterling.freenode.net irc.freenode.net]

20:56 skylan_ has joined #ocaml

20:56 vezenchio has joined #ocaml

20:56 grirgz has joined #ocaml

20:56 smimou has joined #ocaml

20:56 Hadaka has joined #ocaml

20:56 Hipo has joined #ocaml

20:56 Smerdyakov has joined #ocaml

20:56 calvin_ has joined #ocaml

20:56 rossberg_ has joined #ocaml

20:56 tsume has joined #ocaml

21:03 humasect_ is now known as humasect

21:06 tsume_ has joined #ocaml

21:12 CLxyz has quit [Connection timed out]

21:15 smimou has quit ["?"]

21:16 smimou has joined #ocaml

21:24 tsume has quit [Read error: 110 (Connection timed out)]

21:26 CLxyz has joined #ocaml

21:29 humasect has quit [Read error: 54 (Connection reset by peer)]

21:29 humasect has joined #ocaml

21:49 noj has joined #ocaml

21:50 <noj> hi. how do I pass the multiply operator as a function? it gets interpreted as an open-comment when using (*) and (*.)

21:51 <Nutssh> Add in a space.

21:51 <Nutssh> ( * )

21:51 <noj> cool. thanks :)

22:15 <_JusSx_> exit

22:15 _JusSx_ has quit ["leaving"]

22:24 calvin_ has quit [Client Quit]

22:24 calvin_ has joined #ocaml

22:29 humasect_ has joined #ocaml

22:30 humasect has quit [Read error: 104 (Connection reset by peer)]

22:32 Submarine has quit ["Leaving"]

22:36 mlh has joined #ocaml

22:38 mlh has quit [Client Quit]

22:54 kuribas has left #ocaml []

22:55 humasect_ is now known as humasect

22:58 zzorn is now known as zzorn_sleep

23:05 CosmicRay has quit ["Client exiting"]

23:31 vodka-goo has quit []

23:40 Banana has joined #ocaml

23:42 zzorn_sleep has quit ["They are coming to take me away, ha ha"]

23:45 kuribas has joined #ocaml

23:47 kuribas has left #ocaml []

23:57 TheDracle has joined #ocaml