gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
jeddhaberstro has joined #ocaml
philtor has quit [Ping timeout: 276 seconds]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
jeddhaberstro_ has joined #ocaml
jeddhaberstro has quit [Ping timeout: 246 seconds]
jeddhaberstro_ is now known as jeddhaberstro
travisbrady has quit [Quit: travisbrady]
Edward has quit []
Associat0r has quit [Read error: Connection reset by peer]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 265 seconds]
boscop_ has left #ocaml []
boscop has joined #ocaml
ssbr_ has joined #ocaml
ssbr has quit [Ping timeout: 248 seconds]
ssbr_ is now known as ssbr
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
Sgeo has quit [Ping timeout: 252 seconds]
willb has joined #ocaml
_unK has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
willb has quit [Ping timeout: 260 seconds]
valross has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
jeddhaberstro has quit [Quit: jeddhaberstro]
verte has joined #ocaml
hto has quit [Quit: leaving]
erickt has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
erickt has joined #ocaml
ttamttam has joined #ocaml
erickt has quit [Read error: Operation timed out]
erickt has joined #ocaml
hto has joined #ocaml
Amorphous has quit [Read error: Operation timed out]
Amorphous has joined #ocaml
hto has quit [Quit: leaving]
kakadu has joined #ocaml
ikaros has joined #ocaml
kaustuv_` has joined #ocaml
kaustuv_ has quit [Ping timeout: 265 seconds]
drksd has quit [Quit: jolpjopjosé zospéo]
xmarteo has joined #ocaml
ztfw` has quit [Ping timeout: 240 seconds]
drk-sd has joined #ocaml
drk-sd has quit [Client Quit]
drksd has joined #ocaml
Anarchos has joined #ocaml
|marius| has joined #ocaml
ssbr has quit [Read error: Connection reset by peer]
ssbr has joined #ocaml
rwmjones has quit [Ping timeout: 245 seconds]
|marius| has quit [Remote host closed the connection]
rwmjones has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 276 seconds]
ztfw has joined #ocaml
ttamttam has quit [Remote host closed the connection]
coucou747 has quit [Quit: 0x2a]
sepp2k has joined #ocaml
coucou747 has joined #ocaml
chee has quit [Ping timeout: 265 seconds]
caligula_ has joined #ocaml
caligula__ has quit [Remote host closed the connection]
Associat0r has joined #ocaml
pikachuyann has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 276 seconds]
_unK has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
coucou747 has quit [Ping timeout: 248 seconds]
kakadu has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
coucou747 has joined #ocaml
erickt has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Ping timeout: 240 seconds]
erickt has joined #ocaml
Associat0r has quit [Quit: Associat0r]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
Edward has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ygrek has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
copumpkin has joined #ocaml
<copumpkin> I'm trying to build the code in http://www.cl.cam.ac.uk/~jrh13/atp/index.html with ocaml 3.12 on mac os 10.6, and I get Exception: Symtable.Error _.
<copumpkin> am I doing something wrong?
<copumpkin> couldn't really find much on google
<copumpkin> hmm, it might be because I'm missing camlp5, but compiling camlp5 fails with an error about two different files making inconsistent assumptions about the Warnings interface :(
<thelema> you get that error when compiling?
<copumpkin> when compiling campl5, yep
<copumpkin> not sure if the lack of campl5 is what's causing my other error
<thelema> Yes, lack of camlp5 is causing your older error
<copumpkin> ah
<thelema> the inconsistent assumptions is like a dependency mismatch - one module expects dependency A to look different from how another module expects that same dependency
<copumpkin> ah, hm
<copumpkin> it's just a vanilla install of 3.12.0 on mac os (I'm a newbie)
<copumpkin> all I did was download the ocaml package, install it, and then unpack the camlp5 tarball
<thelema> usually make clean resolves these problems, what's the files involved?
<copumpkin> already tried make clean, didn't help :/ the files are ocaml_stuff/3.12.0/parsing/parsetree.cmi and /usr/local/lib/ocaml/toploop.cmi
<thelema> I'm guessing camlp5 hasn't been updated for 3.12, which just came out
<copumpkin> the download page claims it works for 3.12.0
<copumpkin> maybe it lies :)
<thelema> download page of camlp5?
<thelema> ok, let's see if we can get it installed...
<copumpkin> thanks!
<thelema> it's accessing the ocaml source tree - can you make clean there too?
<copumpkin> hm, I didn't build ocaml from source. Just a binary package... I guess it includes the source tree anyway? would that be /usr/local/lib/ocaml/ ?
<copumpkin> no makefile in there, though :/
<thelema> ocaml_stuff/3.12.0/parsing/parsetree.cmi looks like a file from the ocaml source distribution
<copumpkin> oh, that's within the campl5 folder, hmm
<copumpkin> I guess I could just copy the system one over it
<thelema> what's the full inconsistent assumptions error?
erickt_ has joined #ocaml
erickt has quit [Ping timeout: 240 seconds]
<thelema> hmm, interesting... it doesn't compile for me either...
<thelema> but with a different error than you're getting
<copumpkin> sorry, had a phone call
<copumpkin> just a sec
<copumpkin> what's your error?
<thelema> Error while loading "./pa_lispr.cmo": interface mismatch on MLast.
<thelema> yours should be easier to fix...
<thelema> I'm guessing that whoever built your 3.12 package didn't bootstrap it, so it's not compiled with itself...
<copumpkin> oh, hm
<thelema> meaning that the Warnings made with the compiler isn't the warnings that the compiler is making.
<thelema> do you have a /usr/local/lib/ocaml/warnings.mli?
<copumpkin> nope
<thelema> any warnings files there?
<copumpkin> nope, only one w* file and it's weak.mli
<copumpkin> well, and other weak.*
<copumpkin> http://caml.inria.fr/download.en.html is where I got my package
<copumpkin> I could just build from source
<thelema> It looks like that'll be necessary - camlp5 needs to link against parts of the compiler tree, and it includes the files it usually needs in its own source tree (dirty hack)
<copumpkin> so I should just download the source tree and build it normally? or can I use my current version somehow?
<copumpkin> is the compiler written in C or ocaml?
<thelema> but it looks like there's some difference between what's included and what's needed, so let's try building your compiler and if camlp5 doesn't build, we can pull the needed files from the compiler tree
<thelema> the compiler is written in a mix of C and ocaml - you should be able to bootstrap it from what's in the source distribution
<copumpkin> building now :)
<copumpkin> okay, built my own ocaml, but still get the camlp5 error
<copumpkin> same one
chee has joined #ocaml
<copumpkin> (and it's using the new one)
Edward has quit []
jeddhaberstro has joined #ocaml
<thelema> ok, copy the warnings.* files from util/ in the ocaml source tree to the camlp5/3.12.0/utils
<thelema> err, camlp5/ocaml_stuff/...
joewilliams_away is now known as joewilliams
psnively has joined #ocaml
joewilliams is now known as joewilliams_away
psnively has left #ocaml []
<copumpkin> o.O
<copumpkin> Error: Corrupted compilation unit description
<copumpkin> in /usr/local/lib/ocaml/pervasives.cmx
ssbr_ has joined #ocaml
<thelema> really? wow, that's a good one.
<copumpkin> :P
<thelema> you reinstalled ocaml (from source) over the binary ocaml?
<copumpkin> yeah
<thelema> so pervasives.cmx is freshly installed?
<thelema> (can you double-check the file timestamp)
ssbr has quit [Ping timeout: 265 seconds]
<copumpkin> -rw-r--r-- 1 root wheel 4551 Aug 7 18:37 /usr/local/lib/ocaml/pervasives.cmx
<copumpkin> about when I compiled it
valross has quit [Remote host closed the connection]
<thelema> to build ocaml, you did [make world]?
<copumpkin> yeah
<thelema> try [make bootstrap] now
<copumpkin> from camlp5 I assume?
<thelema> no, the compiler
<copumpkin> oh
ssbr_ has quit [Read error: Connection reset by peer]
<thelema> The "make bootstrap" checks that the bytecode programs compiled with
<thelema> the new compiler are identical to the bytecode programs compiled with
<thelema> the old compiler.
ssbr_ has joined #ocaml
<copumpkin> it says fixpoint reached, bootstrap succeeded
<thelema> ok, and with that installed, still the same problem?
<thelema> ah, maybe you didn't compile the native code compiler... try [make world.opt]
<copumpkin> in ocaml or camlp5? cause I've been doing make world.opt in camlp5 the entire time
<flux> I would be quite surprised if one were to get that corrupted compilation unit description error if the compiler that produced the .cmx and the compiler have the same versions
<flux> uh
<flux> no, I said it right :)
<thelema> in ocaml
ikawe has quit [Quit: Lost terminal]
Edward has joined #ocaml
<copumpkin> oh yay
<copumpkin> I think it worked :)
<copumpkin> but lol, I still get the Symtable.Error _.
<copumpkin> ah well, at least I have camlp5 now
|marius| has joined #ocaml
carter has joined #ocaml
ztfw` has joined #ocaml
ztfw has quit [Ping timeout: 265 seconds]
<copumpkin> any ideas about that error?
verte has quit [Quit: ~~~ Crash in JIT!]
Sgeo has joined #ocaml
<thelema> copumpkin: :( you've got camlp5 installed (as far as you can tell), but you still get the symtable error?
<copumpkin> yep
<copumpkin> my computer is cursed, I think
<thelema> probably not. It might just be easier to install an old version of ocaml (3.09 or so) and see if it works with that.
<thelema> the pre-processor changed unexpectedly with 3.10, and this is likely the cause of your problems...
<copumpkin> ah
<thelema> what's the line of code you get the Symtable.Error -. at?
<thelema> -. is float subtraction
<thelema> it should be built in
<copumpkin> not really sure, actually
<copumpkin> the instructions say to run make interactive
<thelema> yes, because of the preprocessing...
<copumpkin> and I get a REPL-like thing, but it just says that I have an exception
<copumpkin> no info about where it came from
<thelema> ah, okay...
<thelema> in that case, we debug differently... it looks like [make interactive] uses init.ml - you can paste it into ocaml toplevel one ;; at a time
<thelema> (yes, not too pretty, but it's not that long
<copumpkin> first line I pasted in failed with an index out of bounds error
<copumpkin> #load "nums.cma";; (* For Ocaml 3.06 *)
<copumpkin> I guess I can omit that one?
<copumpkin> oh!
<copumpkin> I think I see what's wrong
<copumpkin> yep, looks like it works :)
<copumpkin> it was explicitly checking for 3.10 and 3.11
<thelema> pretty likely you can omit that. I don't know why it's loading the arbitrary precision number library
<copumpkin> when deciding what to do
<copumpkin> I added a condition for 3.12 too, and now it works (albeit with a million warnings)
<thelema> ah. Non-futureproof-code.
<thelema> I hope the warnings don't keep it from working. Good luck
sepp2k has quit [Quit: Leaving.]
<copumpkin> thanks :)
<copumpkin> yeah, they're just non-exhaustive pattern matches
<copumpkin> with any luck the guy behind this knew what he was doing when he left them out
<thelema> :( I fix all those warnings in my code - even if I'm just doing an assert false to insist it can't happen.
Edward has quit []
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
carter_ has joined #ocaml
<copumpkin> yay, it works nicely :)
carter has quit [Ping timeout: 264 seconds]
<copumpkin> # real_qelim <<forall b c d. exists x. x^3 + b*x^2 + c*x + d = 0>>;;
<copumpkin> - : fol formula = <<true>>
<thelema> really? wow, that's amusing.
<copumpkin> it can decide any first-order formula about the reals involving the usual field operations :)
<copumpkin> although even that small one took a second to compute
<thelema> what does it return for quadratics?
<thelema> x^2 + bx + c = 0
<thelema> (I hope it returns false)
<copumpkin> # real_qelim <<forall b c. exists x. x^2 + b*x + c = 0>>;;
<copumpkin> - : fol formula = <<false>>
<copumpkin> :)
<thelema> I'm impressed. I'm not even sure how I'd go about building a system that could prove such things
Vassia has joined #ocaml
<copumpkin> http://www.cl.cam.ac.uk/~jrh13/ contains the guy's work. This ocaml code accompanies his book
Vassia has quit [Ping timeout: 260 seconds]
|marius| has quit [Remote host closed the connection]
joewilliams_away is now known as joewilliams
|marius| has joined #ocaml
ssbr_ is now known as ssbr
carter_ is now known as carter
carter has left #ocaml []
kaustuv_ has joined #ocaml
kaustuv_` has quit [Ping timeout: 276 seconds]
joewilliams is now known as joewilliams_away
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 260 seconds]
<pikachuyann> Have a good night all ! / Bonne nuit tout le monde !
pikachuyann has quit [Quit: Quitte]
|marius| has quit [Remote host closed the connection]
chee has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
elehack has joined #ocaml
xmarteo has quit [Quit: Debian GNU/Hurd is Good.]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Associat0r has joined #ocaml
sepp2k has quit [Quit: Leaving.]
Tianon has quit [Read error: Connection reset by peer]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 240 seconds]
mjonsson has quit [Ping timeout: 245 seconds]