mcclurmc has quit [Remote host closed the connection]
<ddosia>
Seems that I con't match bounded variables in "match" clauses? Consider i have bounded "x" var, I want to write: let x = 1;; let list = [1;2;3];; match list with | [] -> [] | x :: tail -> tail | not_x :: tail -> list;;
<mrvn>
match list with y::tail when y = x ->
<ddosia>
ah, I am impatient, need to read more before asking
<ddosia>
so what happens with x in this clause? is this shadowed?
<mrvn>
no
<ddosia>
is it bounded to new value?
<mrvn>
no
<ddosia>
then why it works
<mrvn>
match list with <structure> when <condition> ->
<mrvn>
list must have <structure> and <condition> must be true
<nicoo>
mrvn: ddosia isn't asking about the syntax
talzeus has quit [Remote host closed the connection]
<ddosia>
I am talking about my example: x::tail and x is already bounded
csakatoku has joined #ocaml
<nicoo>
ddosia: s/bounded/bound/
<mrvn>
ddosia: in that case x is simply shaddowed by the new value
<ddosia>
thanks
<nicoo>
ddosia: And yes, the definition of x from the precious scope get shadowed.
<ddosia>
I see
mildfate has joined #ocaml
csakatok_ has joined #ocaml
hto has quit [Ping timeout: 246 seconds]
csakatoku has quit [Ping timeout: 264 seconds]
mfp has quit [Ping timeout: 246 seconds]
Xenasis has quit [Remote host closed the connection]
hto has joined #ocaml
mildfate has quit [Quit: Leaving.]
cesar_ has joined #ocaml
cesar_ is now known as Guest30760
Guest30760 has quit [Ping timeout: 245 seconds]
talzeus has joined #ocaml
wormphlegm has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
wormphlegm has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
Eyyub has joined #ocaml
boogie has quit [Remote host closed the connection]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
Xenasis has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
tulloch has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
ygrek_ has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest29291
yminsky has joined #ocaml
boogie has joined #ocaml
mcclurmc has joined #ocaml
Xenasis has quit [Remote host closed the connection]
Guest29291 has quit [Remote host closed the connection]
<ddosia>
What is propper way to say that my function accept only positive values?
oriba has joined #ocaml
yminsky has joined #ocaml
strobegen has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
oriba has quit [Quit: oriba]
mcclurmc has quit [Remote host closed the connection]
yminsky has quit [Quit: yminsky]
manizzle has quit [Read error: Operation timed out]
pango_ has quit [Ping timeout: 246 seconds]
mildfate has joined #ocaml
mcclurmc has joined #ocaml
mildfate1 has joined #ocaml
mildfate has quit [Read error: Connection reset by peer]
wormphlegm has joined #ocaml
pango_ has joined #ocaml
wormphlegm has quit [Ping timeout: 252 seconds]
mildfate has joined #ocaml
mildfate1 has quit [Read error: Connection reset by peer]
mildfate1 has joined #ocaml
mildfate has quit [Read error: Connection reset by peer]
mildfate1 has quit [Read error: Connection reset by peer]
mildfate has joined #ocaml
siddharthv has joined #ocaml
klltkr has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 248 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 246 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
Eyyub has joined #ocaml
mildfate has quit [Quit: Leaving.]
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 248 seconds]
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<LoldLoldelolt>
ddosia, it doesn't complain if you simply add another arm without the 'when' and make it raise an error.
<LoldLoldelolt>
Only positive values cannot be statically caught.
t0yv0 has quit [Ping timeout: 250 seconds]
<LoldLoldelolt>
It's only a 'warning' what you have here though, meaning the compiler cannot prove its exhaustiveness, because it isn't.
LoldLoldelolt is now known as JimmyTheKlingon
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
yacks has quit [Quit: Leaving]
Zeev has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
wormphlegm has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
wormphlegm has quit [Ping timeout: 272 seconds]
gour has joined #ocaml
ulfdoz has joined #ocaml
nikki93 has joined #ocaml
ulfdoz has quit [Read error: Connection reset by peer]
Neros has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
mcclurmc has joined #ocaml
ygrek_ has joined #ocaml
yezariaely has joined #ocaml
ThePawnBreak has joined #ocaml
wormphlegm has joined #ocaml
csakatok_ has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
csakatoku has quit [Ping timeout: 272 seconds]
wormphlegm has quit [Ping timeout: 264 seconds]
ThePawnBreak has quit [Ping timeout: 264 seconds]
<jle`>
\b 6
<jle`>
sorry
divyansr has joined #ocaml
ttamttam has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
jle` has quit [Quit: WeeChat 0.4.2]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
Neros has joined #ocaml
Zeev has quit [Read error: Connection reset by peer]
Zeev has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
csakatoku has joined #ocaml
Neros has joined #ocaml
sagotch has joined #ocaml
Drup has joined #ocaml
NoNNaN has joined #ocaml
kyrylo has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 245 seconds]
Neros has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
Eyyub has quit [Ping timeout: 272 seconds]
Neros has joined #ocaml
kyrylo has quit [Ping timeout: 246 seconds]
AltGr has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
kyrylo has joined #ocaml
cago has joined #ocaml
Eyyub has joined #ocaml
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
mika1 has joined #ocaml
Neros has joined #ocaml
divyansr has quit [Ping timeout: 250 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
kyrylo has quit [Ping timeout: 272 seconds]
Neros has quit [Ping timeout: 245 seconds]
csakatoku has quit [Ping timeout: 272 seconds]
djcoin has joined #ocaml
csakatoku has joined #ocaml
adrien_o1w is now known as adrien_oww
wormphlegm has joined #ocaml
boogie has quit [Remote host closed the connection]
anderse has joined #ocaml
nikki93 has quit [Remote host closed the connection]
mfp has joined #ocaml
wormphlegm has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
anderse has quit [Quit: anderse]
thomasga has joined #ocaml
Yoric has joined #ocaml
Neros has joined #ocaml
Simn has joined #ocaml
eikke has joined #ocaml
ocp has joined #ocaml
sagotch has quit [Quit: Page closed]
rand000 has joined #ocaml
tianon has quit [Ping timeout: 245 seconds]
Simn has quit [Ping timeout: 252 seconds]
Simn has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 248 seconds]
cricri_ has joined #ocaml
zpe has joined #ocaml
ivan\ has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
csakatoku has quit [Remote host closed the connection]
tulloch has joined #ocaml
csakatoku has joined #ocaml
skchrko has joined #ocaml
yacks has joined #ocaml
rand000 has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
tianon has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
csakatoku has quit [Ping timeout: 245 seconds]
nikki93 has quit [Ping timeout: 272 seconds]
Eyyub has joined #ocaml
csakatoku has joined #ocaml
jonludlam has joined #ocaml
<adrien_oww>
I am now sure I hate indent-based grammar
<adrien_oww>
especially with optional else clauses
cricri__ has joined #ocaml
cricri__ has quit [Remote host closed the connection]
cricri_ has quit [Ping timeout: 272 seconds]
Eyyub has quit [Ping timeout: 264 seconds]
chambart has joined #ocaml
Derander has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
Drup has quit [Ping timeout: 272 seconds]
Derander has joined #ocaml
sepp2k has joined #ocaml
Derander has quit [Ping timeout: 245 seconds]
chambart has quit [Read error: Operation timed out]
thomasga has joined #ocaml
avsm has joined #ocaml
Drup has joined #ocaml
Drup has quit [Remote host closed the connection]
Drup has joined #ocaml
wormphlegm has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
BitPuffin has joined #ocaml
wormphlegm has quit [Ping timeout: 272 seconds]
avsm has quit [Client Quit]
avsm has joined #ocaml
Derander has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Client Quit]
dsheets has joined #ocaml
BitPuffin has quit [Quit: WeeChat 0.4.2]
ollehar has quit [Ping timeout: 245 seconds]
BitPuffin has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
<bernardofpc>
hum, the message about "2" not being matched is bogus, though
<bernardofpc>
probably the compiler should warn about it not being able to check guarded constructors for completeness
BitPuffin has quit [Quit: WeeChat 0.4.2]
BitPuffin has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
ollehar has joined #ocaml
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
siddharthv has quit [Ping timeout: 245 seconds]
tulloch has quit [Ping timeout: 248 seconds]
tulloch has joined #ocaml
thelema has quit [Ping timeout: 260 seconds]
tianon has quit [Ping timeout: 246 seconds]
wormphlegm has joined #ocaml
talzeus has quit [Remote host closed the connection]
yminsky has joined #ocaml
thelema has joined #ocaml
Neros has joined #ocaml
wormphlegm has quit [Ping timeout: 246 seconds]
yminsky has quit [Quit: yminsky]
tianon has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
rand000 has joined #ocaml
w0rm_x has quit [Quit: if Φ Σ e : φ then Φ Σ τ' → σ' :: ∃]
csakatoku has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
oriba has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
Neros has joined #ocaml
w0rm_x has joined #ocaml
breakds has joined #ocaml
w0rm_x has left #ocaml []
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
sagotch has joined #ocaml
darkf has quit [Quit: Leaving]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
Xenasis has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
thelema has quit [Ping timeout: 248 seconds]
tulloch has quit [Read error: Connection reset by peer]
yezariaely has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 252 seconds]
wormphlegm has joined #ocaml
srcerer_ has joined #ocaml
tulloch has joined #ocaml
thelema has joined #ocaml
srcerer has quit [Ping timeout: 260 seconds]
yezariaely has joined #ocaml
wormphlegm has quit [Ping timeout: 245 seconds]
yezariaely has quit [Read error: Connection reset by peer]
jonludlam has joined #ocaml
avsm has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
mchqwerty has joined #ocaml
breakds has quit [Remote host closed the connection]
dsheets_ has joined #ocaml
yezariaely has joined #ocaml
rand000 has quit [Ping timeout: 240 seconds]
yezariaely has quit [Remote host closed the connection]
yezariaely1 has joined #ocaml
chambart has joined #ocaml
mcclurmc has joined #ocaml
yezariaely1 has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
yezariaely has joined #ocaml
rand000 has joined #ocaml
t0yv0 has joined #ocaml
BitPuffi1 has joined #ocaml
BitPuffin has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
wormphlegm has joined #ocaml
tulloch has quit [Ping timeout: 246 seconds]
BitPuffi1 is now known as BitPuffin
chambart has quit [Ping timeout: 241 seconds]
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
yezariaely has quit [Client Quit]
yezariaely has joined #ocaml
chambart has joined #ocaml
Kakadu has quit [Ping timeout: 250 seconds]
q66 has quit [Ping timeout: 246 seconds]
talzeus has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
q66 has joined #ocaml
Kakadu has joined #ocaml
yezariaely has quit [Remote host closed the connection]
yezariaely has joined #ocaml
Neros has joined #ocaml
Neros has quit [Read error: Connection reset by peer]
ygrek_ has joined #ocaml
talzeus has quit [Ping timeout: 246 seconds]
Neros has joined #ocaml
<nicoo>
bernardofpc: « However, some guarded clause may match this value. » sounds explicit enough
talzeus has joined #ocaml
josch_ has left #ocaml []
talzeus has quit [Read error: Connection reset by peer]
maufred has quit [Read error: Operation timed out]
maufred has joined #ocaml
talzeus has joined #ocaml
oriba has quit [Quit: oriba]
johnelse has joined #ocaml
johnelse has left #ocaml []
eikke has quit [Ping timeout: 272 seconds]
shinnya has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
<bernardofpc>
my bad, got jumbled in the middle
cago has left #ocaml []
<bernardofpc>
however, le "this pattern matching" sould not highlight the guarded clauses (might be difficult to do...), and also change """this pattern-matching is not exhaustive.""" to """this pattern-matching might not be exhaustive."""
<bernardofpc>
*should ; s/and also/or/
mcclurmc has joined #ocaml
gour has quit [Disconnected by services]
gour_ has joined #ocaml
sagotch has quit [Quit: Page closed]
rand000 has joined #ocaml
gour_ is now known as gour
yacks has quit [Ping timeout: 272 seconds]
skchrko has quit [Ping timeout: 272 seconds]
skchrko has joined #ocaml
aa47f8 has joined #ocaml
<whitequark>
is there some syntax extension which infers mapping between variants and numbers?
<whitequark>
type foo = A | B; let int_of_foo = function A -> 1 | B -> 2; let foo_of_int = function 1 -> A | 2 -> B
tulloch has joined #ocaml
tulloch has quit [Ping timeout: 252 seconds]
q66 has quit [Ping timeout: 246 seconds]
ollehar has quit [Quit: ollehar]
<adrien_oww>
whitequark: type_conv should be able to do it
mika1 has quit [Quit: Leaving.]
<whitequark>
adrien_oww: so you mean writing my own type_conv extension, right?
<adrien_oww>
or checking anything that already exists and is based on it
mcclurmc has quit [Remote host closed the connection]
Yoric has joined #ocaml
q66 has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
yezariaely has quit [Remote host closed the connection]
yezariaely has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ocp has quit [Ping timeout: 264 seconds]
ygrek_ has quit [Ping timeout: 245 seconds]
levi` is now known as levi
zpe has quit [Remote host closed the connection]
tulloch has joined #ocaml
<gour>
Kakadu: hiya, how is lablqt going on? does debian have complete qt5 packages now?
Neros has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
nikki93 has joined #ocaml
thomasga has joined #ocaml
Drup has quit [Ping timeout: 272 seconds]
q66 has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
aa47f8 has left #ocaml []
Neros has joined #ocaml
BitPuffin has quit [Quit: WeeChat 0.4.2]
<Kakadu>
No idea
sepp2k has quit [Quit: Konversation terminated!]
<Kakadu>
I was going to push lablqt to main opam repository when Qt5.2 wil be released(in December)
<Kakadu>
And I have a guy who make a little game with my lablqt
<adrien_oww>
you have to do it before the announce of ocaml-efl :P
<Kakadu>
And now I'm working on avoiding code generation during compilation phase and I you, gour, want to help I can provide some details
<gour>
Kakadu: good news...i still don't have enough time to play with it, but just to keep an eye on it
<gour>
it's also not certain what's going on with wxocaml...
* gour
is sure adrien_oww is (just) joking
<adrien_oww>
not really
<adrien_oww>
I and def-lkb were stumped to see how far it is
<def-lkb>
yes!
<gour>
hmm..it's hard to believe, but ok...
<gour>
adrien_oww: so you prefer EFL over wx as well?
<adrien_oww>
EFL: C and many French people involved :P
lpw25 has joined #ocaml
lpw25 has quit [Client Quit]
lpw25 has joined #ocaml
Neros has quit [Ping timeout: 272 seconds]
lpw25 has quit [Client Quit]
* gour
jsut received good news that qt5 will land in ports soon :-)
Kakadu_ has joined #ocaml
Kakadu___ has joined #ocaml
Kakadu has quit [Ping timeout: 250 seconds]
paddymahoney has quit [Read error: Operation timed out]
Neros has joined #ocaml
yminsky has joined #ocaml
Kakadu___ has quit [Client Quit]
paddymahoney has joined #ocaml
ttamttam has quit [Quit: ttamttam]
Kakadu has joined #ocaml
amirmc has joined #ocaml
zpe has joined #ocaml
<amirmc>
Hi folks. The redesigned http://ocaml.org site is now up! If you can't see it yet, then DNS may still be updating. An announcement to the list will follow later this evening.
esden has quit [Read error: Connection reset by peer]
peddie has quit [Read error: Connection reset by peer]
gour has quit [Quit: WeeChat 0.4.2]
mcclurmc has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
peddie has joined #ocaml
mcclurmc has joined #ocaml
esden has joined #ocaml
yminsky has joined #ocaml
osa1 has joined #ocaml
tane has quit [Quit: Verlassend]
Simn has quit [Quit: Leaving]
BitPuffin has joined #ocaml
nikki93 has joined #ocaml
strobegen has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
CalimeroTeknik has quit [Excess Flood]
chambart has quit [Ping timeout: 252 seconds]
CalimeroTeknik has joined #ocaml
CalimeroTeknik has quit [Excess Flood]
Drup has quit [Quit: Leaving.]
Drup2 has joined #ocaml
CalimeroTeknik has joined #ocaml
Drup2 is now known as Drup
cricri has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 246 seconds]
CalimeroTeknik has quit [Excess Flood]
CalimeroTeknik has joined #ocaml
mcclurmc has joined #ocaml
yminsky has quit [Quit: yminsky]
yminsky has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
yminsky has quit [Client Quit]
Drup has quit [Ping timeout: 245 seconds]
Drup has joined #ocaml
thomasga has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
thomasga has joined #ocaml
skchrko1 has joined #ocaml
ollehar has joined #ocaml
<swistak35>
hi
<swistak35>
could someone please help me a little bit with own implementation of lazy lists (homework)? I'm just trying to have type definition, append and concat, but I have error which I don't understand: http://pastebin.com/BEaSHsGF
tobiasBora has quit [Quit: Konversation terminated!]
thomasga has quit [Quit: Leaving.]
kyrylo has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
Xenasis has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 245 seconds]
boogie has joined #ocaml
Drup has quit [Ping timeout: 264 seconds]
<bernardofpc>
swistak35: which version of OCaml are yo uusing ?
<bernardofpc>
Oh, I see
<swistak35>
bernardofpc: nevermind, it was missing "rec", but not sure why it was so strange error
<swistak35>
maybe because I was doing that in REPL and had some previous code of this function loaded
mort___ has quit [Quit: Leaving.]
<bernardofpc>
nope
<bernardofpc>
because you're using utop instead of ocaml as a toplevel
<bernardofpc>
ocaml will answer you "Error: Unbound value lconcat"
<bernardofpc>
utop is great, but it has a different type-checker, I believe, and the official one is more consistent
<bernardofpc>
(or, put otherwise, it compiles your input by different means, and sometimes this leads to confusing error messages or such)
Drup has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
<Drup>
swistak35: you have some paranthesis wrong in @@
<Drup>
and I don't have the same error than you, for the last line :)
amirmc has quit [Quit: Leaving.]
<bernardofpc>
strange, I somehow managed to get the 'a/list... 'b list thing
<bernardofpc>
but now I can't reproduce
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]