<Jessehk>
"This expression has type Num.num -> Num.num but is here used with type
<Jessehk>
Num.num -> Num.num -> Num.num
<Jessehk>
"
<Jessehk>
At line #14 in the paste
<Jessehk>
Any ideas on what I'm doing wrong?
<Jessehk>
Is there a way I could better ask the question? This is a really strange problem.
<lucca>
(num -> num) is a function taking one num and returning num
<lucca>
(num -> num -> num) is a function taking two nums and returning num
<Jessehk>
agreed.
<lucca>
okay :p
<Jessehk>
So why does it tell me that "Op (add, '+')" is "num -> num" when it is clearly "num -> num -> num" ?
<mbishop>
You're making me hungry!
<lucca>
Jessehk: unsure; still newish to ocaml
gim_ has quit []
<Jessehk>
lucca: That's ok. :)
<Jessehk>
Anyone have any ideas what I'm missing here?
<mbishop>
I looked, couldn't tell though
<Jessehk>
Is it possible there's a bug?
<mbishop>
Not sure, try removing line 14 perhaps, maybe it's not really just line 14, but all the others too? *shrug*
<lucca>
or try using the Num.foo functions directly?
<Jessehk>
mbishop: Aha! I got it. Num.minus_num is not subtraction! It's negation!
<Jessehk>
my bad.
<Jessehk>
Num.sub_num
<mbishop>
heh
slipstream-- has joined #ocaml
<Jessehk>
Well, that's was stupid of me. G'night. :)
Jessehk has quit ["Leaving"]
slipstream has quit [Read error: 110 (Connection timed out)]
cpfr has quit [Read error: 60 (Operation timed out)]
ziggurat has quit ["Leaving"]
cpfr has joined #ocaml
yminsky has joined #ocaml
yminsky has quit []
chs_ has quit []
piggybox has quit [Read error: 60 (Operation timed out)]
the_dormant has quit []
slipstream-- has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
shawn has joined #ocaml
shawn has quit [Client Quit]
shawn has joined #ocaml
chs_ has joined #ocaml
ygrek has joined #ocaml
rwmjones has joined #ocaml
eumenides has quit [Read error: 54 (Connection reset by peer)]
love-pingoo has joined #ocaml
vital303 has joined #ocaml
smimou has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
det has quit [Read error: 104 (Connection reset by peer)]
seafoodX has joined #ocaml
seafoodX has quit [Client Quit]
seafoodX has joined #ocaml
pattern has quit [Read error: 131 (Connection reset by peer)]
pattern has joined #ocaml
smimou has quit ["bli"]
chs_ has quit []
eumenides has joined #ocaml
mikeX has joined #ocaml
seafood has quit [Remote closed the connection]
seafoodX is now known as seafood
seafoodX has joined #ocaml
tobill has joined #ocaml
zbrown has joined #ocaml
<zbrown>
Anhone home?
seafoodX has quit [Read error: 104 (Connection reset by peer)]
<zmdkrbou>
looks like there's only serious hard-working people, on this chan
yminsky has joined #ocaml
yminsky has quit []
mikeX_ has joined #ocaml
noteventime has joined #ocaml
mikeX has quit [Read error: 60 (Operation timed out)]
haral has joined #ocaml
yminsky has joined #ocaml
_blackdog has joined #ocaml
leo037 has joined #ocaml
haral has quit ["rcirc on GNU Emacs 22.1.50.2"]
leo037 has quit [Read error: 54 (Connection reset by peer)]
zbrown has left #ocaml []
yminsky has quit []
tobill has left #ocaml []
leo037 has joined #ocaml
Oatmeat has quit []
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
leo037 has quit [Read error: 110 (Connection timed out)]
eumenides has quit [Read error: 104 (Connection reset by peer)]
_blackdog has quit ["Ex-Chat"]
Sparkles has joined #ocaml
Sparkles has quit [Remote closed the connection]
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
ZabaQ has joined #ocaml
* ZabaQ
wants to get the hang of OCaml. He knows C++ and Common Lisp (plus a smattering of Java/C#). He wants to take a learn by doing approach. Has anyone any suggestions for newbie coding projects?
<rwmjones>
ZabaQ, have you read ocaml-tutorial.org?
<ZabaQ>
rwmjones: I'm working my way through it. It looks very interesting. I suspect OCaml is the sweet spot between Lisp's flexibility and C++'s barouque architecture.
<rwmjones>
OCaml is certainly more similar to C++ than anything else. I guess my advice is find something you want to write ...
* ZabaQ
suddenly knows what to try. I've got some old Jim Blinn books with some interesting graphics algorithms I could take for a spin
<ZabaQ>
Good. There seem to be OCaml bindings for most graphics libs ;-)
mikeX_ is now known as mikeX
bluestorm_ has joined #ocaml
smimou has joined #ocaml
ZabaQ has quit [Read error: 104 (Connection reset by peer)]
love-pingoo has quit ["Leaving"]
chs_ has joined #ocaml
benny_ has joined #ocaml
EliasAmaral has joined #ocaml
<EliasAmaral>
there is a tool to generate documentation from source code? i heard about a "ocaml doc" that just does this, but i just find ocaml-doc package.. (just the official documentation)
<bluestorm_>
ocamldoc is provided with ocaml package
<EliasAmaral>
Ahh.
<bluestorm_>
try "ocamldoc -help" in the command line
cpfr has quit [Read error: 60 (Operation timed out)]
<EliasAmaral>
yes, thanks :)
benny has quit [Read error: 110 (Connection timed out)]
rwmjones has quit ["Closed connection"]
shawn has quit [Read error: 110 (Connection timed out)]
pattern has quit ["Reconnecting to server - dircproxy 1.1.0"]
pattern has joined #ocaml
smimram has joined #ocaml
DirkT has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
cpfr has joined #ocaml
Jessehk has joined #ocaml
<Jessehk>
Do you guys know of any way to get ocaml-3.10 on Ubuntu? They haven't updated from 3.09.
rwmjones has joined #ocaml
<Jessehk>
I almost wish I had stayed with Arch. They had it.
<tsuyoshi>
I think it's in debian experimental
<tsuyoshi>
which might work with ubuntu
<Jessehk>
tsuyoshi: Yup. Thanks
cflag has joined #ocaml
Jessehk has quit ["Leaving"]
Luitzen has joined #ocaml
cpfr has quit [Read error: 110 (Connection timed out)]
Luitzen has quit []
Jessehk has joined #ocaml
<Jessehk>
The debian packages for 3.10 won't play nice with the ocaml libs I've installed in Ubuntu. Is there any way to get ocamlbuild with downloading all of 3.10?
<Jessehk>
*without
<pango_>
backport ocamlbuild to 3.09 ? :)
<Jessehk>
pango_: Huh? ;)
love-pingoo has joined #ocaml
Jessehk has quit ["Leaving"]
visage has joined #ocaml
ygrek has quit [Remote closed the connection]
visage has quit []
DirkT has left #ocaml []
vital304 has joined #ocaml
tty56_ has joined #ocaml
tty56_ has quit [Client Quit]
visage has joined #ocaml
vital303 has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit ["Connection reset by pear"]
levi_home has joined #ocaml
pants1 has joined #ocaml
mnemonic has quit ["leaving"]
david_koontz has joined #ocaml
cjeris has quit [Read error: 104 (Connection reset by peer)]
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
mnemonic has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
chs_ has quit [Read error: 110 (Connection timed out)]
__mattam__ has joined #ocaml
mikeX has quit ["leaving"]
mattam has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has joined #ocaml
tree_ has quit [Read error: 110 (Connection timed out)]
ratnikov has quit [Read error: 110 (Connection timed out)]