Alpounet has quit ["``Do what you think you can't do.'' -- E. Roosevelt"]
jeddhaberstro has quit [Read error: 60 (Operation timed out)]
Alpounet has joined #ocaml
jeddhaberstro has joined #ocaml
stoff has quit ["This computer has gone to sleep"]
slash_ has quit [Client Quit]
ikaros has quit ["Leave the magic to Houdini"]
tmaedaZ is now known as tmaeda
olegfink has quit [Read error: 104 (Connection reset by peer)]
olegfink has joined #ocaml
rwmjones has quit [Read error: 148 (No route to host)]
ski_ has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
Waleee has quit [Connection timed out]
c0m has quit [Read error: 110 (Connection timed out)]
ztfw` has joined #ocaml
ztfw has quit [Read error: 104 (Connection reset by peer)]
jeddhaberstro has quit [Client Quit]
willb has joined #ocaml
toast-opt has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
ygrek_ has joined #ocaml
animist has quit [Read error: 110 (Connection timed out)]
ski_ has quit ["Lost terminal"]
ski_ has joined #ocaml
ygrek_ has quit [Remote closed the connection]
albacker has joined #ocaml
_zack has joined #ocaml
ulfdoz has joined #ocaml
_zack has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
Submarine has joined #ocaml
ttamttam has joined #ocaml
ski_ has quit ["Lost terminal"]
fschwidom has joined #ocaml
fschwidom has quit [Remote closed the connection]
rwmjones_lptp has joined #ocaml
ski_ has joined #ocaml
micrun has quit [Read error: 60 (Operation timed out)]
Pimm has joined #ocaml
ski_ has quit ["Lost terminal"]
ski_ has joined #ocaml
Submarine has quit [Read error: 110 (Connection timed out)]
ttamttam has quit ["Leaving."]
Yoric has joined #ocaml
Yoric has quit [Client Quit]
nimred_ has quit [Client Quit]
nimred has joined #ocaml
Snark has joined #ocaml
Yoric[DT] has joined #ocaml
_unK has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
stoff has joined #ocaml
mal`` has quit ["Coyote finally caught me"]
rwmjones_lptp has quit ["This computer has gone to sleep"]
mal`` has joined #ocaml
stoff has quit ["This computer has gone to sleep"]
ikaros has joined #ocaml
rwmjones has joined #ocaml
toast-opt has quit []
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
rwmjones_lptp has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
Yoric has joined #ocaml
rwmjones_lptp has quit ["This computer has gone to sleep"]
albacker has quit [Read error: 113 (No route to host)]
ttamttam has joined #ocaml
albacker has joined #ocaml
Yoric has quit []
Yoric has joined #ocaml
ulfdoz has joined #ocaml
Yoric has left #ocaml []
Yoric has joined #ocaml
Yoric has left #ocaml []
ikaros has joined #ocaml
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
ttamttam has quit ["Leaving."]
nimred has quit ["leaving"]
nimred has joined #ocaml
slash_ has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
Yoric has joined #ocaml
Submarine has joined #ocaml
Waleee has joined #ocaml
sramsay has joined #ocaml
ski_ has quit ["Lost terminal"]
Pimm has quit [Read error: 104 (Connection reset by peer)]
ski_ has joined #ocaml
Yoric has quit []
gareth_000 has joined #ocaml
<gareth_000>
hi, i want a binding to the List cons function, but (::);; results in a syntax error. what does this mean?
<mfp>
gareth_000: :: is a constructor, not an operator
<thelema>
gareth_000: [let cons a b = a :: b]
<gareth_000>
hmm i see, thanks
* mfp
finally tamed dynamic loading
<mfp>
probably stepping on new ground, never saw these gotchas mentioned anywhere
<thelema>
mfp: dynamic typing in ocaml?
<mfp>
dynamic loading as in Dynlink
<thelema>
loading, aha.
<thelema>
yes, ocaml's dynamic loading seem pretty lightly used
<mfp>
I'd bet that nearly nobody is really using it in fact, it is very tricky
<mfp>
you have to avoid multiple symbol defs, ensure there's only one copy of the OCaml runtime with all the primitives, use the same compiler options everywhere, ...
<Camarade_Tux>
I actually want to use it really really soon
<Camarade_Tux>
w/win 13
<Camarade_Tux>
bah
<mfp>
Camarade_Tux: which platform?
<thelema>
mfp: windows 13
<Camarade_Tux>
mfp: linux first and then windows if possible
<Camarade_Tux>
thelema: ;-) and windows 13 is actually ##slackofftopic :P
<mfp>
Linux i386 and AMD64 will work, no idea about win
<Camarade_Tux>
I guess it should work since flexdll is precisely for that, haven't tried though
<thelema>
It should work in theory, but I've had problems with ocaml on win32
<Camarade_Tux>
I think we all had :P
Yoric has joined #ocaml
stoff has joined #ocaml
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
stoff has quit ["This computer has gone to sleep"]
<flux>
whee, finally my two home-servers are 64-bit, unison should now work even with a large number of files
_zack has quit ["Leaving."]
<Camarade_Tux>
how many files? :o
<flux>
I don't quite remember, maybe a few hundred thounsands
<flux>
it happens relatively easily when you have a few backups of a few linux machines..
tmaeda is now known as tmaedaZ
Pimm has joined #ocaml
tmaedaZ is now known as tmaeda
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
tmaeda is now known as tmaedaZ
<gareth_000>
can anyone tell me how come :: is a constructor not a function?
<gareth_000>
(or link me to something)
Amorphous has quit [Read error: 110 (Connection timed out)]
<flux>
well, it can be used for pattern matching
<flux>
perhaps it's the question "how come there are both constructors and functions"?
<gareth_000>
i would like the answer to that question, also ;)
Amorphous has joined #ocaml
<flux>
I imagine the answer would be in the white papers discussing the original Meta Language :)
<gareth_000>
iirc in SML constructors are functions..
<flux>
but functions aren't constructors..
<flux>
(I didn't know that, though, I haven't really looked at SML; I should, really)
<gareth_000>
:p
<Yoric>
gareth_000: there are extensions of OCaml to make have constructor functions.
<Yoric>
s/make have/make/
<flux>
I think there's been discussions about that feature (as a bug report), and apparently the reason is that it'd increase complexity
tmaedaZ is now known as tmaeda
<gareth_000>
i see
<Alpounet>
there's an explanation on the caml mailing list