flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
mildfate has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
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]
yminsky has quit [Quit: yminsky]
<ddosia> I am trying to write factorial, but compiler complains: http://pastebin.com/MnqDZ6CM
<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.
<shapr> yay!
<gour> amirmc: nice job, it loads here!
<rks`> amirmc: nice :)
<Kakadu> Syntax errors? http://ocaml.org/docs/logos.html
<amirmc> Kakadu: Thanks, that whole page needs to be reworked when new logos are available.
<kerneis> trying to execute html as ocaml code
<kerneis> nice
<amirmc> kerneis: yes, but it's used in places it shouldn't be :)
<avsm> on the bright side, it did result in a type error
<kerneis> rather than rebooting the universe
Kakadu_ has quit [Quit: Page closed]
avsm has left #ocaml []
avsm has joined #ocaml
Kakadu has quit []
boogie has joined #ocaml
yminsky has quit [Quit: yminsky]
q66 has quit [Ping timeout: 246 seconds]
<adrien_oww> amirmc: just to be sure, what is the new IP?
<adrien_oww> afk
<amirmc> 166.78.252.20
jonludlam has quit [Remote host closed the connection]
tane has joined #ocaml
amirmc has quit [Quit: Leaving.]
tulloch has quit [Ping timeout: 272 seconds]
Drup has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
yacks has joined #ocaml
osa1 has quit [Ping timeout: 252 seconds]
osa1 has joined #ocaml
q66 has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
manizzle has quit [Ping timeout: 252 seconds]
tobiasBora has joined #ocaml
osa1 has quit [Ping timeout: 272 seconds]
yezariaely has quit [Quit: Leaving.]
srcerer_ is now known as srcerer
AltGr has left #ocaml []
Kakadu has joined #ocaml
Drup has quit [Read error: Connection reset by peer]
Drup2 has joined #ocaml
Drup2 is now known as Drup
q66 has joined #ocaml
q66 has quit [Excess Flood]
q66 has joined #ocaml
tobiasBora has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 245 seconds]
bitbckt has quit [Remote host closed the connection]
bitbckt has joined #ocaml
thomasga has quit [Quit: Leaving.]
q66 has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
esden has quit [Ping timeout: 240 seconds]
chambart has quit [Ping timeout: 246 seconds]
boogie has quit [Quit: Leaving...]
esden has joined #ocaml
dsheets_ has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Remote host closed the connection]
ousado has quit [Read error: Connection reset by peer]
Arsenik has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ollehar has joined #ocaml
q66 has joined #ocaml
mcclurmc has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
bjorkintosh has quit [Read error: No route to host]
tobiasBora has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
mchqwerty has quit [Quit: Odcházím]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
q66 has joined #ocaml
zpe has quit [Remote host closed the connection]
Kakadu has quit []
dsheets_ has joined #ocaml
yezariaely has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
ousado has joined #ocaml
manizzle has joined #ocaml
skchrko has quit [Quit: Leaving]
nikki93 has joined #ocaml
lopho has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
Drup2 has joined #ocaml
Drup has quit [Quit: Leaving.]
Drup2 is now known as drup
drup is now known as Drup
zpe has joined #ocaml
lopho has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
skchrko has joined #ocaml
demonimin has joined #ocaml
zpe has quit [Remote host closed the connection]
demonimin has quit [Changing host]
demonimin has joined #ocaml
q66 has joined #ocaml
mcclurmc has joined #ocaml
baz_ has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
demonimin has quit [Read error: Operation timed out]
demonimin has joined #ocaml
kyrylo has joined #ocaml
zpe has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
Anarchos has joined #ocaml
esden has quit [Ping timeout: 264 seconds]
peddie has quit [Ping timeout: 240 seconds]
esden has joined #ocaml
q66 has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
peddie has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
skchrko has quit [Read error: Operation timed out]
skchrko has joined #ocaml
NoNNaN has joined #ocaml
chambart has joined #ocaml
baz_ has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.4.1]
mcclurmc has joined #ocaml
Yoric has quit [Quit: Instantbird 1.5a1pre -- http://www.instantbird.com]
yezariaely has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
<gasche> whitequark: I impelented constant constructors -> int conversion a loong time ago
amirmc has joined #ocaml
darkf has joined #ocaml
q66 has joined #ocaml
mort___ has joined #ocaml
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]
zpe has joined #ocaml