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)]