mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
ccasin has joined #ocaml
_unK has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
thrasibule has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
thrasibule has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
ccasin has quit [Quit: Leaving]
jakedouglas has quit [Quit: Leaving.]
enthymeme has joined #ocaml
wormphlegm has joined #ocaml
Morphous has quit [Ping timeout: 276 seconds]
Morphous has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
jakedouglas has joined #ocaml
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Associat0r has quit [Quit: Associat0r]
Mr_Awesome has quit [Ping timeout: 240 seconds]
wormphlegm has quit [Quit: bye]
seafood has quit [Quit: seafood]
joewilliams_away is now known as joewilliams
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Mr_Awesome has joined #ocaml
thrasibule has joined #ocaml
seg_ has quit [Ping timeout: 245 seconds]
thrasibule has quit [Read error: Operation timed out]
joewilliams is now known as joewilliams_away
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ygrek has joined #ocaml
ttamttam has joined #ocaml
oc13 has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
Yoric has joined #ocaml
gussing has joined #ocaml
fraggle_laptop has quit [Ping timeout: 264 seconds]
albacker has joined #ocaml
fraggle_laptop has joined #ocaml
ikaros has joined #ocaml
gussing has quit [Quit: Leaving]
drk-sd has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
Associat0r has joined #ocaml
ttamttam has joined #ocaml
Ori_B has quit [Remote host closed the connection]
Ori_B has joined #ocaml
Leonidas_ has joined #ocaml
Leonidas has quit [*.net *.split]
jlouis has quit [*.net *.split]
gildor has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
haelix_ has quit [*.net *.split]
sgnb has quit [*.net *.split]
jlouis has joined #ocaml
gildor has joined #ocaml
hyperboreean has joined #ocaml
haelix_ has joined #ocaml
sgnb has joined #ocaml
munga_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
Lor has quit [*.net *.split]
flux has quit [*.net *.split]
nimred has quit [*.net *.split]
Lor has joined #ocaml
flux has joined #ocaml
nimred has joined #ocaml
Lor has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
munga_ has quit [Ping timeout: 264 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
maskd has joined #ocaml
derdon has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
<derdon> thelema: ping
ccasin has joined #ocaml
ttamttam has joined #ocaml
flux has quit [*.net *.split]
nimred has quit [*.net *.split]
<derdon> thelema: compiling ocaml files which use the batteries don't seem to work: http://paste.pocoo.org/show/211516/
flux has joined #ocaml
nimred has joined #ocaml
albacker has quit [Ping timeout: 264 seconds]
ccasin has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
seg_ has joined #ocaml
seg_ is now known as segmond
pimmhogeling has joined #ocaml
ttamttam has quit [Ping timeout: 276 seconds]
maskd has quit [Ping timeout: 245 seconds]
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
thrasibule has joined #ocaml
segmond has quit [Ping timeout: 268 seconds]
Leonidas_ is now known as Leonidas
ikaros has joined #ocaml
ccasin has joined #ocaml
<hcarty> derdon: This error doesn't have anything to do with Batteries
<hcarty> derdon: This would give the same error - "let hash = Hashtbl.create 1"
<hcarty> The value is not truly polymorphic, so the compiler is looking for more context to determine what the type should be. That is my non-scientific understanding.
<hcarty> derdon: Either using the value (RefList.add ref_list 1) or specifying the type in the definition (let ref_list : int RefList.t = RefList.empty ()) will fix the error.
<derdon> hcarty: thanks for the explanation, will try it out later
maskd has joined #ocaml
<derdon> it works, thanks again :)
maskd has quit [Quit: leaving]
<derdon> how do I combine an ocamlyacc call with a *mly file which contains the ``open Batteries``directive?
joewilliams_away is now known as joewilliams
munga_ has joined #ocaml
<derdon> ``ocamlfind ocamlyacc ...`` is not supported :/
<mfp> derdon: AFAICS ocamlyacc itself doesn't need to know about the libs used in the code; it's just a code generator
<mfp> but you'd have to compile the resulting .ml with ocamlfind ocamlopt as usual
<derdon> mfp: well, ocamlyacc said "unbound module Batteries" when I entered "ocamlyacc parser.mly"
<derdon> mfp: the "open Batteries" is in the header part of the parser.mly
<mfp> hmm I took the first example from http://pllab.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamlyacc-tutorial-src.tar.gz, added open Batteries and ran ocamlyacc on the mly
<mfp> didn't complain
<mfp> so no idea why that is happening to you
<mfp> in fact ocamlyacc doesn't seem to be parsing the header at all: if I put garbage there, it just gets copied to the .ml
ulfdoz has quit [Ping timeout: 246 seconds]
<derdon> mfp: uhm, how did you open the xml file?
<mfp> xml?
ulfdoz has joined #ocaml
<derdon> yes, in the tar*.zg is one xml file, one *.dsl and one *.css file
<mfp> oops, wrong link
grettke has joined #ocaml
<derdon> mfp: my mistake was in a different command, fixed now
pimmhogeling has quit [Ping timeout: 245 seconds]
rovar has joined #ocaml
ttamttam has joined #ocaml
albacker has joined #ocaml
jakedouglas has joined #ocaml
joewilliams is now known as joewilliams_away
munga_ has quit [Ping timeout: 264 seconds]
fraggle_laptop has quit [Ping timeout: 240 seconds]
ch077179 has joined #ocaml
fraggle_laptop has joined #ocaml
thrasibule has quit [Read error: Operation timed out]
thrasibule has joined #ocaml
joewilliams_away is now known as joewilliams
thrasibule has quit [Ping timeout: 276 seconds]
thrasibule has joined #ocaml
thrasibule has quit [Ping timeout: 260 seconds]
joewilliams is now known as joewilliams_away
smimou has quit [Ping timeout: 246 seconds]
thrasibule has joined #ocaml
smimou has joined #ocaml
oriba has joined #ocaml
wormphlegm has joined #ocaml
albacker has quit [Quit: Leaving]
maskd has joined #ocaml
oc13 has quit [Ping timeout: 260 seconds]
Associat0r has quit [Read error: Connection reset by peer]
pimmhogeling has joined #ocaml
Associat0r has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
ch077179 has quit [Quit: Verlassend]
ttamttam has quit [Quit: Leaving.]
Lor has joined #ocaml
Lor has quit [Read error: No route to host]
grettke has quit [Ping timeout: 246 seconds]
grettke has joined #ocaml
dark has quit [Remote host closed the connection]
ulfdoz_ has joined #ocaml
rbancrof1 has joined #ocaml
bmp has joined #ocaml
ulfdoz has quit [*.net *.split]
LionMadeOfLions has quit [*.net *.split]
rbancroft has quit [*.net *.split]
flux has quit [*.net *.split]
nimred has quit [*.net *.split]
flux has joined #ocaml
nimred has joined #ocaml
flux has quit [*.net *.split]
nimred has quit [*.net *.split]
nimred has joined #ocaml
flux has joined #ocaml
LionMadeOfLions has joined #ocaml
boscop__ has joined #ocaml
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
boscop_ has quit [Ping timeout: 276 seconds]
grettke has quit []
derdon has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]