ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
mlh_ has quit [Client Quit]
Skal has quit [Remote closed the connection]
mlh_ has joined #ocaml
* ptolomy wonders how he ever lived without ExtLib.
shirogane has quit [Remote closed the connection]
threeve has joined #ocaml
<revision17_> extlib looks pretty cool
<revision17_> could make a project I'm working on much easier
threeve has quit [Read error: 110 (Connection timed out)]
<ptolomy> revision17_, I bet it would.
<ptolomy> I incorporated it into a small thing I was playing with, and I cut the lines of code is half.
<revision17_> the doubly linked list module will be especially helpful
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
threeve has joined #ocaml
pnou has quit [Read error: 104 (Connection reset by peer)]
pnou has joined #ocaml
pango has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
threeve has quit []
revision17_ has quit [Remote closed the connection]
UziMonkey has joined #ocaml
Revision17 has joined #ocaml
Snark has joined #ocaml
vodka-goo has joined #ocaml
Submarine has joined #ocaml
Skal has joined #ocaml
Snark has quit ["Leaving"]
pango has quit [Remote closed the connection]
Amorphous has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
ppsmimou has joined #ocaml
Submarine has quit ["Leaving"]
haelix has left #ocaml []
haelix has joined #ocaml
haelix has quit ["leaving"]
haelix has joined #ocaml
Amorphous has joined #ocaml
mlh_ has quit [Client Quit]
Submarine has joined #ocaml
vezenchio has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
UziMonkey has quit [Remote closed the connection]
haakonn has joined #ocaml
<haakonn> hm, newbie question. i'm compiling modules into .o files with ocamltop and want to make a toplevel with ocamlmktop. inside the toplevel, i can't seem to access any of the modules ("Reference to undefined global `Foo'") -- hints?
<Schmurtz> ocamltop or ocamlopt ?
<Schmurtz> and, in the ocamlmktop, you must give the .cmx files, not the .o files
<Schmurtz> did you try to create a custom toplevel with bytecode files instead of native ones ?
<haakonn> yes, that's it
<haakonn> i compile with ocamlopt, make toplevel with ocamlmktop module1.o module2.o -o mytop
<haakonn> uhm, strike the "that's it", that's not it ;)
<Schmurtz> try ocamlmktop module1.cmx module2.cmx -o mytop
<haakonn> "ocamlc: don't know what to do with pMap.cmx"
<Schmurtz> haakonn, ocamlmktop may not accept files compiled with ocamlopt
<Schmurtz> try to compile your files with ocamlc and run ocamlmktop on the resulting .cmo files
<haakonn> i guess i will, hm
<haakonn> how big are the efficiency gains by natively compiled ocaml code as opposed to bytecode in practice anyway?
<Schmurtz> I've no idea about that
<haakonn> ok, toplevel works fine with bytecode, thanks
<Schmurtz> about 2 or 3 times faster with nativlye compiled code
<haakonn> wow, that big
<Schmurtz> just try :)
* haakonn did
<haakonn> quite noticably faster, i have to say. felt like 2-3x
<haakonn> so i'd like to stay with native code and still be able to build a toplevel :) i'll figure out something
<Schmurtz> a virtual machine is just like a emulator
<Schmurtz> it must translate all byte code to native instructions
<haakonn> well some virtual machines are almost as fast as native code
<Schmurtz> yes, if there's an translation cache
<Schmurtz> and I don't know if the ocaml runtime implements one
<haakonn> probably not :)
__DL__ has joined #ocaml
<haakonn> cool
ramkrsna has joined #ocaml
menace has joined #ocaml
ChipsterOne has joined #ocaml
menace has quit []
gim_ has quit []
threeve has joined #ocaml
gim has joined #ocaml
gim has left #ocaml []
ramkrsna has quit [Read error: 104 (Connection reset by peer)]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
mikeX has joined #ocaml
ChipsterOne has quit []
karryall has joined #ocaml
batdog|gone is now known as batdog
mikeX has quit ["Leaving"]
batdog is now known as batdog|gone
batdog|gone is now known as batdog
ChipsterOne has joined #ocaml
ppsmimou has quit ["Leaving"]
Snark has joined #ocaml
Psion has joined #ocaml
Smerdyakov has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
Psion is now known as Smerdyakov
karryall has quit ["tcho"]
pango has quit ["bbl"]
pango has joined #ocaml
mrsolo has joined #ocaml
KrispyKringle has quit ["leaving"]
shirogane has joined #ocaml
batdog is now known as batdog|gone
batdog|gone is now known as batdog
batdog is now known as batdog|gone
batdog|gone is now known as batdog
KrispyKringle has joined #ocaml
batdog is now known as batdog|gone
batdog|gone is now known as batdog
<KrispyKringle> Oy, ok, how do I do something like "type 'a action = Shift ('a, 'b);;"?
<KrispyKringle> type 'a 'b action? Something like that, since that doesn't work?
<smimou> type ('a, 'b) action = Shift of ('a * 'b)
<KrispyKringle> hrm? aren't tuples (a, b)?
<mauke> the type syntax uses * (cross product)
<KrispyKringle> hey, that seems to work. Guess I oughtn't complain.
<KrispyKringle> ah
<KrispyKringle> Well. Thanks. :)
albertelegance has joined #ocaml
mercurylulu has quit [Connection reset by peer]
shirogane has quit [Read error: 104 (Connection reset by peer)]
Snark has quit ["Leaving"]
__DL__ has quit ["Bye Bye"]
vezenchio has quit ["Free Tibet with each Asian nation of a lesser or equal value"]
exa has joined #ocaml
SmerdyOffice has joined #ocaml
ion_bidon has joined #ocaml
<ion_bidon> hello, is there a function that makes b*b*b*.. n times ?
<mflux> I don't think so, but when you write it, the '*' should propably be a parameter to the function
<ion_bidon> yes thank you
vodka-goo has quit [Read error: 60 (Operation timed out)]
<SmerdyOffice> mflux, if you think of it like that, then List.fold_left already does that, more or less!
<SmerdyOffice> mflux, or I guess that's not right.
<SmerdyOffice> mflux, if you make a list of b's. :)
vodka-goo has joined #ocaml
<KrispyKringle> OK, I'm a little confused on something, syntactically. If I am defining a method in a class of type 'a -> 'b -> unit, say, and I just want to put a skeleton in now, can I not do something like "method foo a b : 'a -> 'b -> unit = ()" ?
<KrispyKringle> I mean, I can't. I get a type error (type unit but is used with type 'a -> 'b -> unit).
<KrispyKringle> oooh
<KrispyKringle> Wait, so you can't define functions with curried syntax, like function x -> y -> z?
<mauke> IIRC fun x y z
<KrispyKringle> oi. I gotta try to remember ocaml syntax. :P
<KrispyKringle> It's been a few years.
<KrispyKringle> yeah, taht works.
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
mikeX has joined #ocaml
<SmerdyOffice> KrispyKringle, you aren't supposed to repeat the argument types after the ':'. That gives you two copies of those arguments in the final type.
ion_bidon has quit ["leaving"]
Submarine has quit [Success]
ChipsterOne has quit []
smimou has quit ["?"]
threeve has quit []
mikeX has quit ["Leaving"]
batdog is now known as batdog|gone
<KrispyKringle> SmerdyOffice: yeah, i got it working. whew!
mlh_ has joined #ocaml
Skal has quit [Read error: 60 (Operation timed out)]
pango_ has joined #ocaml
Skal has joined #ocaml
pango has quit [Read error: 148 (No route to host)]
Skal has quit [Remote closed the connection]