lostabeer has quit [Read error: Connection reset by peer]
sepp2k1 has quit [Quit: Leaving.]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
chee is now known as rlwrap
rlwrap is now known as chee
elehack has quit [Quit: not a typewriter]
seafood has joined #ocaml
derdon has quit [Ping timeout: 264 seconds]
Edward_ has quit []
chee has quit [Quit: <3 =^.^= ?>]
chee has joined #ocaml
ulfdoz has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
drunK has quit [Remote host closed the connection]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
ygrek has joined #ocaml
Amorphous has quit [Ping timeout: 248 seconds]
Sysop_fb has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
Amorphous has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
drk-sd has quit [Quit: g ss on retar]
ftrvxmtrx has joined #ocaml
waterChip_ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
waterChip_ has quit [Ping timeout: 276 seconds]
waterChip has joined #ocaml
waterChip has quit [Quit: waterChip]
f[x] has joined #ocaml
Yoric has joined #ocaml
seafood has quit [Quit: seafood]
ttamttam has joined #ocaml
ikaros has joined #ocaml
oriba has joined #ocaml
seafood has joined #ocaml
valross has quit [Quit: Ex-Chat]
noj has joined #ocaml
Edward_ has joined #ocaml
chee is now known as gcheechee
gcheechee is now known as chee
Yoric has quit [Quit: Yoric]
Anarchos has joined #ocaml
itewsh has joined #ocaml
ygrek has joined #ocaml
sepp2k has joined #ocaml
_andre has joined #ocaml
willb has quit [Read error: Operation timed out]
willb has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
yezariaely has joined #ocaml
Yoric has joined #ocaml
yezariaely has left #ocaml []
yezariaely has joined #ocaml
seafood has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 245 seconds]
th5 has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 265 seconds]
ttamttam has quit [Ping timeout: 265 seconds]
Sysop_fb has quit [Read error: Connection reset by peer]
yezariaely has quit [Quit: Leaving.]
ttamttam has joined #ocaml
Sysop_fb has joined #ocaml
adrien has quit [Quit: Death to bash!]
adrien has joined #ocaml
Edward_ has quit []
TaXules has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 260 seconds]
fraggle_laptop has quit [Ping timeout: 265 seconds]
fraggle_laptop has joined #ocaml
ftrvxmtrx has joined #ocaml
_unK has joined #ocaml
Associat0r has joined #ocaml
philed has joined #ocaml
oriba has quit [Quit: Verlassend]
<philed>
Hi all. Does batteries provide the syntax extension for lazy lists mentioned in the documentation (e.g. [^ 1;2 ^]) I can't seem to find one.
bzzbzz has joined #ocaml
<mfp>
philed: that documentation is outdated (there're too many old docs lying around); that extension was dropped in the AAA branch (which later became the trunk)
Tianon has quit [Remote host closed the connection]
carm__ has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
Associat0r has quit [Quit: Associat0r]
Associat0r has joined #ocaml
ttamttam has quit [Remote host closed the connection]
derdon has joined #ocaml
Associat0r has quit [Quit: Associat0r]
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
<philed>
Is there something subtle going on that I'm missing here? I'm using the lazy list module: let id = function Nil -> nil | Cons (x,y) -> Cons(x,y) gives me a type-error, saying that Nil was expected to have type 'a t but instead has type 'b t.
<philed>
It's a silly example, but I'm getting the same problem in less silly examples.
<flux>
how about nil -> Nil
<flux>
not sure what's the point of LazyList.nil
<philed>
It's not a data-constructor though, so I can't match on it.
<thelema>
flux: end of list
<flux>
thelema, it saves some memory or what?
<flux>
why not just use Nil?
ftrvxmtrx has quit [Read error: Connection reset by peer]
<philed>
Hmm...nil is lazy Nil;
ftrvxmtrx has joined #ocaml
<flux>
oh, right, so there is a slight difference
<thelema>
yes, lazy list.
<flux>
so infact your code was properly wrong, not in some mystic corner-case of type system -way :)
<flux>
the error message is quite strange, still.. is there some type aliasing going on?
<flux>
I get a much better error message
<philed>
Not that I can see. It's the only function I've got in the module atm.
<flux>
Error: This expression has type Batteries.LazyList.node_t 'a = BatLazyList.node_t 'a but an expression was expected of type Batteries.LazyList.t 'b = lazy_t (Batteries.LazyList.node_t 'b)
<philed>
Ah yes, I misread the error message!
<thelema>
I'm sure the revsed-style types didn't help you understand the error... sorry about that.
<philed>
thelema: Sure, I'm happy to blame you guys :)
<philed>
I've never used laziness in Ocaml before, so it's going to take some time for me to figure out.
fraggle_laptop has quit [Ping timeout: 260 seconds]
carm__ is now known as carm
chee has quit [Ping timeout: 265 seconds]
hyperboreean has quit [Ping timeout: 276 seconds]
fraggle_laptop has joined #ocaml
sepp2k has quit [Remote host closed the connection]
jakedouglas has joined #ocaml
carm has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
itewsh has quit [Quit: o/]
ulfdoz has joined #ocaml
th5 has quit [Ping timeout: 240 seconds]
ftrvxmtrx has quit [Quit: Leaving]
carm has joined #ocaml
Edward__ has joined #ocaml
iratsu has quit [Ping timeout: 260 seconds]
iratsu has joined #ocaml
sepp2k has joined #ocaml
ygrek has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
hyperboreean has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Yoric]
ftrvxmtrx has quit [Ping timeout: 248 seconds]
ftrvxmtrx has joined #ocaml
Associat0r has joined #ocaml
clog has joined #ocaml
sramsay has joined #ocaml
sramsay has quit [Read error: Connection reset by peer]
ulfdoz has quit [Ping timeout: 240 seconds]
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
Yoric has quit [Remote host closed the connection]
drk-sd has joined #ocaml
seafood has joined #ocaml
Edward__ has quit [Ping timeout: 260 seconds]
seafood has quit [Quit: seafood]
ikaros_ has quit [Quit: Leave the magic to Houdini]