__DL__ changed the topic of #ocaml to: OCaml 3.09.0 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
threeve has quit []
Nutssh has joined #ocaml
Bigbang is now known as Bigb[a]ng
mattam has quit [Read error: 104 (Connection reset by peer)]
Nutssh has quit ["Client exiting"]
mattam has joined #ocaml
exa has joined #ocaml
premchai21 has joined #ocaml
juri has quit [brown.freenode.net irc.freenode.net]
Naked has joined #ocaml
juri has joined #ocaml
Smerdyakov has quit ["reconfigure"]
Hadaka has quit [Read error: 111 (Connection refused)]
Naked is now known as Hadaka
<qknight> ok
<qknight> n8 all
qknight has quit ["thanks for help!"]
albertelegance has quit ["Leaving"]
mercurylala has joined #ocaml
Smerdyakov has joined #ocaml
OtherAlfie has left #ocaml []
pango_ has joined #ocaml
pmdboi has joined #ocaml
TylerE2 has joined #ocaml
TylerE2 has left #ocaml []
Smerdyakov has quit ["Leaving"]
pango has quit [Read error: 110 (Connection timed out)]
kryptt has joined #ocaml
Smerdyakov has joined #ocaml
premchai21 has quit ["changing universes"]
tom_p has joined #ocaml
Snark has joined #ocaml
mlh_ has quit [Client Quit]
khaladan has joined #ocaml
vezenchio has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
pmdboi has quit ["Leaving"]
mellum has joined #ocaml
<Revision17> this may be a dumb question, but what does the colon mean in this let statement: let f: 'x -> 'x = eval m
<Revision17> it appears a type signature follows it
<mellum> it narrows the type of some expression.
<Revision17> yar, alright that makes sense; I'm attemping to figure out monads (using this: http://sardes.inrialpes.fr/~aschmitt/cwn/2003.03.18.html#2 )
Bigb[a]ng is now known as Bigbang
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
qknight has joined #ocaml
<qknight> hey; let merge (l1, l2) = 0::1::l2;;
<qknight> is working
<qknight> let merge (l1, l2) = (l1::l2);;
<qknight> not
<qknight> what the hell am i doing wrong?
<qknight> This expression has type int list * int list but is here used with type
<qknight> int list * int list list
<qknight> (the error is for the second command, which is for whatever reason not working)
<qknight> i would like to add list 1 with list 2
<qknight> both store ints
<qknight> let l1 = [3;4;5;4;5;6];;
<qknight> let l2 = [3;4;5;4;5;6];;
<pango_> qknight: that's correct, :: type is 'a -> 'a list -> 'a list
<pango_> also beware that using parenthesis around merge parameters has consequences on its type (it now gets a tuple, not two parameters)
<pango_> check @ operator
<pango_> its complexity is O( List.length l1 )
<qknight> pango_: thanks
<qknight> with @ it's working
<qknight> shame on me
<qknight> so sorry
<qknight> just didn't think of @
miag has joined #ocaml
ramkrsna has joined #ocaml
miag has quit [Remote closed the connection]
qknight has quit ["Lost terminal"]
Bigbang is now known as Bigb[a]ng
ramkrsna has quit [Read error: 110 (Connection timed out)]
Bigb[a]ng is now known as Bigbang
exa has quit [Connection timed out]
exa has joined #ocaml
Rickdangerous has joined #ocaml
Rickdangerous has left #ocaml []
Skal has joined #ocaml
oracle1 has quit [Remote closed the connection]
kryptt has quit [Read error: 110 (Connection timed out)]
* exa is away: Away at the moment
exa is now known as exa_away
smimou has joined #ocaml
shirogane has joined #ocaml
mercurylulu has joined #ocaml
mercurylala has quit [Connection reset by peer]
shirogane has quit [Remote closed the connection]
* exa_away is back.
exa_away is now known as exa
Schmurtz has joined #ocaml
Snark has quit ["Parti"]
__DL__ has joined #ocaml
aegray has joined #ocaml
<aegray> i'm using the interactive ocaml prompt in linux and i'm wondering if theres a way to make it so that when I press the up key it will bring up the last line I entered (kinda like in bash)? Is that bound to a certain key?
<pango_> use ledit
<pango_> alias locaml='ledit -h ~/.ocaml_history -x ocaml'
<pango_> or run ocaml from within emacs
<pango_> (but ledit is a lighter solution ;) )
<ulfdoz> indeed looks nice.
<aegray> hmm my ledit is broken or something - unknown option -h which makes no sense based on the man page
<pango_> maybe it's not the right ledit
<pango_> ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/
<pango_> you can also try rlwrap
<aegray> thanks!
mauke has quit [Remote closed the connection]
pango_ has quit [brown.freenode.net irc.freenode.net]
pango_ has joined #ocaml
pango_ has quit [Client Quit]
pango has joined #ocaml
vezenchio has quit ["blupp"]
Schmurtz has quit [Remote closed the connection]
Schmurtz has joined #ocaml
Schmurtz has quit [Remote closed the connection]
__DL__ has quit [Remote closed the connection]
taw_ has joined #ocaml
taw_ has left #ocaml []
smimou has quit ["bli"]
Skal has quit ["Client exiting"]
<aegray> If i have this regexp: '"'((("\\\"" | [^'"'])* ) as str)'"'
<aegray> i want it to not match the string "\"\\\""
<aegray> what is wrong with the regex?
<dylan> is that ocamllex regex?
<aegray> yea
<dylan> for single-quote strings I use this:
<dylan> | '\'' (( '\\' '\'' | [^ '\'']) * as data) '\'' { STRING data }
<dylan> I bet you could adapt that.
<aegray> i'll try
<aegray> jas
<aegray> tried: | "\"" (( '\' "\"" | [^ "\""]) * as str) "\"" {STRING str }
<aegray> its matching the \\\" as the last " at the end of the regex - i don't want that
<aegray> how do I avoid it matching in that case?
<dylan> huh?
<dylan> you need '\\'
<dylan> not '\' afaik