systems changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
mlh has quit ["2.6.4-1.300 here I come"]
sysfault has joined #ocaml
sysfault has left #ocaml []
mrsolo has joined #ocaml
mlh has joined #ocaml
cjohnson has quit [Remote closed the connection]
mrsolo has quit [Read error: 110 (Connection timed out)]
tautologico has quit ["F(YF) = YF"]
The--Fixer has joined #ocaml
The-Fixer has quit [Read error: 104 (Connection reset by peer)]
The--Fixer is now known as The-Fixer
srv_ has joined #ocaml
srv has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
srv_ has quit [Read error: 104 (Connection reset by peer)]
shrimpx has quit [Ping timeout: 14400 seconds]
shrimpx has joined #ocaml
buggs|afk has joined #ocaml
buggs^z has quit [Read error: 110 (Connection timed out)]
reltuk has joined #ocaml
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
mlh has quit ["home james, and don't spare the horses"]
Lemmih has quit [Remote closed the connection]
buggs|afk is now known as buggs
gim has joined #ocaml
andrewb has quit [Nick collision from services.]
andrewb has joined #ocaml
mimosa has joined #ocaml
andrewb has quit [Read error: 104 (Connection reset by peer)]
reltuk has left #ocaml []
mrsolo_ has quit [Read error: 54 (Connection reset by peer)]
mrsolo_ has joined #ocaml
phj has joined #ocaml
SpookRijder has joined #ocaml
kinners has joined #ocaml
Jaundice has joined #ocaml
wazze has joined #ocaml
Jaundice has quit ["Leaving"]
bk_ has joined #ocaml
kinners has quit ["leaving"]
lucifer has joined #ocaml
wazze has quit ["--- reality is that which, when you stop believing in it, doesn't go away ---"]
mattam_ has joined #ocaml
andrewb has joined #ocaml
<lucifer> if i do "let f = fun [] _ -> true | (a::b) c -> false;;" it compiles under caml light but not under ocaml?
<lucifer> whats the catch?
<mimosa> in OCaml
<mimosa> you cannot do pattern matching on two arguments
<mimosa> at the same time
<mimosa> you've got to do smth like
<lucifer> thats why i couldnt find it on the web :(
<mimosa> let f a b = match (a, b) with...
<lucifer> ah ok thnx :)
Lemmih has joined #ocaml
<lucifer> btw if i would construct let g x = f [] x;; for instance, will ocaml write an optimized version for f with the first parameter set to []?
<mimosa> no
<mimosa> if you want that have a look at meta-ocaml
<lucifer> because i'm worried about an exploding number of function calls when i start to move code to seperate small functions..
mattam has quit [Read error: 110 (Connection timed out)]
<lucifer> meta ocaml looks nice yes
<lucifer> at least the presentation on their website does
<mimosa> :)
SpookRijder has quit ["fedora-burning-time"]
<lucifer> although it seems much performance can be gained by just using a more aggressive compiler.. one that can inline constant arguments, especially functions..
<lucifer> ah well :) i'm fairly new to ocaml so I probably shouldnt judge it like that this soon :)
<lucifer> are there any other compilers for OCaml except the common ocamlc/ocamlopt?
<mattam_> nope
mattam_ is now known as mattam
<andrewb> lucifer: AFAIK, there's no formal specification of the language, beyond the ocamlc/ocalmopt implementation and chapter 6 of the manual
eksodus has joined #ocaml
eksodus has left #ocaml []
eksodus has joined #ocaml
The-Fixer has quit ["Goodbye"]
skylan has quit [Connection timed out]
eksodus has quit ["Changing server"]
phj has quit [Read error: 104 (Connection reset by peer)]
bk_ has quit ["I'll be back"]
phj has joined #ocaml
Defcon7 has quit [Read error: 110 (Connection timed out)]
phj has quit [Read error: 104 (Connection reset by peer)]
bk_ has joined #ocaml
mrsolo_ has quit [Read error: 60 (Operation timed out)]
maihem has joined #ocaml
Nutssh has joined #ocaml
Defcon7 has joined #ocaml
cjohnson has joined #ocaml
reltuk has joined #ocaml
srv has joined #ocaml
reltuk has left #ocaml []
LittleDan has joined #ocaml
<LittleDan> Is there a parser generator for OCaml?
<LittleDan> is anyone here?
<bk_> yes, i am here but i can't answer your question
maihem_ has joined #ocaml
maihem_ has quit [Read error: 54 (Connection reset by peer)]
<mellum> LittleDan: try ocamlyacc
<LittleDan> Does it hyave a website? A google search doesn't get anything.
<mellum> LittleDan:
<mellum> it comes with the stabndard distribution
<LittleDan> But is there documentation about it?
<mellum> which is incidentally the VERY FIRST google link.
<Smerdyakov> LittleDan, you mean you don't know where the OCaml manual is?
reltuk has joined #ocaml
<drWorm> it has a nice section in the manual
reltuk has quit [Remote closed the connection]
wazze has joined #ocaml
Hadaka has quit ["leaving"]
Naked has joined #ocaml
Naked is now known as Hadaka
The-Fixer has joined #ocaml
reltuk has joined #ocaml
tvainika_ has joined #ocaml
nodie has joined #ocaml
<tvainika_> what means when ocamlopt says Unbound class xx, in .ml I've "Open xx;;" and xx.mli includes type defintion for xx class, and xx.ml includes code for that class?
tvainika_ is now known as tvainika
nodie has left #ocaml []
<mattam> it fails on the first reference to xx ?
maihem has quit ["Client exiting"]
<tvainika> mattam: yes
Tristram has joined #ocaml
<mattam> could you paste the incriminated code ?
teratorn has quit [Read error: 54 (Connection reset by peer)]
<tvainika> http://jt3-172.tky.hut.fi/%7etvainika/tmp contains whole code, problem is with compiling parser.ml (generated from parser.mly) that contains rule with action "new graafi $2;"
<tvainika> there is that .mli file that contains "type graafi = < lisaa_kaari : int -> int -> unit; print: unit> ;;
<tvainika> when compiling .ml file that does "Open graafi;;" , does it need graafi.ml or is graafi.mli enough?
<mattam> it needs to have a cmi only afaik.
<Riastradh> It needs some sort of code. The mli file is only the interface.
<tvainika> there is .cmx and .cmi both in same directory, but does ocamlopt need something to find those files, isn't Open enough?
<mattam> it should be
Nutssh has quit ["Client exiting"]
<mattam> why did you paste graphi.ml's code in parser.ml ?
<Lemmih> I'm probably wrong but shouldn't it be "open Graafi;;" instead of "Open graafi;;"?
<mattam> there's no 'Open', only 'open''s
<tvainika> including that code was kludge, it made it work but is not really nice
<mattam> the problem is that you don't have a graphi class declaration exported, only a type declaration
<mattam> try ocamlc -i -c graphi.ml > graphi.mli and keep the class grapy declaration
Tristram is now known as Tristram[away]
<tvainika> ok, this class declaration generated by ocamlc looks much better than that guessed type declaration.. :-)
Naked has joined #ocaml
<tvainika> mattam: now it works, thanks, now just need to fix that parser :-)
srv has quit [Remote closed the connection]
srv has joined #ocaml
Hadaka has quit [Read error: 111 (Connection refused)]
Hipo has quit [Read error: 104 (Connection reset by peer)]
LittleDan has left #ocaml []
skylan has joined #ocaml
Naked has quit [Remote closed the connection]
buggs^z has joined #ocaml
Demitar has quit [kornbluth.freenode.net irc.freenode.net]
Demitar has joined #ocaml
skylan has quit ["brb"]
skylan has joined #ocaml
buggs has quit [Read error: 110 (Connection timed out)]
Naked has joined #ocaml
Naked is now known as Hadaka
housetier has joined #ocaml
kinners has joined #ocaml
housetier has quit ["#breaks @ irc.highteq.de"]
housetier has joined #ocaml
reltuk has left #ocaml []