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
ikaros has quit [Quit: Leave the magic to Houdini]
drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]
ski has quit [Ping timeout: 245 seconds]
ski has joined #ocaml
nfrs has quit [Remote host closed the connection]
thrasibule has joined #ocaml
freerf has left #ocaml []
fschwidom has joined #ocaml
sshc has quit [Ping timeout: 248 seconds]
sshc has joined #ocaml
fschwidom has quit [Ping timeout: 240 seconds]
fschwidom has joined #ocaml
fschwidom has quit [Remote host closed the connection]
sshc has quit [Read error: Connection reset by peer]
sshc has joined #ocaml
fschwidom has joined #ocaml
fschwidom has quit [Remote host closed the connection]
jeddhaberstro has joined #ocaml
thrasibule has quit [Ping timeout: 276 seconds]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Submarine has quit [Quit: Leaving]
caligula__ has joined #ocaml
caligula_ has quit [Ping timeout: 246 seconds]
peddie has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
dark has joined #ocaml
enthymeme has joined #ocaml
oriba has joined #ocaml
neorab has quit [Quit: Ex-Chat]
LionMadeOfLions has quit [Ping timeout: 240 seconds]
oriba has quit [Quit: Verlassend]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
rovar has quit [Ping timeout: 265 seconds]
valross has joined #ocaml
ulfdoz has joined #ocaml
LionMadeOfLions has joined #ocaml
companion_cube has quit [Ping timeout: 258 seconds]
ulfdoz has quit [Ping timeout: 248 seconds]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Yoric has joined #ocaml
Associat0r has quit [Quit: Associat0r]
jakedouglas has quit [Quit: Leaving.]
companion_cube has joined #ocaml
dark has quit [Remote host closed the connection]
oc13 has joined #ocaml
ttamttam has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Yoric has quit [Quit: Yoric]
pimmhogeling has joined #ocaml
munga_ has joined #ocaml
sepp2k has joined #ocaml
ygrek has joined #ocaml
companion_cube has quit [Ping timeout: 252 seconds]
companion_cube has joined #ocaml
avsm has joined #ocaml
companion_cube has quit [Ping timeout: 252 seconds]
ftrvxmtrx has joined #ocaml
companion_cube has joined #ocaml
companion_cube has quit [Ping timeout: 260 seconds]
amadan has joined #ocaml
<amadan> Hi, can anyone help me with an error message? "This field value has type 'a A -> 'a A which is less general than 'b. 'b A -> 'c"
fraggle_laptop has quit [Ping timeout: 276 seconds]
drk-sd has joined #ocaml
<amadan> Anyone here? I tried asking last week, but no-one replied then either...
fraggle_laptop has joined #ocaml
Yoric has joined #ocaml
<drk-sd> amadan: what's up?
sepp2k has quit [Quit: Leaving.]
<amadan> Hey
<amadan> drk-sd i have a problem with an error message
<amadan> I think I pasted it in some 8 mins before you came in :)
<drk-sd> :D
<amadan> "This field value has type 'a A -> 'a A which is less general than 'b. 'b A -> 'c"
<drk-sd> can I see the code ?
<amadan> hmm, i can put my code on pastebin or something and let you see
<amadan> yup :) just a sec
<drk-sd> ok :)
companion_cube has joined #ocaml
<amadan> it's supposed to be a heterogeneous list
<amadan> i managed to do everything but the "tl" function
<amadan> but in there, "f = function x -> x" isn't accepted
<amadan> drk-sd: damn, laptop battery dying >.< if i disappear, i'm looking for another computer
<drk-sd> :D ok
<drk-sd> amadan: are you sure you want 'b u to be 'a. 'a VB.t -> 'b ?
<drk-sd> and not just 'a. 'a VB.t -> 'a ?
ikaros has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
<amadan> sorry, that's the rules. :(
<drk-sd> well I don't know then :-° you'll have to wait for someone with more experience than me
<amadan> obviously that's homework - we got the EXIST signature and said to implement the rest
<drk-sd> (oh ok)
<amadan> and i found the same sig in a message somewhere
<amadan> that let me know what it's supposed to be used for :)
<drk-sd> ok
<amadan> but i've been trying things for 15+ hours, and it's driving me crazy by now :)
<amadan> anyway, thanks for the help.
<amadan> or at least willingness to :D
<amadan> anyway, if it was just me, i'd say implementing a heterogeneous list is a useless idea in the first place... o.O
amadan has quit [Quit: amadan]
sepp2k has joined #ocaml
<drk-sd> tsss. he left.
munga_ has quit [Ping timeout: 245 seconds]
spearalot has joined #ocaml
peddie_ has joined #ocaml
peddie has quit [Ping timeout: 264 seconds]
pimmhogeling has joined #ocaml
fremo__ has quit [Read error: No route to host]
fremo__ has joined #ocaml
fschwidom has joined #ocaml
dark has joined #ocaml
<adrien> homework using 'a., that sounds a bit uncommon
ikaros has quit [Quit: Leave the magic to Houdini]
pimmhogeling has quit [Ping timeout: 245 seconds]
pimmhogeling has joined #ocaml
Associat0r has joined #ocaml
freerf has joined #ocaml
<adrien> it always makes me happy to know other people hate gobject-introspection too =)
oriba has joined #ocaml
th5 has joined #ocaml
freerf has quit [Quit: Leaving.]
thrasibule has joined #ocaml
_andre has joined #ocaml
ikaros has joined #ocaml
SEcki has joined #ocaml
drk-sd has quit [Quit: cours.]
derdon has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
jsk has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
jsk has joined #ocaml
dark has quit [Remote host closed the connection]
munga has quit [Remote host closed the connection]
M| has quit [Ping timeout: 246 seconds]
valross has quit [Ping timeout: 248 seconds]
munga_ has joined #ocaml
M| has joined #ocaml
oriba has quit [Quit: Verlassend]
M| has quit [Ping timeout: 240 seconds]
M| has joined #ocaml
fraggle_laptop has quit [Quit: Quitte]
boscop has joined #ocaml
fraggle_laptop has joined #ocaml
youenn has joined #ocaml
sepp2k has quit [Read error: Connection reset by peer]
joewilliams_away is now known as joewilliams
spearalot has quit [Quit: -arividerchi]
rgrig has joined #ocaml
grettke has joined #ocaml
ttamttam1 has joined #ocaml
ttamttam has quit [Ping timeout: 276 seconds]
ftrvxmtrx has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
jakedouglas has joined #ocaml
ftrvxmtrx has joined #ocaml
rgrig has quit [Quit: Leaving]
_unK has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
ikaros has joined #ocaml
ttamttam1 has quit [Quit: Leaving.]
Yoric has quit [Quit: Yoric]
ulfdoz has joined #ocaml
fraggle_laptop has quit [Ping timeout: 260 seconds]
ulfdoz_ has joined #ocaml
drk-sd has joined #ocaml
ulfdoz has quit [Ping timeout: 258 seconds]
thrasibule_ has joined #ocaml
pimmhogeling has joined #ocaml
thrasibule has quit [*.net *.split]
ski has quit [*.net *.split]
pimmhogeling has quit [Ping timeout: 240 seconds]
ski has joined #ocaml
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
thieusoai has quit [Quit: Leaving]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
avsm has joined #ocaml
rfg has joined #ocaml
rfg has quit [Client Quit]
ftrvxmtrx has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
sepp2k has joined #ocaml
munga_ has quit [Quit: Ex-Chat]
grettke has left #ocaml []
barismetin has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
Submarine has joined #ocaml
SEcki has quit [Remote host closed the connection]
oriba has joined #ocaml
ccasin has joined #ocaml
fraggle_ has joined #ocaml
neorab has joined #ocaml
enthymeme has joined #ocaml
_andre has quit [Quit: leaving]
_unK has quit [Read error: Connection reset by peer]
pad has joined #ocaml
_unK has joined #ocaml
oc13 has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Read error: Connection reset by peer]
derdon has quit [Ping timeout: 260 seconds]
ftrvxmtrx has joined #ocaml
Submarine has quit [Ping timeout: 276 seconds]
ygrek has quit [Ping timeout: 245 seconds]
ccasin has quit [Quit: Leaving]
magthe has joined #ocaml
<magthe> I'm trying to work out how to build an executable, run by ocamlrun, which uses a C library... I'd like to do this using only ocamlfind... is there an existing project that I could have a look at as an example?
ulfdoz has quit [Ping timeout: 246 seconds]
oriba has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 252 seconds]
Yoric has quit [Quit: Yoric]
sepp2k has quit [Quit: Leaving.]
jakedouglas has quit [Quit: Leaving.]
youenn has left #ocaml []
barismetin has quit [Quit: Leaving...]
magthe has quit [Quit: Ex-Chat]
pad has quit [Remote host closed the connection]
Dawrk-Side has joined #ocaml
drk-sd has quit [Read error: Operation timed out]
fschwidom has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 248 seconds]
boscop_ has quit []
jakedouglas has joined #ocaml
Amorphous has quit [Ping timeout: 245 seconds]
Dawrk-Side has quit [Quit: dodo]
_unK has quit [Remote host closed the connection]
Amorphous has joined #ocaml
ccasin has joined #ocaml