Alpounet changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html - Answer OCaml Meeting 2010 poll https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1
_unK has quit [Remote closed the connection]
_unK has joined #ocaml
julm_ has joined #ocaml
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
julm_ has quit [Read error: 104 (Connection reset by peer)]
tmaedaZ is now known as tmaeda
Ched has quit [Read error: 113 (No route to host)]
Ched has joined #ocaml
julm has quit ["Lost terminal"]
julm has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
bender_ has quit [Remote closed the connection]
caligula_ has joined #ocaml
Ched has quit [Read error: 113 (No route to host)]
caligula__ has quit [Read error: 110 (Connection timed out)]
shr3kst3r has quit ["leaving"]
shr3kst3r has joined #ocaml
_unK has quit [Remote closed the connection]
seanmcl has quit []
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
struktured has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
seanmcl has joined #ocaml
caligula__ has joined #ocaml
caligula_ has quit [Read error: 110 (Connection timed out)]
seanmcl has quit []
Ched has joined #ocaml
Modius has quit [Read error: 104 (Connection reset by peer)]
Modius has joined #ocaml
Ched has quit [Read error: 113 (No route to host)]
ygrek has joined #ocaml
meltingwax has joined #ocaml
DarkhVorTeX2 has joined #ocaml
DarkhVorTeX2 has left #ocaml []
]sw[Blade has joined #ocaml
]sw[Blade has left #ocaml []
yziquel has quit [Ping timeout: 180 seconds]
Snark has joined #ocaml
munga has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has quit ["Leaving."]
reid99 has quit [Read error: 110 (Connection timed out)]
reid99 has joined #ocaml
ua has quit ["leaving"]
Ched has joined #ocaml
munga_ has joined #ocaml
tonyIII_ has quit [Read error: 60 (Operation timed out)]
tonyIII_ has joined #ocaml
ski_ has joined #ocaml
_zack has joined #ocaml
ikaros has joined #ocaml
tmaeda is now known as tmaedaZ
Yoric[DT] has joined #ocaml
mal`` has quit ["Coyote finally caught me"]
mal`` has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Read error: 60 (Operation timed out)]
jux has joined #ocaml
<jux> Hi all. I'm having some troubles with ocamlyacc, and would appreciate any help. I have boiled down the problem in the following pastie: http://pastie.org/687757 . When I try to compile the ocamlyacc-generated interface (parser.mli), it apparently can't find the type from the Refract-module. Adding "open Refract" to parser.mli fixes the problem, but since it's generated this would be quite bothersome.
<flux> jux, whenever you write file foo.mli or foo.ml, a module Foo is introduced
<flux> jux, so it apears that your module signature definition creates a module Refract.Refract
<flux> which is doubtly what you want
<flux> in other words, the problem isn't with ocamlyacc at all
<flux> why open fixes is the issue is that open Refract opens the module name space, which again has the Refract module
<jux> ahh
<jux> I'm trying to wrap my head around it - just a second. :)
<jux> So in Refract.mli I don't want to declare a new module?
<flux> correct
<jux> It works!! :)
<jux> Thanks flux.
_zack has quit ["Leaving."]
ztfw has quit [Remote closed the connection]
Narrenschiff has joined #ocaml
ikaros_ has quit [Read error: 60 (Operation timed out)]
seanmcl has joined #ocaml
ztfw has joined #ocaml
thieusoai has quit ["leaving"]
thieusoai has joined #ocaml
Narrenschiff has quit []
seanmcl has quit []
jux has quit [sendak.freenode.net irc.freenode.net]
ikaros has joined #ocaml
seanmcl has joined #ocaml
jux has joined #ocaml
Submarine has joined #ocaml
jux has quit [sendak.freenode.net irc.freenode.net]
_zack has joined #ocaml
eldragon has joined #ocaml
seanmcl has quit []
ygrek has quit [Remote closed the connection]
<thelema> could someone help me debug this: http://ocaml.pastebin.com/m2c2ba2c7
<thelema> ah, found another bug... There's got to be a better way to write
_zack has quit ["Leaving."]
* thelema needs better test cases
<thelema> I think I've got it, but I'm not sure... http://ocaml.pastebin.com/m2dd661bd
<thelema> heh, last 0 should be min_int
<flux> | (Empty, _) | (_, Empty) -> 1 ?
<thelema> flux: set containment
<thelema> empty is a subset of anything, but anything isn't a subset of empty
<flux> crud, I didn't notice the negation character
<thelema> yes, I'm doing an amazingly horrible 4-way compare
<thelema> x \in y, y \in x, x = y and <none-of-the-above>
ttamttam has joined #ocaml
<thelema> grr, more cases...
<thelema> hmm, I think I need to return a pair of booleans
<thelema> line 11 and 13 are wrong
Narrenschiff has joined #ocaml
Narrenschiff has quit []
M| has quit [Read error: 113 (No route to host)]
_unK has joined #ocaml
onigiri_ has joined #ocaml
Ched has quit [Read error: 113 (No route to host)]
M| has joined #ocaml
onigiri has quit [Read error: 145 (Connection timed out)]
onigiri_ is now known as onigiri
thieusoai has quit ["leaving"]
ikaros has quit ["Leave the magic to Houdini"]
thrasibule has joined #ocaml
julm_ has joined #ocaml
ikaros has joined #ocaml
ygrek has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
Ched has joined #ocaml
kv has joined #ocaml
kv has left #ocaml []
<thelema> hmm, I get the error "Error: Unbound constructor Batteries.Enum.No_more_elements
<thelema> but the line of code references "Enum.No_more_elements" only, so for it to know the Batteries part, it has to be working, no?
<thelema> and that exception is well defined in the batteries library which is working elsewhere
<thelema> I think...
_unK has quit [Remote closed the connection]
* thelema is an idiot
<mrvn> If you say so. :)
<thelema> :)
<thelema> I am - trust me. I can't even work SVN right.
<mrvn> real idiots mess up git. :)
thieusoai has joined #ocaml
smimou has joined #ocaml
Alpounet has quit ["``Do what you think you can't do.'' -- E. Roosevelt"]
eldragon has left #ocaml []
_zack has quit ["Leaving."]
julm_ is now known as julm
thrasibule has quit [Read error: 110 (Connection timed out)]
<thelema> git is easy to mess up
<Camarade_Tux> yeah ^^
<orbitz> git is weird
ski_ has quit ["Lost terminal"]
thieusoai has quit ["leaving"]
ben_m has joined #ocaml
<mrvn> If you don't mess it up git is verry usefull. But that is a big IF. :(
<Camarade_Tux> git would only need a git-oh-snap-revert-the-crap-I-ve-just-done command :)
munga_ has quit [Read error: 148 (No route to host)]
<mrvn> definetly
<mrvn> I can't count the number of times I've checked out a git again, diffed to my broken copy, took the usefull parts and then deleted the broken one.
<Camarade_Tux> I had to do that once (I don't code that often): I had pushed a commit, had -amend'ed it and then I wasn't able to push anymore
<ben_m> What OCaml tutorial or book (available for free online) do you people recommend? :)
<Camarade_Tux> which is to be expected but that was pretty annoying
<mrvn> ben_m: what is your prior knowledge?
<ben_m> mrvn: I have experience with Haskell, but I don't mind reading a book that's for beginners of functional programming.
<ben_m> Because I'm not that used to all the Haskell magic yet ;)
<mrvn> ocaml comes with a nice manual. If you have some feeling for functional programming in general then that might be enough.
ygrek has quit [Remote closed the connection]
<mrvn> http://caml.inria.fr/pub/docs/manual-ocaml/index.html if you don't have a local copy.
<flux> ben_m, apparently this one is decent: http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf . however its
<flux> but indeed, the documentation is worth a read
<ben_m> Manual looks nice, thanks :)
<flux> ..however its copyright status is unclear..
<thelema> the ocaml reference manual is a trove of information, but there's so many details in there, it's hard to absorb at once
<ben_m> I'll try not to print and sell it then.
<mrvn> But a really good reference while programming.
flux has quit [Remote closed the connection]
ben_m has left #ocaml []
flux has joined #ocaml
tmaedaZ is now known as tmaeda
Snark has quit ["Ex-Chat"]
slash_ has joined #ocaml
robocop has joined #ocaml
<robocop> hello
<robocop> what the complexity of String.sub ?
<mrvn> O(n)
<robocop> ok, thanks
<mrvn> it is basically just memcpy()
tmaeda is now known as tmaedaZ
Submarine has quit ["Leaving"]
tmaedaZ0 has joined #ocaml
tmaedaZ has quit [Read error: 145 (Connection timed out)]
gildor has quit ["leaving"]
robocop has quit ["Leaving."]
munga_ has joined #ocaml
ttamttam has quit ["Leaving."]
slash_ has quit [Client Quit]
_unK has joined #ocaml
julm_ has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
Yoric[DT] has quit ["Ex-Chat"]
julm has joined #ocaml