flux changed the topic of #ocaml to: Yes, inria.fr is back up! | Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0beta1 available from http://caml.inria.fr/pub/distrib/ocaml-3.11/ | Or grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html
TypedLambda has quit []
jonafan_ has joined #ocaml
jonafan has quit [Read error: 145 (Connection timed out)]
Camarade_Tux has quit ["Leaving"]
alexyk has joined #ocaml
jlouis has quit ["Leaving"]
alexyk has quit []
struktured_ has quit [Read error: 60 (Operation timed out)]
threeve has joined #ocaml
struktured_ has joined #ocaml
struktured_ is now known as struktured
hsuh has quit [Remote closed the connection]
netx has quit ["Leaving"]
ulfdoz has quit [Read error: 113 (No route to host)]
seafood has quit [Read error: 60 (Operation timed out)]
seafood has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
johnnowak has quit []
<det> flux, Godi easily dwarfs debian packaged one
<det> I wonder if there are any debian packaged ones that arent in godi at all
jeddhaberstro has quit []
Axle has joined #ocaml
cmeme has quit [Read error: 60 (Operation timed out)]
netx has joined #ocaml
|Jedai| has quit [Success]
Jedai has joined #ocaml
apples` has quit [Read error: 110 (Connection timed out)]
seafood has quit []
seafood has joined #ocaml
seafood has quit []
seafood has joined #ocaml
<yziquel> hi. is there any documentation on the internals of the parsing and typing system of the ocaml compiler? (aside from the code itself...)
vbmithr_ has quit [kornbluth.freenode.net irc.freenode.net]
rwmjones has quit [kornbluth.freenode.net irc.freenode.net]
vbmithr has joined #ocaml
seafood has quit []
rwmjones has joined #ocaml
threeve has quit []
<yziquel> what's the difference between camlp4 and camlp5?
struktured has quit [Read error: 110 (Connection timed out)]
struktured has joined #ocaml
jdev has quit [Read error: 104 (Connection reset by peer)]
jdev has joined #ocaml
struktured has quit [Read error: 104 (Connection reset by peer)]
<det> Any idea why the Debian package for camlzip uses "zip" for the package name in ocamlfind, whereas GODI installed uses "camlzip" ?
<det> Also, debian package of lablgtk2 links in gtkInit.cmx for native code whereas the debian package doesnt :/
<det> I see :/
<det> wow, GODI and debian META packages vary greatly
Yoric[DT] has joined #ocaml
pango has quit [Remote closed the connection]
<flux> det, well, there appears to be many packages godi doesn't have but debian has
<flux> I just pulled the list and tried a few at random: vorbis, soundtouch, reins, xmlplaylist, sha, yaml, gdome2, dtools, mad, portaudio..
<flux> (well, not random, a bit assisted by my memory..)
<flux> actually I'm talking about ubuntu but I expect these packages originate from debian
<det> ahh, ok
<det> What is the usual way to install packages from the command line with GODI ?
<det> godi_wish -build XXX
<det> godi_perform -wishes
<det> that ?
<flux> I guess, although I didn't know there was godi_wish separately
<det> oh, can I just call godi_perform by itself ?
<det> godi_perform -build XXX, I guess, that is easier
Yoric[DT] has quit ["Ex-Chat"]
<flux> actually I use godi_console :)
<flux> its command line interface implements all those too
<flux> I wonder if there's too much overlap among godi tools..
netx has left #ocaml []
mishok13 has joined #ocaml
rby has joined #ocaml
Axle has left #ocaml []
_zack has joined #ocaml
Submarine has quit ["Leaving"]
yziquel has quit [Read error: 104 (Connection reset by peer)]
rby has quit [Read error: 113 (No route to host)]
filp has joined #ocaml
seafood has joined #ocaml
seafood has quit []
pango has joined #ocaml
_zack has quit [Read error: 113 (No route to host)]
rwmjones_ has joined #ocaml
_zack has joined #ocaml
mehdid has joined #ocaml
velco_ has joined #ocaml
velco has quit [Nick collision from services.]
velco has joined #ocaml
velco has quit [Nick collision from services.]
velco has joined #ocaml
rby has joined #ocaml
velco has quit [Remote closed the connection]
velco_ has quit [Client Quit]
velco has joined #ocaml
damg has joined #ocaml
Kerris0 has joined #ocaml
mehdid has quit ["leaving"]
mehdid has joined #ocaml
mehdid has quit [Client Quit]
ulfdoz has joined #ocaml
mehdid has joined #ocaml
mehdid has quit [Client Quit]
mehdid has joined #ocaml
Yoric[DT] has joined #ocaml
hkBst has joined #ocaml
jeddhaberstro has joined #ocaml
rwmjones_ has quit ["Closed connection"]
bering has joined #ocaml
jeddhaberstro has quit []
seafood has joined #ocaml
seafood has quit []
seafood has joined #ocaml
seafood has quit []
seafood has joined #ocaml
seafood has quit [Client Quit]
det has quit [Remote closed the connection]
bering has quit ["Leaving"]
det has joined #ocaml
marmotine has joined #ocaml
Associat0r has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
Snark has joined #ocaml
tp76 has joined #ocaml
yziquel has joined #ocaml
<yziquel> hi. i'm trying to use camlp4 in a toplevel, and i'm having trouble loading the Grammar module. Where should i find it? See paste at http://paste.lisp.org/display/69812
Associ8or has joined #ocaml
Associ8or has quit [Remote closed the connection]
snhmib has joined #ocaml
<yziquel> anyone knows where to find the module Grammar? According to http://pauillac.inria.fr/camlp4/tutorial/tutorial007.html#c:tutext it should be in camlp4o.cma, but i cannot find it there...
Associat0r has quit []
<Yoric[DT]> iirc, that's old-school Camlp4.
<Yoric[DT]> Now called Camlp5.
Associat0r has joined #ocaml
<yziquel> Humm... Tried the same thing with camlp5, it didn't seem to work. Where do I get information about new-school camlp5?
<yziquel> Or another way to put it: what should i #require with findlib to get the Grammar module?
tomh has joined #ocaml
Associat0r has quit []
Associat0r has joined #ocaml
<Yoric[DT]> Just for the sake of vocabulary: Camlp5 is old-school Camlp4, kept alive by a splinter cell of Inria.
<Yoric[DT]> Camlp4 is new-school Camlp4.
<Yoric[DT]> (and I haven't used old-school Camlp4, so I can't really help)
<yziquel> Yoric[DT]: ok, but you may know more about the new-school Camlp4. The documentation on the website doesn't to fit my experience... Is the new-school camlp4 documented?
<Yoric[DT]> I don't remember ever using something called [Grammar] in new-school Camlp4.
<Yoric[DT]> There's a nice tutorial on Camlp4 in ocaml-tutorial.org, though.
<Yoric[DT]> iirc
Spiwack has joined #ocaml
<Yoric[DT]> Yep.
alexyk has joined #ocaml
alexyk has quit []
Kerris0 has quit [Read error: 113 (No route to host)]
yziquel has quit [Read error: 110 (Connection timed out)]
yziquel has joined #ocaml
yziquel has quit ["Leaving"]
|Jedai| has joined #ocaml
love-pingoo has joined #ocaml
alexyk has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
tp76 has quit ["ERC Version 5.2 (IRC client for Emacs)"]
alexyk has quit []
Yoric[DT] has quit ["Ex-Chat"]
<mfp> oh another surprise from the batteries included team > http://www.reddit.com/r/programming/comments/7brdw/online_help_in_the_ocaml_toplevel_repl/
<mfp> gotta ask Yoric[DT] if he's hiding something else when he comes back :)
<flux> in any case, I'd opt for #intro instead of #help for that long text :)
<flux> but in any case, quite nice
Camarade_Tux has joined #ocaml
ozzloy has quit [Remote closed the connection]
ozzloy_ has joined #ocaml
willb has joined #ocaml
ozzloy_ has quit [Remote closed the connection]
ozzloy has joined #ocaml
damg has quit [Remote closed the connection]
ozzloy has quit [Remote closed the connection]
ozzloy has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Client Quit]
alexyk has joined #ocaml
pango has quit [Remote closed the connection]
alexyk has quit []
rwmjones_ has joined #ocaml
filp has quit ["Bye"]
mishok13 has quit [Read error: 145 (Connection timed out)]
tp76 has joined #ocaml
GustNG has joined #ocaml
rby has quit [Read error: 110 (Connection timed out)]
GustNG1 has quit [Read error: 60 (Operation timed out)]
velco has quit ["Went wasting time elsewhere ..."]
rwmjones_ has quit ["Closed connection"]
Associat0r has quit []
sporkmonger has joined #ocaml
alexyk has joined #ocaml
velco has joined #ocaml
vixey has joined #ocaml
Axle has joined #ocaml
_zack has quit ["Leaving."]
Yoric[DT] has joined #ocaml
seafood has joined #ocaml
Spiwack has quit [Remote closed the connection]
<alexyk> this paste works fine in toplevel but complains about not being able to generalize types in ocamlc: http://codepad.org/4Qgx1VeF -- why?
rby has joined #ocaml
jonafan_ is now known as jonafan
<flux> you can't compile '_a -types
<flux> it's called the value restriction
<flux> standard workaround: let pairset_map_list a = set_map_list PairSet.fold a
<flux> afaik F# has the same thing
Axle has left #ocaml []
Submarine has joined #ocaml
<flux> btw, you can for example do this: module Set'(Set : Set.S) = struct include Set let to_list_with f s = fold (fun e r -> (f e)::r) s [] end module Set = Set'(Set.Make(OrderedPair))
<flux> not sure if that's the best way to go, though
<flux> but can be decent
mishok13 has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
alexyk has quit []
sporkmonger has quit []
sporkmonger has joined #ocaml
sporkmonger has quit [Client Quit]
<flux> right, you had the workaround there too
<flux> (although you had gone one argument further)
jlouis has joined #ocaml
seafood has quit []
<Yoric[DT]> rwmjones: ping
jeremiah has joined #ocaml
sporkmonger has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
tp76 has quit ["ERC Version 5.2 (IRC client for Emacs)"]
TypedLambda has joined #ocaml
<flux> hmm.. isn't it a bug, that for example the calendar package in godi installs a bunch of .cmi-files, when you only use calendarLib.cmi?
<flux> which leads to problems when you actually try to use them: it compiles fine, but linking breaks
<flux> I think I've seen the same issue with sexplib once, perhaps it's been fixed since
Amorphous has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
<hcarty> flux: I haven't had any trouble with the calendar package in godi through findlib
<hcarty> But I have noticed that it "pollutes" the ocamlbrowser interface somewhat
<flux> hcarty, so what happend when you enter #require "calendar";; module T = Time_Zone in the toplevel?
<hcarty> Reference to undefined global `Time_Zone'
svenl has quit [Remote closed the connection]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
<hcarty> flux: module T = CalendarLib.Time_Zone;; works as expected though
<flux> hcarty, yes
<flux> hcarty, I happened to have old code around that didn't use CalendarLib yet..
<hcarty> flux: That's how it is supposed to work, as I understand it
<flux> hcarty, isn't it supposed to say Unbound value instead?
<flux> won't things fail if I were to have another time_Zone.ml around?
<flux> and if they do, what's the point in having a packed module?
<hcarty> flux: Ah, I see what you mean
<hcarty> I'm not sure about that
svenl has joined #ocaml
Amorphous has joined #ocaml
alexyk has joined #ocaml
sporkmonger has quit []
<flux> but, off to sleep
<flux> good night
<alexyk> flux: thanks for advice! g'night
jeremiah has joined #ocaml
alexyk_ has joined #ocaml
alexyk has quit [Read error: 54 (Connection reset by peer)]
sporkmonger has joined #ocaml
alexyk has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
mishok13 has quit [Connection timed out]
thelema has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has joined #ocaml
alexyk__ has joined #ocaml
alexyk has quit [Read error: 104 (Connection reset by peer)]
Snark has quit ["Ex-Chat"]
alexyk has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
<Yoric[DT]> Well, we're starting to be ready for a new alpha release of Batteries.
alexyk__ has quit [Read error: 110 (Connection timed out)]
<Kerris4> Yoric[DT]: Nice!
Submarine has quit [Remote closed the connection]
alexyk_ has joined #ocaml
rby has quit ["Lost terminal"]
marmotine has quit ["mv marmotine Laurie"]
GustNG1 has joined #ocaml
alexyk__ has joined #ocaml
GustNG1 has quit [Read error: 104 (Connection reset by peer)]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
alexyk has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has quit [Read error: 60 (Operation timed out)]
yziquel has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
GustNG has quit [Read error: 60 (Operation timed out)]
alexyk has joined #ocaml
alexyk__ has quit [Read error: 54 (Connection reset by peer)]
jeddhaberstro has joined #ocaml
alexyk_ has joined #ocaml
alexyk has quit [Read error: 104 (Connection reset by peer)]
alexyk has joined #ocaml
hkBst has quit [Remote closed the connection]
jeremiah has joined #ocaml
alexyk__ has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has quit ["Leaving"]
Yoric[DT] has quit ["Ex-Chat"]
alexyk has quit [Read error: 104 (Connection reset by peer)]
alexyk has joined #ocaml
sporkmonger has quit []
alexyk_ has joined #ocaml
alexyk__ has quit [Read error: 104 (Connection reset by peer)]
pango has joined #ocaml
jlouis has quit [Remote closed the connection]
jlouis has joined #ocaml
alexyk__ has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has joined #ocaml
alexyk__ has quit [Read error: 104 (Connection reset by peer)]
alexyk__ has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
velco has quit ["Ex-Chat"]
yziquel has quit [Remote closed the connection]
alexyk__ has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has joined #ocaml
alexyk__ has joined #ocaml
alexyk has quit [Read error: 110 (Connection timed out)]
thelema has joined #ocaml
alexyk has joined #ocaml
alexyk_ has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has joined #ocaml
alexyk has quit [Read error: 104 (Connection reset by peer)]
alexyk has joined #ocaml
mbacarella has joined #ocaml
alexyk__ has quit [Read error: 104 (Connection reset by peer)]
alexyk_ has quit [Read error: 110 (Connection timed out)]
struktured has joined #ocaml
alexyk has quit [kornbluth.freenode.net irc.freenode.net]
Amorphous has quit [kornbluth.freenode.net irc.freenode.net]
vixey has quit [kornbluth.freenode.net irc.freenode.net]
willb has quit [kornbluth.freenode.net irc.freenode.net]
sbok has quit [kornbluth.freenode.net irc.freenode.net]
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
xevz has quit [kornbluth.freenode.net irc.freenode.net]
mfp has quit [kornbluth.freenode.net irc.freenode.net]
alexyk has joined #ocaml
Amorphous has joined #ocaml
vixey has joined #ocaml
willb has joined #ocaml
ppsmimou has joined #ocaml
mfp has joined #ocaml
sbok has joined #ocaml
xevz has joined #ocaml