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)]