#ocaml on 2005-12-22 — irc logs at freenode.irclog.whitequark.org

2005-10-27 20:23 __DL__ changed the topic of #ocaml to: OCaml 3.09.0 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:06 samx has joined #ocaml

00:24 kryptt has joined #ocaml

00:42 Bigbang is now known as Bigb[a]ng

00:43 Skal has quit ["Client exiting"]

00:46 _fab has quit [Remote closed the connection]

01:35 Axioplase has joined #ocaml

01:35 <Axioplase> Hi!

01:39 <Axioplase> When parsing a lexed stream, what can cause a Fatal error: exception Parsing.Parse_error ?

01:41 <vodka-goo> a parse error ;)

01:41 <vodka-goo> your input is not part of your grammar

01:42 <Axioplase> hum.. Is it not?

01:43 <Axioplase> you mean, there's a case not in my lexer? or something I forgot to parse in my parser ?

01:45 <vodka-goo> the problem is with your parser

01:46 KrispyKringle is now known as KristopherKringl

01:48 <Axioplase> by the way, my teacher found out from my last problem. I should have written "type <BfTree.bfTree> seq" instead of "type <bfTree> seq" ...

01:54 smimou has quit ["bli"]

01:58 kryptt has quit [Remote closed the connection]

02:00 <Axioplase> vodka-goo: I don't get it.. the code I parse contains only valid tokens. The lexer reads them all and sends the lexems. The parser matches all cases...

02:01 kryptt has joined #ocaml

02:07 mkhl has joined #ocaml

02:11 Smerdyakov has joined #ocaml

02:17 <Axioplase> vodka-goo: would you mind looking at my lexer and parser ?

02:18 <Axioplase> (under 50 lines in total)

02:18 <vodka-goo> j'ai pas tant de temps que ça, il me faudrait compiler le truc et le lancer sur l'exemple qui chie

02:18 <vodka-goo> en fait il faudrait que tu implementes les messages d'erreurs "informatifs"

02:19 <vodka-goo> qd tu pécho une exception tu affiches aussi la position actuelle du lexer, ça aide en générale

02:19 <vodka-goo> je fais pas des parser/lexer tous les jours non plus, comme toi je pompe des exemples a chaque fois ;)

02:20 <Axioplase> ha :)

02:21 <Axioplase> ben, c'est ligne 1, vu que le prog fait une seule ligne.. (et chaque instruction fait 1 caractère)...

02:22 <Axioplase> jvai voir si je peux passer le caractere en cours ou.

02:22 <vodka-goo> tu peux avoir la position

02:22 <vodka-goo> c dans le lexbuf

02:23 <Axioplase> mais la fonction parse_error définie en fin de fichier .mly n'est pas appeée.. ca m'étonne un peu..

02:23 <vodka-goo> ah ? je savais pas qu'il foutait un truc comme ça là

02:23 <vodka-goo> typiquement tu interceptes l'exception dans le fichier d'où tu appelles le parser+lexer, et tu affiches position+exn

02:24 <vodka-goo> Printexc est ton ami

02:25 <Axioplase> ouais..

02:33 malc_ has quit ["leaving"]

02:57 <Axioplase> bon, l'erreur se trouve dans le traitement des boucles.. ca avance, ca avance..

02:59 <vodka-goo> bien joué

03:00 <vodka-goo> figure toi que je galère sur la création d'un interpréteur aussi là

03:00 <vodka-goo> le pb c qu'il est au coeur d'un gros systeme, j'ai peur de la propagation des modifs

03:01 <vodka-goo> pis je peux plus tout faire dans le parseur comme avant vu que j'ajoute de l'inférence de type

03:01 <vodka-goo> j'avance à 2 à l'h

03:01 pango_ has joined #ocaml

03:01 <Axioplase> je crois meme que j'aipigé l'erreur.. LPAR expr RPAR expr ... le probleme est que toute expression est une paire. et j'ai rien pour finir la paire dans la derniere expression de la boucle (la seule "non paire" que j'ai c'est EOF...)

03:05 KristopherKringl is now known as KrispyKringle

03:07 <vodka-goo> faut que EOF soit une expr

03:07 pango has quit [Read error: 60 (Operation timed out)]

03:08 <Axioplase> non, le probleme est pas là..

03:08 <Axioplase> chaque instruction est une sequence. donc un paire (instruction, instruction_suivante)

03:09 Snark has joined #ocaml

03:09 <Axioplase> et que dans le cas d'une boucle, la derniere instruction n'a pas de suivante. donc ca plante. je reflechis à comment gérer ca... (j'arrive déjà à faire la boucle vide...)

03:10 <vodka-goo> ah, tu peux autoriser la suite vite de tokens comme une instruction.. ms apres faut gérer les conflits

03:10 <Axioplase> hum... ca pourrait le faire, si je trouve comment.

03:43 Submarine has quit ["Leaving"]

03:47 _JusSx_ has quit ["leaving"]

03:54 Snark has quit ["Leaving"]

03:58 Smerdyakov has quit ["Leaving"]

04:07 Snark has joined #ocaml

04:34 Axioplase has quit ["leaving"]

04:40 kmag has left #ocaml []

05:13 ramkrsna has quit ["Leaving"]

05:19 kryptt has left #ocaml []

05:31 monochrom has quit ["good morning, sweet dream"]

05:56 tristram has quit [Remote closed the connection]

05:57 tristram has joined #ocaml

06:10 ramkrsna has joined #ocaml

06:14 noj has quit [niven.freenode.net irc.freenode.net]

06:14 pango_ has quit [niven.freenode.net irc.freenode.net]

06:14 Raziel has quit [niven.freenode.net irc.freenode.net]

06:14 tristram has quit [niven.freenode.net irc.freenode.net]

06:14 ramkrsna has quit [niven.freenode.net irc.freenode.net]

06:14 Snark has quit [niven.freenode.net irc.freenode.net]

06:14 flux__ has quit [niven.freenode.net irc.freenode.net]

06:14 juri has quit [niven.freenode.net irc.freenode.net]

06:14 vodka-goo has quit [niven.freenode.net irc.freenode.net]

06:14 pattern has quit [niven.freenode.net irc.freenode.net]

06:14 det has quit [niven.freenode.net irc.freenode.net]

06:14 skylan has quit [niven.freenode.net irc.freenode.net]

06:14 simon has quit [niven.freenode.net irc.freenode.net]

06:14 lispy has quit [niven.freenode.net irc.freenode.net]

06:14 KrispyKringle has quit [niven.freenode.net irc.freenode.net]

06:14 TaXules has quit [niven.freenode.net irc.freenode.net]

06:14 Hadaka has quit [niven.freenode.net irc.freenode.net]

06:14 Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]

06:14 ulfdoz has quit [niven.freenode.net irc.freenode.net]

06:14 mkhl has quit [niven.freenode.net irc.freenode.net]

06:14 mellum has quit [niven.freenode.net irc.freenode.net]

06:14 quamaretto has quit [niven.freenode.net irc.freenode.net]

06:14 vincenz has quit [niven.freenode.net irc.freenode.net]

06:14 Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]

06:14 rossberg has quit [niven.freenode.net irc.freenode.net]

06:14 shawn_ has quit [niven.freenode.net irc.freenode.net]

06:14 Amorphous has quit [niven.freenode.net irc.freenode.net]

06:14 revision17_ has quit [niven.freenode.net irc.freenode.net]

06:14 cmeme has quit [niven.freenode.net irc.freenode.net]

06:14 samx has quit [niven.freenode.net irc.freenode.net]

06:14 batdog has quit [niven.freenode.net irc.freenode.net]

06:14 tom_p has quit [niven.freenode.net irc.freenode.net]

06:14 descender has quit [niven.freenode.net irc.freenode.net]

06:14 knobo has quit [niven.freenode.net irc.freenode.net]

06:14 mattam has quit [niven.freenode.net irc.freenode.net]

06:14 geckosen1tor has quit [niven.freenode.net irc.freenode.net]

06:14 dylan has quit [niven.freenode.net irc.freenode.net]

06:14 erik has quit [niven.freenode.net irc.freenode.net]

06:14 dvekravy has quit [niven.freenode.net irc.freenode.net]

06:14 noj has joined #ocaml

06:15 clog has joined #ocaml

06:15 Bigb[a]ng has joined #ocaml

06:15 shawn_ has joined #ocaml

06:15 tom_p has joined #ocaml

06:15 det has joined #ocaml

06:16 mattam has joined #ocaml

06:17 CLxyz has joined #ocaml

06:17 quamaretto has joined #ocaml

06:17 cmeme has joined #ocaml

06:18 Revision17 has joined #ocaml

06:19 dvekravy has joined #ocaml

06:19 simon has joined #ocaml

06:19 dylan has joined #ocaml

06:19 skylan has joined #ocaml

06:19 erik has joined #ocaml

06:19 Naked has joined #ocaml

06:19 TaXules has joined #ocaml

06:20 Naked is now known as Hadaka

06:20 knobo has joined #ocaml

06:21 KrispyKringle has joined #ocaml

06:26 lispy has joined #ocaml

06:31 Revision17 has quit ["Leaving"]

06:36 Mitar has joined #ocaml

06:38 Mitar has left #ocaml []

07:04 vodka-goo has quit [niven.freenode.net irc.freenode.net]

07:04 pattern has quit [niven.freenode.net irc.freenode.net]

07:05 vodka-goo has joined #ocaml

07:06 pattern has joined #ocaml

07:06 flux__ has quit [niven.freenode.net irc.freenode.net]

07:06 juri has quit [niven.freenode.net irc.freenode.net]

07:06 flux__ has joined #ocaml

07:11 juri has joined #ocaml

07:14 ramkrsna has quit [Read error: 60 (Operation timed out)]

07:27 ramkrsna has joined #ocaml

07:37 _fab has joined #ocaml

08:46 pango_ has quit [Remote closed the connection]

08:53 pango has joined #ocaml

10:07 Submarine has joined #ocaml

10:40 Skal has joined #ocaml

11:03 ramkrsna_ has joined #ocaml

11:06 ramkrsna has quit [Success]

11:07 Skal has quit ["Client exiting"]

11:18 Submarine has quit [Read error: 104 (Connection reset by peer)]

11:44 Revision17 has joined #ocaml

12:03 mauke has joined #ocaml

12:18 ramkrsna_ is now known as ram|

12:38 malc_ has joined #ocaml

12:42 ski has joined #ocaml

13:19 ram| is now known as ramkrsna

13:20 haelix has joined #ocaml

13:21 bluestorm has joined #ocaml

13:41 haelix has left #ocaml []

13:43 Elentar has joined #ocaml

13:43 gim has joined #ocaml

13:54 bluestorm is now known as bluesleep

13:55 bluesleep is now known as blueeat

13:55 blueeat is now known as bluesleep

13:56 bluesleep is now known as bluedodo

13:56 bluedodo is now known as blueaway

13:56 blueaway is now known as bluepala

13:56 gim has quit ["Bonnes fêtes"]

13:57 bluepala is now known as bluestorm

14:21 Elentar has quit [Connection timed out]

14:41 smimou has joined #ocaml

14:48 bluestorm has quit ["Leaving"]

15:11 ulfdoz has quit [niven.freenode.net irc.freenode.net]

15:12 ulfdoz has joined #ocaml

15:30 mikeX has joined #ocaml

16:05 tristram has quit [Remote closed the connection]

16:07 ramkrsna is now known as rK|away

17:10 bluestorm has joined #ocaml

17:20 mkhl has joined #ocaml

17:20 ThomasV has joined #ocaml

17:22 ThomasV has left #ocaml []

17:36 vodka-goo has quit ["Connection reset by by pear"]

18:07 ski has quit ["NMI"]

18:14 ski has joined #ocaml

18:39 quamaretto has quit [Nick collision from services.]

18:39 HotNoodleOfInqui has joined #ocaml

20:12 mikeX has quit ["leaving"]

20:13 Bigb[a]ng is now known as Bigbang

20:19 Demitar has joined #ocaml

20:44 khermans has joined #ocaml

20:44 <khermans> Hi

20:44 <khermans> I am having issue with compileing ocaml

20:45 <khermans> during a .configur on version 3.09.0

20:45 Smerdyakov has joined #ocaml

20:45 <khermans> -- > ggc found

20:46 <khermans> --> unable to comple the test program

20:46 <khermans> Configuring for a powerpc64-unknown-linux-gnu ...

20:46 <khermans> is powerpc64 supported for OCAML?

20:47 <khermans> Is anyone alive in here?

20:49 <Smerdyakov> I don't know anything about PowerPC, but I know you can find a list of supported platforms on the OCaml web site.

20:50 <khermans> i didnt see any there

20:51 <khermans> Smerdyakov, do you have a link?

20:52 <Smerdyakov> I know I've seen it in a FAQ. I'll look.

20:52 <khermans> im reading it now

20:52 <Smerdyakov> http://caml.inria.fr/ocaml/portability.en.html

20:53 <khermans> hrmm

20:53 <khermans> Does PowerPC mean ppc64 as well?

20:54 <Smerdyakov> I don't know.

20:54 <khermans> are there any devs around? I really need to know if this is even possible :-(

20:54 <khermans> is there paid support option for OCAML?

20:54 <Smerdyakov> There are mailing lists.

20:54 <khermans> err..

20:55 <khermans> is this channel pretty dead suually?

20:55 <khermans> usually

20:55 <Smerdyakov> And there's some industrial program for signing up for paid something.

20:55 <Smerdyakov> No.

20:55 <khermans> who is a dev that would know about ppc64 support?

20:55 <Smerdyakov> But I bet most of us use i386-compatible machines.

20:55 <khermans> im using ppc64 IBM eServer

20:55 <khermans> mucho spensiva

20:56 <khermans> not my choice in hardware...

20:56 <Smerdyakov> BRB

20:56 Smerdyakov has quit [Remote closed the connection]

20:58 Smerdyakov has joined #ocaml

20:58 Snark has quit [Read error: 60 (Operation timed out)]

20:58 Snark has joined #ocaml

20:59 <Smerdyakov> khermans, have you looked at the "Resources" section of the OCaml web site to find people to contact about your issue?

21:00 <khermans> yea

21:01 <khermans> i will try to email the devs

21:01 <khermans> i dont any mailing list

21:01 <khermans> dont see one

21:02 <Smerdyakov> I don't think you're looking at the "Resources" page, then, or you aren

21:02 <Smerdyakov> 't reading it carefully.

21:02 <khermans> im there

21:03 <khermans> i see forums

21:14 khermans has quit ["Leaving"]

21:47 Smerdyakov has quit ["Leaving"]

22:13 Snark has quit ["Leaving"]

22:19 cmeme has quit [Remote closed the connection]

22:20 shirogane has joined #ocaml

22:21 cmeme has joined #ocaml

22:28 vincenz has quit [Remote closed the connection]

22:39 demitar_ has joined #ocaml

22:43 kryptt has joined #ocaml

22:51 Revision17 has quit [Remote closed the connection]

22:54 Demitar has quit [Read error: 110 (Connection timed out)]

22:55 pango has quit ["Leaving"]

23:09 pango has joined #ocaml

23:35 _fab has quit []

23:52 Smerdyakov has joined #ocaml