jeddhaberstro has quit [Read error: 104 (Connection reset by peer)]
jeddhaberstro has joined #ocaml
davidm123 has joined #ocaml
jeddhaberstro has quit [Read error: 60 (Operation timed out)]
jeddhaberstro has joined #ocaml
jeddhaberstro has quit [Connection reset by peer]
jeddhaberstro has joined #ocaml
hsuh has joined #ocaml
jeddhaberstro has quit []
hsuh has quit [Remote closed the connection]
thelema has quit [Read error: 110 (Connection timed out)]
thelema has joined #ocaml
mgodshall has joined #ocaml
struktured_ has joined #ocaml
struktured has quit [Connection timed out]
Palace_Chan has joined #ocaml
JonDHarrop has joined #ocaml
<JonDHarrop>
hello
<det>
hi
mlh_ is now known as mlh
<Palace_Chan>
if in a module A i have : type vardecl = { vdecl_name : string; vdecl_ty : typ; vdecl_init : exp}, and i want to return a record of that type from another module (actually ocamlyacc) how can i do so ?
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
OChameau has joined #ocaml
seafood has joined #ocaml
rwmjones_ has quit ["Closed connection"]
Palace_Chan has quit [Client Quit]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
mfp has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
DRMacIver has quit [calvino.freenode.net irc.freenode.net]
r0bby has quit [calvino.freenode.net irc.freenode.net]
viimrles has quit [calvino.freenode.net irc.freenode.net]
ppsmimou has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
struktured has quit [calvino.freenode.net irc.freenode.net]
palomer has quit [calvino.freenode.net irc.freenode.net]
sporkmonger has quit [calvino.freenode.net irc.freenode.net]
snhmib has quit [calvino.freenode.net irc.freenode.net]
svenl has quit [calvino.freenode.net irc.freenode.net]
sbok has quit [calvino.freenode.net irc.freenode.net]
kilimanjaro has quit [calvino.freenode.net irc.freenode.net]
tab has quit [calvino.freenode.net irc.freenode.net]
mike_mcclurg has quit [calvino.freenode.net irc.freenode.net]
struk_atwork2 has quit [calvino.freenode.net irc.freenode.net]
thelema has quit [calvino.freenode.net irc.freenode.net]
jlouis has quit [calvino.freenode.net irc.freenode.net]
TaXules has quit [calvino.freenode.net irc.freenode.net]
jdev has quit [calvino.freenode.net irc.freenode.net]
filp has quit [calvino.freenode.net irc.freenode.net]
mlh has quit [calvino.freenode.net irc.freenode.net]
pango has quit [calvino.freenode.net irc.freenode.net]
Axioplase_ has quit [calvino.freenode.net irc.freenode.net]
smimram has quit [calvino.freenode.net irc.freenode.net]
OChameau has quit [calvino.freenode.net irc.freenode.net]
Jedai has quit [calvino.freenode.net irc.freenode.net]
Submarine has quit [calvino.freenode.net irc.freenode.net]
Demitar has quit [calvino.freenode.net irc.freenode.net]
batcoder-7 has quit [calvino.freenode.net irc.freenode.net]
petchema has quit [calvino.freenode.net irc.freenode.net]
xevz has quit [calvino.freenode.net irc.freenode.net]
bla has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
Asmadeus has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
maxote has quit [calvino.freenode.net irc.freenode.net]
JonDHarrop has quit [calvino.freenode.net irc.freenode.net]
Mr_Awesome has quit [calvino.freenode.net irc.freenode.net]
authentic has quit [calvino.freenode.net irc.freenode.net]
kelaouchi has quit [calvino.freenode.net irc.freenode.net]
rodge has quit [calvino.freenode.net irc.freenode.net]
kig__ has quit [calvino.freenode.net irc.freenode.net]
gildor has quit [calvino.freenode.net irc.freenode.net]
kg4qxk has quit [calvino.freenode.net irc.freenode.net]
fremo has quit [calvino.freenode.net irc.freenode.net]
olegfink has quit [calvino.freenode.net irc.freenode.net]
ulfdoz has quit [calvino.freenode.net irc.freenode.net]
Associat0r has quit [calvino.freenode.net irc.freenode.net]
olgen has quit [calvino.freenode.net irc.freenode.net]
lde has quit [calvino.freenode.net irc.freenode.net]
noj has quit [calvino.freenode.net irc.freenode.net]
mishok13 has quit [calvino.freenode.net irc.freenode.net]
seafood has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
haelix_ has quit [calvino.freenode.net irc.freenode.net]
bohanlon has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
munga has quit [calvino.freenode.net irc.freenode.net]
Hadaka has quit [calvino.freenode.net irc.freenode.net]
mwhitney has quit [calvino.freenode.net irc.freenode.net]
ertai[NP] has quit [calvino.freenode.net irc.freenode.net]
flux has quit [calvino.freenode.net irc.freenode.net]
acatout has quit [calvino.freenode.net irc.freenode.net]
guyzmo has quit [calvino.freenode.net irc.freenode.net]
seafood has joined #ocaml
OChameau has joined #ocaml
Jedai has joined #ocaml
Associat0r has joined #ocaml
olgen has joined #ocaml
filp has joined #ocaml
struktured has joined #ocaml
mishok13 has joined #ocaml
Submarine has joined #ocaml
JonDHarrop has joined #ocaml
thelema has joined #ocaml
mlh has joined #ocaml
batcoder-7 has joined #ocaml
Demitar has joined #ocaml
Amorphous has joined #ocaml
jlouis has joined #ocaml
snhmib has joined #ocaml
pattern has joined #ocaml
pango has joined #ocaml
lde has joined #ocaml
det has joined #ocaml
palomer has joined #ocaml
haelix_ has joined #ocaml
svenl has joined #ocaml
TaXules has joined #ocaml
sbok has joined #ocaml
jdev has joined #ocaml
mfp has joined #ocaml
Mr_Awesome has joined #ocaml
kilimanjaro has joined #ocaml
bohanlon has joined #ocaml
sporkmonger has joined #ocaml
rodge has joined #ocaml
Axioplase_ has joined #ocaml
authentic has joined #ocaml
smimram has joined #ocaml
rwmjones has joined #ocaml
cmeme has joined #ocaml
maxote has joined #ocaml
Smerdyakov has joined #ocaml
ozzloy has joined #ocaml
Asmadeus has joined #ocaml
petchema has joined #ocaml
xevz has joined #ocaml
bla has joined #ocaml
tab has joined #ocaml
mike_mcclurg has joined #ocaml
struk_atwork2 has joined #ocaml
tsuyoshi has joined #ocaml
r0bby has joined #ocaml
DRMacIver has joined #ocaml
viimrles has joined #ocaml
ppsmimou has joined #ocaml
kelaouchi has joined #ocaml
kig__ has joined #ocaml
kg4qxk has joined #ocaml
gildor has joined #ocaml
olegfink has joined #ocaml
fremo has joined #ocaml
mattam has joined #ocaml
munga has joined #ocaml
noj has joined #ocaml
Hadaka has joined #ocaml
guyzmo has joined #ocaml
acatout has joined #ocaml
mwhitney has joined #ocaml
flux has joined #ocaml
ertai[NP] has joined #ocaml
ulfdoz has joined #ocaml
Submarine has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
seafood_ has joined #ocaml
seafood has quit [Read error: 113 (No route to host)]
seafood_ has quit [Read error: 113 (No route to host)]
olgen has quit []
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
seafood has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
GustNG has joined #ocaml
longh has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood has quit [Client Quit]
Camarade_Tux has joined #ocaml
johnnowak has joined #ocaml
seafood has joined #ocaml
<thelema>
yor: As much as I'm not sure of unicode going into extlib, you did a good job of merging.
<thelema>
doh, he's gone.
seafood has quit []
<tsuyoshi>
I did a binding that covered everything in db4.4, save one call
<tsuyoshi>
but it's on a computer in my parents' garage in redmond
<flux>
:)
<Camarade_Tux>
tsuyoshi, are you saying that because of nyingen's question or haven't you seen it ?
det has quit [Remote closed the connection]
det has joined #ocaml
GustNG1 has joined #ocaml
GustNG has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
Vital303` has joined #ocaml
Snark has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
Asmadeus has quit [Remote closed the connection]
Asmadeus has joined #ocaml
mishok13 has quit [Connection timed out]
det has quit [Remote closed the connection]
det has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
filp has quit ["Bye"]
rwmjones is now known as rwmjones_afk
rwmjones has joined #ocaml
munga has quit ["Leaving"]
marmotine has joined #ocaml
hkBst has joined #ocaml
JonDHarrop has quit ["using sirc version 2.211+KSIRC/1.3.12"]
OChameau has quit ["Leaving"]
itewsh has joined #ocaml
longh has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
Yoric[DT] has joined #ocaml
psnively has joined #ocaml
psnively has quit [Client Quit]
psnively has joined #ocaml
<psnively>
Testing...
pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]
pango has joined #ocaml
* Yoric[DT]
saw psnively
<Camarade_Tux>
Yoric[DT], so, should we expect a Batteries release this week-end ?
<psnively>
Thanks!
<Camarade_Tux>
psnively, btw, testing what ?
<Yoric[DT]>
Camarade_Tux: hopefully
<Yoric[DT]>
(sorry, phone)
<psnively>
Colloquy has an annoying bug where sometimes input vanishes.
<Camarade_Tux>
Yoric[DT], sure, I should go back to my livecd creator anyway ;)
<Camarade_Tux>
well, ...should
<Camarade_Tux>
psnively, that's sure annoying...
myki has joined #ocaml
<psnively>
Ain't it?
<Camarade_Tux>
doesn't adium support irc ? or maybe you don't like it ?
<Camarade_Tux>
or you can also fire up the toplevel and use it as a client :p
<myki>
Hello. I'm wondering if it's simple way to define rec function that checks if it's argument (a' list) is a palindrome?
<Camarade_Tux>
myki, hmm, maybe you could build reverse the list in a new list and when you find the end of the first list, you compare the two lists
<myki>
Camarade_Tux: yeah, I've thought if I had List.end, similar to Haskels last, it would be quick, but I can't find it, and browsing throught the whole list on each iteration doesn't make much sense. Maybe it's an error in the exercise.
<Camarade_Tux>
myki, do you know the match construct ?
<flux>
it'll be horribly slow one simple rec function, but perhaps that's not the point
<Camarade_Tux>
...shouldn't it be 2n in both time and memory ?
<myki>
Camarade_Tux: nope, I started learning ocaml just today, but I'll stick with defining my own last function, thanks
<batcoder-7>
is the # is a requirement for calling a method ?
<batcoder-7>
is there any other things that can work ?
<Camarade_Tux>
myki, match is used for pattern-matching
<flux>
it _might_ be possible with magic and trickery (like stuff on the Obj-module), but # is really the only real way
<batcoder-7>
ok
<flux>
once you have a method though, you can wrap it to a function, of course
<flux>
but I'm not sure what is the point of the question
<batcoder-7>
flux: its just wierd using it like that
<Camarade_Tux>
you'd do something like 'match lst with | hd::tl -> (...) | [] -> print_endline "end"'
<flux>
batcoder-7, it's weird typing foo#bar ?
<flux>
it's just syntax, you'll get over it ;)
<batcoder-7>
hehehe
<batcoder-7>
flux: i've been using ocaml for a while just never the OOP aspect
<flux>
I suppose you could write a syntax extension to pick another character ;)
<Camarade_Tux>
batcoder-7, most people don't
<Camarade_Tux>
I guess the first encounter with ocaml's oo features is lablgtk for 95% of people ;)
<batcoder-7>
i know ocaml heavily relies on a functional style
<batcoder-7>
well not the language but people who use it
myki has quit ["leaving"]
<flux>
I don't mind the oo features
pango has quit [Remote closed the connection]
<flux>
infact I do make use them quite a lot
itewsh has quit ["KTHXBYE"]
<batcoder-7>
ocaml is such an interesting language
<Camarade_Tux>
of course, they're nice, I just don't use them so often
<flux>
the thing is, OO is an advanced subject in O'Caml
<flux>
so it may not be the first thing a developer is going to learn
<Camarade_Tux>
true, it quickly gets complicated
<batcoder-7>
i didn't find it that complicated
pango has joined #ocaml
<batcoder-7>
just standard OO as OO is
<flux>
batcoder-7, but then you didn't perhaps make use of type constraints etc
<Camarade_Tux>
batcoder-7, some features are really evolved
<batcoder-7>
ah
<batcoder-7>
to be honet i havent even used it yet, just reading about it now hehe
<flux>
and the compiler errors can be surprising
<flux>
like this: object (self) method a = self#b ^ "1" method b = 42 end
<flux>
one would perhaps hope that the error was at self#b, but it's at the b's definition..
<batcoder-7>
i see
<flux>
in any case, I don't think goba makes use of any advanced stuff
rwmjones has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux>
flux, does goba need good latencies for multi-player ?
rwmjones_afk has quit [Read error: 110 (Connection timed out)]
<flux>
I don't really know
<flux>
I haven't much tested it ;)
<flux>
it does however attempt to take latencies into account
rwmjones has joined #ocaml
<flux>
also it uses tcp, and tcp is sensitive to dropped packets
<flux>
so that can be a problem
Snark has quit ["Ex-Chat"]
<Camarade_Tux>
I just have very bad pings here and don't know if it will ever be sorted but I've already found the one I'll force to play (Asmadeus !)
<Yoric[DT]>
Camarade_Tux: when Batteries comes out, it will be an alpha version, of course.
<Yoric[DT]>
General question, as yesterday: does anyone around here have a GODI account?
* Yoric[DT]
is about to try and write a package for coThreads.
pantsd has joined #ocaml
<Camarade_Tux>
Yoric[DT], I was asking before I could make a livecd for ocaml by the end of the week and thought about making a version with batteries (the only thing that slows me down is irc ;p)
<Camarade_Tux>
but I don't know if it's necessary, I mean, does the installation of batteries change anything to the system ? (overwrites/renames/delete files)
<rwmjones>
we should so have something like Pod::Usage in ocaml ... it's such a great feature of perl ...
<Yoric[DT]>
Camarade_Tux: well, not besides its own files.
<Yoric[DT]>
rwmjones: what's that?
<Camarade_Tux>
Yoric[DT], ok, good, then no need for something separate
<rwmjones>
Yoric[DT], in perl you put the man page for the program into the script, and Pod::Usage allows you to add something that prints --help or man page from the command line
<Yoric[DT]>
rwmjones: ah, ok.
<Yoric[DT]>
Is that so useful?
* Camarade_Tux
finds it ugly, hard to write, hard to maintain
<rwmjones>
Yoric[DT], if you're writing command line tools, it's bloody useful
<Camarade_Tux>
rwmjones, can it be rather "sourced" from another file ?
itewsh has joined #ocaml
<rwmjones>
Camarade_Tux, I believe so yes
<rwmjones>
but mostly in perl you tend to write one-off scripts
<rwmjones>
OCaml could do with, with a camlp4 extension perhaps
<rwmjones>
s/with/this/
<Yoric[DT]>
Gasp, my camlp4 extension to auto-open Batteries works.
<Camarade_Tux>
actually in a separate file, I have nothing against that, just not in a .ml
<Yoric[DT]>
But it's *very* slow.
* Yoric[DT]
needs to find a way to just add something at the top of a file from Camlp4.
<rwmjones>
Camarade_Tux, literate programming though ... keep the documentation alongside the program
<Camarade_Tux>
Yoric[DT], but it's great still !
<Camarade_Tux>
rwmjones, but what do you get ? a 3000 lines string ?
<rwmjones>
Camarade_Tux, no no ... you do ./program --help and the program (which would be a #!/usr/bin/ocamlrun ocaml script) would read itself to find the documentation and print it
<Camarade_Tux>
Yoric[DT], when you find it, could you share it with me ? that would be really useful to me \o/
pantsd has quit [Connection timed out]
<Camarade_Tux>
rwmjones, I mean in the source file, I'm usually against writing long strings directly in the source because I think they reduce readability
<Yoric[DT]>
ertai[NP]: ping
<rwmjones>
Camarade_Tux, perl has a literate syntax for this ... you write
<Yoric[DT]>
Utilities for threads + a reimplementation of Thread et al. with processes.
<rwmjones>
Yoric[DT], ah .. first I've heard of it actually. No, but I'll put in a feature request. Is this something that will block batteries?
<Yoric[DT]>
And the promise of a distributed engine for a future version.
<Yoric[DT]>
No, not a block.
<batcoder-7>
i need to actually start reading documentation
<Yoric[DT]>
I was about to start adding it to Batteries when I realized that I should perhaps start by checking if it was packaged for the rpm world :)
itewsh has quit [Read error: 110 (Connection timed out)]
<rwmjones>
Yoric[DT], chotto matte ne?
itewsh has joined #ocaml
<Yoric[DT]>
:)
<Yoric[DT]>
(thank google for quick translations)
<jonafan>
sou desu ne
<Yoric[DT]>
cheers
<rwmjones>
hai
<rwmjones>
Yoric[DT], so you typed nothing at the 'file to patch' prompt?
<jonafan>
biiru nihon onegai shimasu
<rwmjones>
japanese beer sucks
<Yoric[DT]>
rwmjones: that was done automatically by GODI, I guess.
<jonafan>
watashi no tokoro de nanika nomimasu ka
<rwmjones>
Yoric[DT], basically that patch doesn't apply because GODI should have passed an option like -p0/-p1/-p2 to the patch command
<rwmjones>
it's another reason why patch sucks
<Yoric[DT]>
ok
* Yoric[DT]
wonders how to tell GODI to do that kind of thing.
<rwmjones>
I can't really say more w/o knowing more about GODI, but it's a bug in GODI so talk to them
<Yoric[DT]>
Ah, ok, it seems there's a naming conventions for patches going to subdirectories.
<Yoric[DT]>
Thanks for the help.
<rwmjones>
Yoric[DT], it's because patches can be generated at a different directory level from where they are applied
<Yoric[DT]>
mmhh...
<rwmjones>
so the -p option (which is crucial in all this) is used to tell the patch command what the difference in level was
<Yoric[DT]>
Except that's what I had already done.
<rwmjones>
the whole thing sucks greatly, but it's how it is
<Yoric[DT]>
Well.
<Yoric[DT]>
Yeah.
<Yoric[DT]>
Thanks.
* rwmjones
goes
rwmjones is now known as rwmjones_afk_
rwmjones_afk_ is now known as rwmjones_afk
<jonafan>
is there a way to inspect an object using the repl?
<jonafan>
some aspects of lablGtk2 are not documented as well as you'd want
<Yoric[DT]>
jonafan: I don't think there's a way yet.
<Camarade_Tux>
jonafan, what did you want to now, maybe we can help (though I doubt it)
<jonafan>
well how do you set a font for a text box?
<jonafan>
- : GText.view = <obj>
<jonafan>
x#misc#style?
<Camarade_Tux>
just give me some more time, even google takes 10s to load because of the incredibly bad pings I have
rwmjones_afk has quit ["Closed connection"]
<jonafan>
heh. i have satellite internet at my house
seafood has quit []
<jonafan>
pings over a second
<jonafan>
sucks
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<Camarade_Tux>
shared broadband, shared with people trying to run p2p apps behind two NATs and using internet for youtube and others =/
<Camarade_Tux>
had you seen font_selection ? I don't know if it can apply to only a text box though
Palace_Chan has joined #ocaml
<jonafan>
the dialog box?
<Camarade_Tux>
there's something else, I'm checking if it is doing the proper thing but lablgtk does not bind all gtk unfortunately
<Palace_Chan>
i've got a function: let rec rev_il_of_ast (cxt : cgcxt) : exp -> cgcxt = function
<Palace_Chan>
| _ -> failwith "whatever" which i have to fill out...but i dont understand the type...it takes cxt of type cgcxt ok..but then it has another parameter of type exp but it seems unnamed so how can i use it !?
jeddhaberstro has joined #ocaml
<Camarade_Tux>
jonafan, Gobject.property could be alright
<Camarade_Tux>
with the property being named "font-name" (not sure thoughÃ
<Camarade_Tux>
)
<jonafan>
property?
<Camarade_Tux>
not directly, it's a type in fact but there must be corresponding methods
<Camarade_Tux>
so it would be a property named "gtk-font-name" or "font-name"
<Camarade_Tux>
I'll let you find the method yourself though, I'm getting really tired
<jonafan>
ah hah
<jonafan>
x#misc#style#set_font
<jonafan>
now.... how does one get his hands on a Gdk.font ........
<Camarade_Tux>
congratulations ! that was definitely hidden
<Camarade_Tux>
lol ;p
<jonafan>
Gdk.Font.load takes a string
hkBst has quit [Read error: 104 (Connection reset by peer)]
<jonafan>
takes a string and returns an exception
hkBst has joined #ocaml
<Camarade_Tux>
jonafan, gtk apps are actually quite annoying with font names
<jonafan>
it seems so
<Camarade_Tux>
you'd better dump the font availables to know how they look like (with dashes between names ?)
<gildor>
jonafan, Camarade_Tux: you should use pango