brooksbp has joined #ocaml
mrsolo_ has joined #ocaml
hsuh has joined #ocaml
mrsolo_ has quit ["This computer has gone to sleep"]
seafood_ has joined #ocaml
brooksbp has quit []
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has joined #ocaml
mrsolo_ has joined #ocaml
mrsolo_ has quit ["Leaving"]
ikaros has joined #ocaml
hsuh has left #ocaml []
Torment has joined #ocaml
ikaros_ has quit [Read error: 110 (Connection timed out)]
david_koontz has quit []
Jedai has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
patc has joined #ocaml
yminsky has quit []
brooksbp has joined #ocaml
<
patc>
hi - does anyone know if there is a keyboard shortcut for "repeat last command" in sml/nj? Thanks!
<
patc>
hi - does anyone know if there is a keyboard shortcut for "repeat last command" in sml/nj? Thanks!
<
tsuyoshi>
never really used sml/nj
<
patc>
thanks anyway
cathyal has joined #ocaml
Yoric[DT] has joined #ocaml
ttamttam has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
ygrek has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
seafood_ has quit []
pattern has quit [Read error: 110 (Connection timed out)]
pattern has joined #ocaml
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
jdavis_ has quit [kubrick.freenode.net irc.freenode.net]
kmeyer has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has quit [kubrick.freenode.net irc.freenode.net]
brooksbp has quit [kubrick.freenode.net irc.freenode.net]
JohnnyL has quit [kubrick.freenode.net irc.freenode.net]
sergez_ has quit [kubrick.freenode.net irc.freenode.net]
sergez has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
eck has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
richardw has quit [kubrick.freenode.net irc.freenode.net]
asmanur has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
ikaros has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
zvrba has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
ttamttam has quit [kubrick.freenode.net irc.freenode.net]
Demitar has quit [kubrick.freenode.net irc.freenode.net]
vincenz has quit [kubrick.freenode.net irc.freenode.net]
opening` has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
l_a_m_ has quit [kubrick.freenode.net irc.freenode.net]
gaja_ has quit [kubrick.freenode.net irc.freenode.net]
patc has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
netx has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
pango has quit [kubrick.freenode.net irc.freenode.net]
ygrek has quit [kubrick.freenode.net irc.freenode.net]
screwt8 has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
ygrek has joined #ocaml
filp has joined #ocaml
buluca has joined #ocaml
pattern has joined #ocaml
joshcryer has joined #ocaml
ttamttam has joined #ocaml
brooksbp has joined #ocaml
patc has joined #ocaml
ikaros has joined #ocaml
Hadaka has joined #ocaml
bla has joined #ocaml
Demitar has joined #ocaml
screwt8 has joined #ocaml
pango has joined #ocaml
mattam has joined #ocaml
jeremiah has joined #ocaml
rwmjones has joined #ocaml
zvrba has joined #ocaml
JohnnyL has joined #ocaml
zmdkrbou has joined #ocaml
kmeyer has joined #ocaml
jdavis_ has joined #ocaml
eck has joined #ocaml
cmeme has joined #ocaml
asmanur has joined #ocaml
bebui has joined #ocaml
richardw has joined #ocaml
sergez_ has joined #ocaml
sergez has joined #ocaml
opening` has joined #ocaml
jonafan has joined #ocaml
guyzmo has joined #ocaml
Smerdyakov has joined #ocaml
mbishop has joined #ocaml
gim has joined #ocaml
vincenz has joined #ocaml
netx has joined #ocaml
l_a_m_ has joined #ocaml
TaXules has joined #ocaml
eroyf has joined #ocaml
unfo- has joined #ocaml
tsuyoshi has joined #ocaml
acatout has joined #ocaml
gaja_ has joined #ocaml
seafood has joined #ocaml
svenl has joined #ocaml
flux has joined #ocaml
ulfdoz has joined #ocaml
hcarty has joined #ocaml
brooksbp has quit []
seafood_ has joined #ocaml
marmottine has joined #ocaml
ygrek has quit [Remote closed the connection]
thesnowdog has joined #ocaml
Yoric[DT] has joined #ocaml
hkBst has joined #ocaml
smimou has joined #ocaml
cathyal has left #ocaml []
buluca has quit [Read error: 113 (No route to host)]
buluca has joined #ocaml
smimou has quit ["bli"]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
patc has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
seafood_ has quit []
Snark has joined #ocaml
seafood_ has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
gaja_ has quit ["leaving"]
seafood_ has quit []
mattam has quit [Read error: 104 (Connection reset by peer)]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
seafood_ has joined #ocaml
pattern has joined #ocaml
Hadaka has joined #ocaml
seafood_ has quit []
ertai has joined #ocaml
rickardg has joined #ocaml
<
det>
How do I write :: as a function? For instance, im SML I would use "(op ::)".
<
zmdkrbou>
fun x y -> x :: y
<
det>
These is no standard function?
<
zmdkrbou>
i don't think so
<
det>
Ocaml let's me do (+), why is (::) a syntax error?
<
zmdkrbou>
because you can redefine the meaning for a certain class of symbols, but :: is not in this class
<
zmdkrbou>
that's too bad indeed
<
det>
Oh well, not a huge deal.
buluca has joined #ocaml
__suri has joined #ocaml
crathman has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
mattam has joined #ocaml
screwt8 has quit [Read error: 104 (Connection reset by peer)]
pattern has quit [Remote closed the connection]
thesnowdog has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
filp has quit ["Bye"]
ttamttam has left #ocaml []
Abo-Marwan60 has joined #ocaml
xavierbot has joined #ocaml
ttamttam has joined #ocaml
Mr_Awesome has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
netx has quit ["Leaving"]
<
JohnnyL>
does ocaml have a live image like lisp?
<
JohnnyL>
or does the interpreter loose it's settings when exited?
screwt8 has joined #ocaml
<
hcarty>
JohnnyL: The ocaml repl state is not saved between runs
<
JohnnyL>
ocaml should do that. perfect for the financer at heart.
<
JohnnyL>
like a spreadsheet.
<
hcarty>
Feel free to write it and submit the patch :-) I'm sure others would find use for it.
Tetsuo has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
pattern_ has joined #ocaml
ita has joined #ocaml
ita has left #ocaml []
crathman_ has joined #ocaml
pattern_ has quit ["aha, haha, hahahahahaha!"]
pattern_ has joined #ocaml
pattern_ has quit [Client Quit]
pattern has joined #ocaml
david_koontz has joined #ocaml
crathman has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
bluestorm_ has joined #ocaml
ertai has quit [Read error: 113 (No route to host)]
pattern has joined #ocaml
Snark has quit ["Quitte"]
rickardg` has joined #ocaml
xavierbot has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
<
pango>
det: + is an operator, :: is a constructor (with a weird hardcoded name)
rickardg has quit [Connection timed out]
filp has joined #ocaml
ttamttam has left #ocaml []
rickardg` has quit [Connection timed out]
ertai has joined #ocaml
nuncanada has joined #ocaml
mordaunt has joined #ocaml
Yoric[DT] has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
love-pingoo has joined #ocaml
rayno has joined #ocaml
hsuh has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
ygrek has quit [Remote closed the connection]
pattern has quit [Read error: 110 (Connection timed out)]
marmottine has quit ["Quitte"]
filp has quit ["Bye"]
pattern has joined #ocaml
seafood_ has joined #ocaml
hkBst has quit ["Konversation terminated!"]
seafood_ has quit []
pattern has quit [Remote closed the connection]
crathman_ has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.10/2007111504]"]
pattern has joined #ocaml
screwt8 has quit [Remote closed the connection]
Abo-Marwan60 has quit [Remote closed the connection]
seafood_ has joined #ocaml
Tetsuo has quit [Remote closed the connection]
patc has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has left #ocaml []