thieusoai has quit [Remote host closed the connection]
thieusoai has joined #ocaml
avsm has quit [Quit: Leaving.]
wormphlegm has joined #ocaml
_unK has quit [Remote host closed the connection]
boscop has quit [Ping timeout: 252 seconds]
boscop has joined #ocaml
kriko has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
Associat0r has quit [Quit: Associat0r]
fraggle_ has quit [Ping timeout: 248 seconds]
Morphous has quit [Ping timeout: 265 seconds]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 240 seconds]
jimmyb2187 has quit [Ping timeout: 240 seconds]
Morphous has joined #ocaml
jimmyb2187 has joined #ocaml
maskd has quit [Quit: leaving]
bzzbzz has quit [Quit: leaving]
mbishop has quit [Ping timeout: 245 seconds]
mbishop has joined #ocaml
komar_ has joined #ocaml
LionMadeOfLions has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
segmond has quit [Read error: Operation timed out]
wormphlegm has quit [Quit: wormphlegm]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 268 seconds]
Shoggoth has joined #ocaml
myu2 has joined #ocaml
fraggle_ has joined #ocaml
avsm has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
drk-sd has joined #ocaml
pimmhogeling has joined #ocaml
fraggle_ has joined #ocaml
Narrenschiff has joined #ocaml
lvillani has joined #ocaml
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
kriko has joined #ocaml
<kriko>
morning
<adrien>
morning =)
fraggle_ has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
ikaros has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
Associat0r has joined #ocaml
fraggle_ has joined #ocaml
ttamttam has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
sepp2k has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
avsm has quit [Quit: Leaving.]
myu2 has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
gareth_0 has joined #ocaml
<gareth_0>
hi
sepp2k has quit [Quit: Leaving.]
<adrien>
hi gareth_0
sepp2k has joined #ocaml
fraggle_ has joined #ocaml
<gareth_0>
i am using camlp4, i have a "schema" defined in one file - this is defined via a syntax extension, and is turned into some ocaml data type when it is read, i wish to have "queries" in *other* files use that ocaml data read from the "schema"
<gareth_0>
is there an elegant way to solve this problem?
<gareth_0>
currently have the "queries" in the same file as the "schema" - below it, and when the schema is read it is safed in a ref that the queries then use
<gareth_0>
*saved
<eldragon>
hi guys, what's the recommendation for legacy ocaml programs, camlp4 or camlp5?
pimmhogeling has quit [Remote host closed the connection]
<adrien>
gareth_0: I don't know camlp* so I don't know if I'll be able to help you but you mean, xml schema? and which extension?
<adrien>
eldragon: what are you trying to do? current camlp4 won't work for older (pre 3.10) ocaml versions
<gareth_0>
it is basically a database schema, the extension is a WIP
<gareth_0>
adrien, ^
<adrien>
what is the problem? you can access it like any other value with ModuleName.value?
sepp2k has quit [Quit: Leaving.]
fraggle_ has quit [Remote host closed the connection]
<eldragon>
adrien, camlp4 is inside of 3.11.2, but what's preferable? camlp4 or camlp5?
<adrien>
I don't think there's a clear answer
<adrien>
and you mentionned "legacy" programs, can you expand on that a bit?
maskd has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
fraggle_ has joined #ocaml
kriko has quit [Remote host closed the connection]
<gareth_0>
adrien, the problem is that I want to access the value at compile time
<gareth_0>
i.e. they queries are checked at compile time, and they depend on the schema, which is also checked at compile time - in a different file
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
arquebus has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
struktured has joined #ocaml
derdon has joined #ocaml
arquebus has quit [Remote host closed the connection]
<gareth_0>
anyone?
<gareth_0>
hi new people :)
lvillani has quit [Ping timeout: 248 seconds]
ulfdoz has joined #ocaml
<mfp>
gareth_0: you could serialize the schema computed by your extension to a file and read it when preprocessing different files
<mfp>
or piggyback OCaml's type system and generate code that will only typecheck if the queries match the schema
<gareth_0>
mfp, I have considered the first way you suggest, I guess I was looking for a simpler way though
<gareth_0>
the second way would be nice if I could get it right, but is more complex
<gareth_0>
I have seen something similar done
alpounet has joined #ocaml
bluestorm has joined #ocaml
kriko has joined #ocaml
<kriko>
how can I invoke int list -> int -> int list list inside List.map?
<kriko>
problem is that int parameter, which I don't know how to pass inside List.map
adrien has quit [Quit: leaving]
adrien has joined #ocaml
onigiri_ has quit [Quit: onigiri_]
myu2 has joined #ocaml
<kriko>
join dolphin
bluestorm has quit [Remote host closed the connection]
_unK has joined #ocaml
Narrenschiff has quit [Quit: Narrenschiff]
bluestorm has joined #ocaml
Narrenschiff has joined #ocaml
myu2 has quit [Remote host closed the connection]
M| has quit [Ping timeout: 246 seconds]
M| has joined #ocaml
f[x] has joined #ocaml
krankkatze has joined #ocaml
olegfink has joined #ocaml
M| has quit [Ping timeout: 245 seconds]
M| has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
<orbitz>
kriko: your question does not make sense
<orbitz>
kriko: the first paraemter to map is a value of type ('a -> 'b)
f[x] has joined #ocaml
joewilliams_away is now known as joewilliams
bluestorm has quit [Ping timeout: 260 seconds]
bluestorm has joined #ocaml
gareth_0 has quit [Ping timeout: 246 seconds]
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
joewilliams is now known as joewilliams_away
ulfdoz_ has joined #ocaml
bluestorm has quit [Ping timeout: 264 seconds]
_unK has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Ping timeout: 264 seconds]
_unK has joined #ocaml
segmond has joined #ocaml
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
bluestorm has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
_unK has quit [Remote host closed the connection]
dark has quit [Ping timeout: 265 seconds]
struktured has quit [Ping timeout: 246 seconds]
onigiri_ has joined #ocaml
dark has joined #ocaml
struktured has joined #ocaml
wormphlegm has joined #ocaml
onigiri_ has quit [Quit: onigiri_]
lvillani has joined #ocaml
thieusoai has quit [Remote host closed the connection]
enthymeme has joined #ocaml
jakedouglas has joined #ocaml
thieusoai has joined #ocaml
bluestorm has quit [Quit: Leaving]
bluestorm has joined #ocaml
dark has quit [Remote host closed the connection]
M| has quit [Ping timeout: 246 seconds]
ikaros has joined #ocaml
bluestorm has quit [Quit: Leaving]
_unK has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
myu2 has joined #ocaml
lvillani has quit [Quit: Leaving]
wormphlegm has quit [Quit: wormphlegm]
maskd has quit [Quit: leaving]
ttamttam has quit [Read error: Connection reset by peer]
pimmhogeling has joined #ocaml
krankkatze has quit [Remote host closed the connection]
Submarine has joined #ocaml
komar_ has quit [Ping timeout: 258 seconds]
Anarchos has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
komar_ has joined #ocaml
ikaros has joined #ocaml
ulfdoz has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Narrenschiff has quit [Quit: Narrenschiff]
pimmhogeling has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
myu2 has quit [Remote host closed the connection]
Anarchos has quit [Ping timeout: 246 seconds]
thrasibule has joined #ocaml
pimmhogeling has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
wormphlegm has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 276 seconds]
ftrvxmtrx has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
myu2 has joined #ocaml
ulfdoz has quit [Ping timeout: 258 seconds]
derdon has quit [Ping timeout: 246 seconds]
munga_ has joined #ocaml
sepp2k has quit [Quit: Leaving.]
ssamoon has quit [Ping timeout: 276 seconds]
valross has joined #ocaml
<emias>
n
<julm>
m
<drk-sd>
o
ikaros has quit [Quit: Leave the magic to Houdini]
enthymeme has joined #ocaml
munga_ has quit [Ping timeout: 276 seconds]
sshc has quit [Read error: Connection reset by peer]
onigiri_ has joined #ocaml
sshc has joined #ocaml
sshc has quit [Quit: leaving]
thrasibule has quit [Ping timeout: 246 seconds]
boscop has quit [Read error: Connection reset by peer]
smimou has quit [Ping timeout: 246 seconds]
M| has joined #ocaml
kriko has quit [Remote host closed the connection]