kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
Pepe_ has quit [Read error: 60 (Operation timed out)]
willb has joined #ocaml
bluestorm has quit [Remote closed the connection]
Camarade_Tux has quit [Remote closed the connection]
Asmadeus has quit [Remote closed the connection]
ertai has joined #ocaml
slash_ has quit [Client Quit]
thrasibule has joined #ocaml
Pepe_ has joined #ocaml
mjs22 has joined #ocaml
tmaedaZ is now known as tmaeda
thrasibule has quit [Read error: 145 (Connection timed out)]
mjs22 has quit []
thrasibule has joined #ocaml
bohanlon has quit [""ugrade time""]
mjs22 has joined #ocaml
thrasibule_ has joined #ocaml
thrasibule has quit [Read error: 104 (Connection reset by peer)]
mjs22 has quit []
det has quit [Read error: 104 (Connection reset by peer)]
det has joined #ocaml
dyaso has joined #ocaml
r0bby has joined #ocaml
BiDOrD has quit [Read error: 60 (Operation timed out)]
BiDOrD has joined #ocaml
tmaeda is now known as tmaedaZ
thrasibule_ has quit [Read error: 110 (Connection timed out)]
BiDOrD has quit [Read error: 110 (Connection timed out)]
M| has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
dyaso has quit [Read error: 110 (Connection timed out)]
BiDOrD has quit [Read error: 60 (Operation timed out)]
BiDOrD has joined #ocaml
tmaedaZ is now known as tmaeda
f[x] has joined #ocaml
M| has joined #ocaml
Asmadeus has joined #ocaml
_zack has joined #ocaml
_zack has quit ["Leaving."]
_zack has joined #ocaml
Camarade_Tux has joined #ocaml
bluestorm has joined #ocaml
smimou has joined #ocaml
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
onigiri has quit [Client Quit]
tiz has joined #ocaml
f[x] has quit [Read error: 110 (Connection timed out)]
Narrenschiff has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
hkBst has joined #ocaml
tmaeda is now known as tmaedaZ
BiDOrD has quit [Remote closed the connection]
BiDOrD has joined #ocaml
rwmjones is now known as rwmjones--lunch
julm has quit [Remote closed the connection]
julm has joined #ocaml
rwmjones--lunch has quit [Read error: 113 (No route to host)]
_zack has quit ["Leaving."]
_andre has joined #ocaml
rwmjones--lunch has joined #ocaml
rwmjones--lunch is now known as rwmjones
rwmjones is now known as rwmjones__
rwmjones__ is now known as rwmjones
Asmadeus has quit [Read error: 60 (Operation timed out)]
Asmadeus has joined #ocaml
f[x] has joined #ocaml
julm has quit [Remote closed the connection]
julm has joined #ocaml
_zack has joined #ocaml
bombshelter13_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
willb has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
willb has joined #ocaml
Yoric[DT] has joined #ocaml
Snark has joined #ocaml
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
xevz has quit [Remote closed the connection]
xevz has joined #ocaml
julm has quit [Remote closed the connection]
julm has joined #ocaml
_zack has quit ["Leaving."]
Ched has quit [Read error: 113 (No route to host)]
Ched has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
onigiri has joined #ocaml
<flux> bluestorm, you're missing Unix from the META file :) (query.ml calls Unix.connect)
<flux> hmm, I _think_..
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
<flux> bluestorm, feature suggestion: would it be possible to use a custom type instead of integer for foreign keys? for example if table a has a primary key pk_a with type integer and table b has a foreign key fk_a on that key, the type of both pk_a and fk_a must be the same, but on the other hand they must not be mixed with other plain integers
<flux> of course, for debugging (and other?) purposes, there should be an explicit mechanism for converting integers to such types and the inverse
<flux> but from the macaque point of view those values could be opaque; they could be uuid's or integers, without it mattering at all
<flux> (because they would be accessed through joins and other values selected from other queries)
<thelema> module FK : sig type t end = struct type t = int done
<flux> thelema, if that works, then it's great, but I'm not so sure you can say that to macaque
<flux> or was that simply an example of how to construct such a type?
<flux> I think you can actually functorize it
* thelema hasn't used macaque
<thelema> I'm all in favor of "new" types - requiring (free) explicit casts to prevent mixing.
<flux> actually that would be one safety feature that PGOCaml doesn't provide
julm has quit [Read error: 113 (No route to host)]
julm has joined #ocaml
BiDOrD has quit [Remote closed the connection]
BiDOrD has joined #ocaml
julm_ has joined #ocaml
julm has quit [Nick collision from services.]
julm_ is now known as julm
rjack has joined #ocaml
lutter has quit ["Leaving."]
rjack has quit [Client Quit]
pveber has joined #ocaml
marteo has joined #ocaml
ulfdoz has joined #ocaml
Yoric[DT] has joined #ocaml
slash_ has joined #ocaml
BiDOrD has quit [Read error: 145 (Connection timed out)]
BiDOrD has joined #ocaml
Snark has quit ["Ex-Chat"]
Yoric[DT] has quit [Read error: 60 (Operation timed out)]
julm has quit [Read error: 113 (No route to host)]
Yoric[DT] has joined #ocaml
lazard has joined #ocaml
BiDOrD has quit [Remote closed the connection]
<lazard> is there an ocaml interpreter that uses readline or that supports history and tab completion?
<Camarade_Tux> lazard: you want rlwrap
<Camarade_Tux> it wraps in readlin
<Camarade_Tux> e
<lazard> thank you Camarade_Tux
<brendan> tuareg is also worth looking at if you use emacs
<flux> bluestorm, Note that a#?b still returns an option, so you can have something like a#?b#?c (a#?b is not an object) : you still need to do pattern matching on the option value yourself. - it's "you can't have something like"?
<flux> perhaps I should just do patches and provide url :)
Asmadeus has quit [Read error: 104 (Connection reset by peer)]
Asmadeus has joined #ocaml
marteo has quit [Read error: 145 (Connection timed out)]
dyaso has joined #ocaml
Ched has quit [wolfe.freenode.net irc.freenode.net]
mishok13 has quit [wolfe.freenode.net irc.freenode.net]
Demitar has quit [wolfe.freenode.net irc.freenode.net]
__marius__ has quit [wolfe.freenode.net irc.freenode.net]
f[x] has quit [Read error: 110 (Connection timed out)]
Ched has joined #ocaml
mishok13 has joined #ocaml
Demitar has joined #ocaml
__marius__ has joined #ocaml
__marius__ has quit [Remote closed the connection]
__marius__ has joined #ocaml
marteo has joined #ocaml
sramsay has joined #ocaml
dyaso has quit [Remote closed the connection]
lutter has joined #ocaml
Anarchos has joined #ocaml
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
jimmyb2187 has left #ocaml []
ulfdoz has quit [Connection timed out]
_andre has quit ["leaving"]
Yoric[DT] has quit ["Ex-Chat"]
Anarchos has quit ["Vision[0.9.7-H-090423]: i've been blurred!"]
sgnb` has quit [Read error: 54 (Connection reset by peer)]
sgnb` has joined #ocaml
Ched has quit [Remote closed the connection]
bombshelter13_ has quit []
Narrenschiff has quit []
Ched has joined #ocaml
karasuman has left #ocaml []
BiDOrD has joined #ocaml
willb has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
rgrig has joined #ocaml
<bluestorm> flux: thanks, I'll fix it
<bluestorm> (i've worked on sequence values today, it works, I'm currently adding the synchronisation check routine, a la Check.check_table)
sramsay has quit [Remote closed the connection]
slash_ has quit [Client Quit]
slash_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
smimou has quit ["bli"]
slash_ has quit [Client Quit]
slash_ has joined #ocaml
rgrig has quit ["Leaving"]