Yurik changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available
mattam_ is now known as mattam
docelic has quit ["Client Exiting"]
mattam has quit ["zZz"]
Zadeh_ has joined #ocaml
<Zadeh_> hellos
whee has joined #ocaml
lament has joined #ocaml
Xuz has joined #ocaml
Xuz has quit ["[BX] That's Mister BitchX to you"]
mattam has joined #ocaml
lament has quit ["mental mantle"]
docelic has joined #ocaml
docelic has quit ["later"]
mattam has quit [Read error: 113 (No route to host)]
mattam has joined #ocaml
Demitar has joined #ocaml
vegai has quit ["leaving"]
gehel has joined #ocaml
j_bravo has joined #ocaml
j_bravo has left #ocaml []
mattam_ has joined #ocaml
mattam has quit [Read error: 113 (No route to host)]
Demitar has quit []
Zadeh_ has quit [Read error: 113 (No route to host)]
Zadeh has joined #ocaml
lament has joined #ocaml
Zadeh_ has joined #ocaml
Zadeh_ has quit [No route to host]
Zadeh_ has joined #ocaml
Zadeh has quit [Read error: 113 (No route to host)]
Zadeh has joined #ocaml
Zadeh_ has quit [Read error: 104 (Connection reset by peer)]
Zadeh has quit [Read error: 113 (No route to host)]
Zadeh_ has joined #ocaml
mattam_ is now known as mattam
gene9 has joined #ocaml
gene9 has quit [Client Quit]
thomas001 has joined #ocaml
thomas001 has left #ocaml []
thomas001 has joined #ocaml
<thomas001> hi
<thomas001> why does let sum i=let sum2 j=i+j in sum2 ;; work but let sum i=let sum 2 j=i+j ;; does not ?
<mattam> sum 2 j ?
<thomas001> ups
<thomas001> no space
<thomas001> sum2 j
<thomas001> but i think i know what's wrong
<sam_> the syntax for a local binding is 'let id=expr1 in expr2' and it evaluates to expr2. in the 2nd one you are missing the 'in expr2' part
lament has quit ["mental mantle"]
thomas002 has joined #ocaml
thomas001 has quit [Read error: 110 (Connection timed out)]
docelic has joined #ocaml
zack has joined #ocaml
gehel has quit [Connection timed out]
TachYon26 has joined #ocaml
gehel has joined #ocaml
TachYon26 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
docelic has quit ["brb"]
gehel has quit [Read error: 110 (Connection timed out)]
gehel has joined #ocaml
<sam_> i'm using lines such as "val test : ('a, 'b, [> `IN]) t -> ('a, 'b, [> `IN]) t -> unit" in my interface.. can i somehow define a type that would include the '>', so that i could clean the definitions a bit.. that is, what i'd like would be something like "type ('a, 'b) in_subt = ('a, 'b, [> `IN]) t" and "val test : ('a, 'b) in_subt -> ('a, 'b) in_subt -> unit".. which doesn't work
<sam_> ok, figured it out myself
zack has quit ["Client Exiting"]
nkoza has joined #ocaml
asquii has joined #ocaml
asqui has quit [Read error: 110 (Connection timed out)]
asquii is now known as asqui
thomas002 has quit ["http://www.againsttcpa.com/"]
docelic has joined #ocaml
Demitar has joined #ocaml
Demitar has quit []
docelic has quit ["docelic silently leaves"]
nkoza has quit [forward.freenode.net irc.freenode.net]
skylan has quit [forward.freenode.net irc.freenode.net]
kev_ has quit [forward.freenode.net irc.freenode.net]
xmkl has quit [forward.freenode.net irc.freenode.net]
nkoza has joined #ocaml
skylan has joined #ocaml
kev_ has joined #ocaml
xmkl has joined #ocaml
asqui has quit [Excess Flood]
asqui has joined #ocaml