<
wieczyk>
00:54 < wieczyk> where is record update? 'x.field <- val' ?
<
wieczyk>
It is revisited syntax where 'x.field <- val' is 'x.field := val'
<
wieczyk>
01:13 < wieczyk> How to open MLast module?
<
wieczyk>
It is very very old camlp4 which is named today camlp5, current camlp4 does not have MLast module
netrino has quit [Quit: Ave!]
<
wieczyk>
(it is stupid that ocamlc does not tell he cannot find 'q_MLast.cmo')
emmanuelux has quit [Ping timeout: 252 seconds]
gnuvince has joined #ocaml
emmanuelux has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
ulfdoz_ is now known as ulfdoz
gnuvince has quit [Ping timeout: 246 seconds]
zolk3ri has quit [Quit: leaving]
<
thelema>
wieczyk: `open MLast` ?
<
thelema>
q_MLast.cmo would provide a module named "Q_MLast"
emmanuelux has quit [Read error: Connection reset by peer]
lamawithonel__ has quit [Ping timeout: 260 seconds]
gnuvince has joined #ocaml
diego_diego has joined #ocaml
testcoco` has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
slash^ has joined #ocaml
osa1 has quit [Remote host closed the connection]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
BiDOrD has joined #ocaml
edwin has joined #ocaml
Submarine has quit [Quit: Leaving]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
hto has quit [Client Quit]
hto has joined #ocaml
hto has quit [Client Quit]
sepp2k has joined #ocaml
eni has joined #ocaml
Kakadu has joined #ocaml
eni has quit [Ping timeout: 265 seconds]
hto has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
hto has quit [Quit: Lost terminal]
Yoric has joined #ocaml
Submarine has quit [Ping timeout: 265 seconds]
edwin has left #ocaml []
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Submarine has quit [Ping timeout: 265 seconds]
ankit9 has joined #ocaml
Submarine has joined #ocaml
Snark has joined #ocaml
eni has joined #ocaml
Submarine has quit [Ping timeout: 250 seconds]
err404 has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Hussaind has joined #ocaml
Hussaind has left #ocaml []
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
Sablier has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
ankit9 has joined #ocaml
avsm has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
<
wieczyk>
thelema: I have written error message and command line where q_MLast.cmo is included.
Submarine has quit [Ping timeout: 246 seconds]
thomasga has left #ocaml []
avsm has quit [Quit: Leaving.]
netrino has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
mfp has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
milosn has joined #ocaml
ankit9 has joined #ocaml
ankit9 has quit [Client Quit]
bzzbzz has quit [Quit: leaving]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
tmaedaZ has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
tmaedaZ has joined #ocaml
Submarine has quit [Ping timeout: 244 seconds]
justdit has quit [Ping timeout: 246 seconds]
patronus_ has quit [Read error: Connection reset by peer]
Haseo has quit [Ping timeout: 248 seconds]
nicoo has quit [Ping timeout: 248 seconds]
bacam has quit [Ping timeout: 248 seconds]
diml has quit [Ping timeout: 248 seconds]
companion_cube has quit [Ping timeout: 248 seconds]
mehdid has quit [Ping timeout: 265 seconds]
companion_cube has joined #ocaml
Qrntz_ has quit [Ping timeout: 265 seconds]
pollux has quit [Ping timeout: 265 seconds]
ztfw` has joined #ocaml
gildor has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
ztfw has quit [Ping timeout: 244 seconds]
Submarine has quit [Client Quit]
Qrntz_ has joined #ocaml
bacam has joined #ocaml
avsm has joined #ocaml
Haseo has joined #ocaml
patronus has joined #ocaml
diml has joined #ocaml
mehdid has joined #ocaml
pollux has joined #ocaml
gildor has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<
Qrntz>
camlcity's search
<
pippijn>
Qrntz: it doesn't find operators?
<
pippijn>
it needs quotes
osa1 has joined #ocaml
avsm has quit [Quit: Leaving.]
<
ssbr>
Qrntz: ack, wasn't paying attention. Thank you!
Yoric has quit [Ping timeout: 244 seconds]
Guest50988 is now known as `micro
<
Qrntz>
ssbr, you're welcome
<
mrvn>
What does libnss-db use /var/lib/misc for?
avsm has joined #ocaml
Submarine has quit [Ping timeout: 264 seconds]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
smerz has joined #ocaml
SanderM has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
diego_diego has quit [Quit: diego_diego]
asmanur has joined #ocaml
Cyanure has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
Cyanure has quit [Ping timeout: 252 seconds]
justdit has quit [Ping timeout: 246 seconds]
Cyanure has joined #ocaml
justdit has joined #ocaml
justdit has quit [Ping timeout: 245 seconds]
justdit has joined #ocaml
justdit has quit [Ping timeout: 245 seconds]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: No route to host]
hongboz has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
Snark has quit [Quit: Quitte]
Yoric has quit [Ping timeout: 264 seconds]
ztfw` is now known as ztfw
Yoric has joined #ocaml
Cyanure has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
sepp2k has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
sepp2k has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 252 seconds]
sepp2k has quit [Remote host closed the connection]
<
wieczyk>
let f pair@(x,y) = ...
<
wieczyk>
has some equivalence in Ocaml (it was in Haskell)
<
wieczyk>
something like let f (x,y) as pair
<
Qrntz>
let fst (x, _) = x
<
Qrntz>
if I understood you correctly (?)
SanderM has quit [Remote host closed the connection]
<
thizanne>
# let f ((x, y) as pair) = fst pair in f (3, 4);;
<
thizanne>
- : int = 3
<
thizanne>
wieczyk:
avsm has quit [Quit: Leaving.]
Kakadu has quit [Quit: Konversation terminated!]
mister_m has joined #ocaml
tactics_[home] has quit [Ping timeout: 246 seconds]
Sablier has quit [Quit: Kat]
eni has quit [Quit: .]
emmanuelux has joined #ocaml
slash^ has quit [Quit: Lost terminal]
Submarine has joined #ocaml
<
wieczyk>
thizanne: thanks
<
wieczyk>
Another question, can I update (by doing copy) one field of record, something like
<
wieczyk>
let r0 = { a = 1; b = 2 }
<
wieczyk>
let r1 = r0 { a = 3 }
<
thelema>
{r0 with b = 3}
err404 has quit [Quit: Ex-Chat]
<
wieczyk>
Ok, yet another question about ocaml
<
wieczyk>
When I read Pierce's book 'Types and programming languages' I have learn some ML-like language with record types with subtyping
<
wieczyk>
or maybe it was bad start of this question
<
wieczyk>
I have two record types
<
wieczyk>
type t = { labelA : int; labelB : int }
<
wieczyk>
type t' = { labelA : int; labelC : int }
<
wieczyk>
in different modules, say A and A'
<
wieczyk>
Now due to identical label, In files where both modules are included, I have to write
<
wieczyk>
...value.A.labelA ...
<
wieczyk>
...otherValue.A'.labelA ...
<
wieczyk>
It is possible to use same label for both record types, currently Ocaml allows this but generates warning that it is ugly
Submarine has quit [Remote host closed the connection]
<
Drakken_>
wieczyk what's the warning?
Drakken_ is now known as Drakken
<
Drakken>
Oh, it must be that the first one is shadowed.
<
Drakken>
No, you can't use the same label for two types in the same scope.
<
Drakken>
one of the more tragic features of ML
wmeyer has joined #ocaml
<
thizanne>
wieczyk: if you want to do this in OCaml, you want to use objects
<
thizanne>
and you will get exactly what you desire