lamawithonel has quit [Remote host closed the connection]
lopex has quit []
philtor has joined #ocaml
bkhl has joined #ocaml
smerz has quit [Remote host closed the connection]
joewilliams has quit [Remote host closed the connection]
BiDOrD has joined #ocaml
bkhl has quit [Quit: Leaving.]
joewilliams has joined #ocaml
nannto_ has quit [Quit: Leaving...]
nannto_ has joined #ocaml
joewilliams is now known as joewilliams_away
emmanuel_ has joined #ocaml
emmanuelux has quit [Read error: No route to host]
sepp2k has quit [Quit: Leaving.]
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
joewilliams_away is now known as joewilliams
RAW has joined #ocaml
impy has quit [Ping timeout: 244 seconds]
mattam has quit [Ping timeout: 246 seconds]
dnolen has joined #ocaml
emmanuel_ has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
dnolen has quit [Quit: dnolen]
Modius has quit [Ping timeout: 248 seconds]
munga has joined #ocaml
munga has quit [Ping timeout: 248 seconds]
RAW is now known as impy
vivanov has joined #ocaml
einstein` has joined #ocaml
einstein` has left #ocaml []
vivanov has quit [Ping timeout: 240 seconds]
ankit9 has quit [Quit: Leaving]
ankit9 has joined #ocaml
jamii has joined #ocaml
philtor has quit [Ping timeout: 258 seconds]
Associat0r has quit [Ping timeout: 255 seconds]
Associat0r has joined #ocaml
Yoric has joined #ocaml
ygrek has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
ankit9 has quit [Quit: Leaving]
ikaros has joined #ocaml
Yoric has quit [Quit: Leaving.]
vivanov has joined #ocaml
boscop has joined #ocaml
f[x] has joined #ocaml
rby has joined #ocaml
ftrvxmtrx has joined #ocaml
Associat0r has quit [Ping timeout: 255 seconds]
wtetzner has quit [Ping timeout: 246 seconds]
ankit9 has joined #ocaml
jamii has quit [Ping timeout: 255 seconds]
Yoric has joined #ocaml
edwin has joined #ocaml
avsm has joined #ocaml
Reaganomicon has quit [Read error: Connection reset by peer]
munga has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
mattam has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
avsm has quit [Quit: Leaving.]
pdhborges has joined #ocaml
ankit9 has quit [Ping timeout: 255 seconds]
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
Tobu has quit [Remote host closed the connection]
Reaganomicon has joined #ocaml
jamii has joined #ocaml
lopex has joined #ocaml
oriba has joined #ocaml
Tobu has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
avsm has joined #ocaml
Tobu has quit [Remote host closed the connection]
_andre has joined #ocaml
EM03 has left #ocaml []
vivanov has quit [Quit: Lost terminal]
pdhborges has quit [Quit: Leaving.]
pdhborges has joined #ocaml
ankit9 has joined #ocaml
munga has quit [Quit: Ex-Chat]
emmanuelux has joined #ocaml
vivanov has joined #ocaml
oriba has quit [Read error: Operation timed out]
pdhborges has quit [Quit: Leaving.]
ankit9 has quit [Quit: Leaving]
philtor has joined #ocaml
TaXules has quit [Ping timeout: 260 seconds]
pdhborges has joined #ocaml
ankit9 has joined #ocaml
joewilliams_away is now known as joewilliams
enthymeme has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
avsm has quit [Quit: Leaving.]
lopex has quit []
avsm1 has joined #ocaml
mdmkolbe has joined #ocaml
<mdmkolbe>
Algorithm W is known to be exponential in the size of the program in the worst case. However, is it also exponential in the size of the resultant types? If not exponential, then what?
pdhborges has quit [Remote host closed the connection]
pdhborges has joined #ocaml
<thelema>
mdmkolbe: algorithm w takes a program as input?
<thelema>
ah, you're referring to the HM type inference algorithm
<mdmkolbe>
thelema: yeah. (is there some other algorithm w that you thought I meant?)
<thelema>
I originally thought W was a variable, such as "algorithm x"
<thelema>
in any case, you may get a better answer from #haskell, I think more people crazy about type theory hang out there
ymasory has joined #ocaml
hrk has joined #ocaml
lopex has joined #ocaml
ulfdoz has joined #ocaml
Yoric has quit [Quit: Leaving.]
lopexx has joined #ocaml
lopex has quit [Ping timeout: 258 seconds]
lopexx has quit []
lopex has joined #ocaml
ftrvxmtrx has joined #ocaml
pdhborges has quit [Quit: Leaving.]
Yoric has joined #ocaml
Modius has joined #ocaml
Cyanure has joined #ocaml
jamii has quit [Ping timeout: 255 seconds]
Associat0r has joined #ocaml
ygrek has joined #ocaml
pdhborges has joined #ocaml
likebike has quit [Ping timeout: 252 seconds]
Cyanure has quit [Ping timeout: 255 seconds]
hrk has quit [Quit: Leaving]
pdhborges has quit [Quit: Leaving.]
Anarchos has joined #ocaml
waterChip has joined #ocaml
<Anarchos>
Who has ever used ocamlweb ?
<thelema>
not I, ocamldoc has been good enough for me.
waterChip has quit [Ping timeout: 255 seconds]
waterChip has joined #ocaml
<Anarchos>
thelema i really need a literate programming for ocaml, maybe i will write mine !
<adrien>
why? is ocamlweb bad?
<Anarchos>
adrien it seems that it is only a documenting tool, not a real literate programming one allowing for reordering and use-before-definition code.
<adrien>
ok, but maybe you should improve it rather than writing a new one from scratch ;p
<Anarchos>
adrien more funny to reinvent the wheel :)
<adrien>
=P
nk2 has joined #ocaml
<nk2>
hello. can you guys help me with an ocaml compiling problem?
<thelema>
nk2: don't ask to ask
<nk2>
ok. so i am trying to get lacaml to work
<nk2>
i installed godi and lacaml and then i tried to use ocamlop
<nk2>
ocamlopt
<thelema>
okay, what's your compilation command?
<nk2>
i tried this example program but ie doesn't work: ocamlopt -I +lacaml bigarray.cmxa lacaml.cmxa eigen.ml -o eigen.opt
<thelema>
what's the error?
<nk2>
but i know lacaml is installed b/c i did: ocaml -I +lacaml
<nk2>
the error is Error: Unbound module Lacaml.Impl.S
<nk2>
and then i did: #use "topfind" ;; #require "lacaml";;
<thelema>
probably the -I +lacaml isn't the right way to include lacaml, as it was installed using findlib and not the old old way
<adrien>
add "-verbose" and it'll show you the command-line that has been used
<nk2>
oh isee. it looks like the path to the lacaml.cma file is not known to the "-I" param
<nk2>
it actually uses to whole path
<nk2>
thanks a lot. i couldn't have found this out at all myself.
<thelema>
that whole path probably has an extra /site-lib/ in it
<adrien>
+ mean it is relative to the output of "ocamlc -where" iirc
<thelema>
nk2: that's why we're here
<thelema>
adrien: yup, that's it
<nk2>
oh. lacaml.cma is installed outsite of the std-lib directory
<adrien>
I think I haven't used + in two years, and I really wish ocamlfind where bundled with ocaml
waterChip has quit [Ping timeout: 276 seconds]
<nk2>
i'll be sure to use ocamlfind from now on then
boscop has quit [Ping timeout: 255 seconds]
<thelema>
adrien: The main thing ocamlfind provides is dependency handling. everything else it does shouldn't be in the base system
<thelema>
nk2: you can probably drop the "bigarray" package from the command line I gave you
axiles has joined #ocaml
<nk2>
thelama: yeah. it works that way too. thanks.
pdhborges has joined #ocaml
<zsparks>
Has anyone in here installed ocamlgmp on a mac?
<zsparks>
It seems to be searching for /opt/gmp/lib, which doesn't exit. I'm guessing the fix is "change where gmp installs" (possibly paired with an eye-roll), but I'd like to make sure
<thelema>
zsparks: that's odd
<zsparks>
Oh?
<zsparks>
the specific error is:
<zsparks>
i686-apple-darwin10-gcc-4.2.1: /opt/gmp/lib: No such file or directory
<thelema>
you mean this caml-gmp: ttp://www-verimag.imag.fr/~monniaux/programmes.html.en
<zsparks>
I just installed gmp and mpfr from scratch about 20 minutes ago >.>
<zsparks>
yeah
<thelema>
just change GMP_LIBDIR= in the Makefile
<thelema>
and probably GMP_INCLUDES
<zsparks>
hmm
<zsparks>
it looks like caml-gmp only works with 32-bit, and I may have installed 64-bit, now
<zsparks>
thelema: but that did help, thanks! :D
<thelema>
zsparks: you're welcome
<zsparks>
(now I just need to figure out how to change gmp to the right thing...)
<zsparks>
computers are the worst >.>
<thelema>
that's odd, I'm pretty sure I'm using a 64-bit gmp
<thelema>
why do you think it needs 32-bit gmp?
Anarchos has quit [Ping timeout: 252 seconds]
<pdhborges>
OMG
<pdhborges>
ups sry
Anarchos has joined #ocaml
<zsparks>
thelema: possible because I'm wrong
<zsparks>
it's complaining about a lot of missing thingies
<zsparks>
I get a couple of these:
<zsparks>
ld: warning: in /usr/local/lib/libgmp.dylib, file was built for unsupported file format which is n
<zsparks>
ot the architecture being linked (i386)
<zsparks>
followed by a bunch of undefined symbols