gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
srcerer has joined #ocaml
oriba has quit [Quit: oriba]
twittard has joined #ocaml
twittard has quit [Remote host closed the connection]
twittard has joined #ocaml
emmanuelux has quit [Ping timeout: 240 seconds]
fantasticsid has joined #ocaml
twittard_ has joined #ocaml
twittard has quit [Ping timeout: 255 seconds]
twittard_ is now known as twittard
MaskRay has joined #ocaml
MaskRay has quit [Changing host]
MaskRay has joined #ocaml
twittard has quit [Quit: twittard]
twittard has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
ulfdoz has joined #ocaml
cdidd has quit [Ping timeout: 245 seconds]
Submarine has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 255 seconds]
everyonemines has quit [Quit: Leaving.]
twittard has quit [Quit: twittard]
pango is now known as pangoafk
Tobu has quit [Ping timeout: 272 seconds]
twittard has joined #ocaml
Tobu has joined #ocaml
fantasticsid has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Cyanure has joined #ocaml
edwin has joined #ocaml
f[x] has joined #ocaml
emmanuelux has joined #ocaml
cago has joined #ocaml
ocp has joined #ocaml
avsm has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mdelaney has joined #ocaml
<adrien> fosdem-time :P
thomasga has joined #ocaml
mdelaney has quit [Quit: mdelaney]
_andre has joined #ocaml
silver has quit [Remote host closed the connection]
silver has joined #ocaml
iago has joined #ocaml
antegallya has quit [Ping timeout: 245 seconds]
antegallya has joined #ocaml
avsm has quit [Quit: Leaving.]
probst has joined #ocaml
roha has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
Cyanure has joined #ocaml
letrec has joined #ocaml
Submarine has joined #ocaml
ikaros has joined #ocaml
roha has quit [Ping timeout: 240 seconds]
Snark has joined #ocaml
Submarine has quit [Ping timeout: 240 seconds]
Cyanure has quit [Quit: Quitte]
Tobu has quit [Ping timeout: 248 seconds]
mnabil has joined #ocaml
Tobu has joined #ocaml
iago has quit [Quit: Leaving]
thorat has joined #ocaml
thorat has quit [Client Quit]
cdidd has joined #ocaml
_andre has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
ttamttam has joined #ocaml
groovy2shoes has joined #ocaml
_andre has quit [Read error: Operation timed out]
_andre has joined #ocaml
MaskRay has quit [Quit: leaving]
groovy2shoes has quit [Quit: Computer has gone to sleep]
_andre has quit [Ping timeout: 252 seconds]
_andre has joined #ocaml
ocp has quit [Ping timeout: 240 seconds]
letrec has quit [Ping timeout: 248 seconds]
<gnech> I get " Fatal error: cannot open pervasives.cmi" errors when trying to use OcaIDE (Eclipse OCaml plugin) on Windows 7
<thelema> where is your pervasives.cmi file?
<gnech> I also got this when I tried camelia.. anyone know how I can fix this? I've tried many times to no avail
<thelema> and is there a command-line that OCaIDE is trying to run when it gets that error?
<gnech> its in T:\cygwin\lib\ocaml
<gnech> yes, here is output: http://pastebin.com/SeJzE9Qf
<thelema> can you run "ocamlc -where"?
<gnech> it says "T:\Program Files (x86)\OCaml\lib"
<thelema> ok, ocaml things its lib should be in one place, when it's actually in a different place.
<gnech> I have it installed in two places actually
<thelema> you may be able to get around this with environment variables - is the OCAMLLIB environment variable set?
<gnech> yeah I have it set
<thelema> hmm, maybe ocaide is running ocaml within a new environment that doesn't have that variable set... :(
<thelema> I don't know how to fix that.
_andre_ has joined #ocaml
<thelema> you can move your library to where ocaml is expecting it... if you have a T drive...
_andre_ has quit [Client Quit]
<thelema> oh, you do...
andre___ has joined #ocaml
<gnech> yeah I do have a T drive
<thelema> oh, what's OCAMLLIB set to?
_andre has quit [Ping timeout: 252 seconds]
ikaros has quit [Quit: Ex-Chat]
<gnech> T:\Program Files (x86)\ocaml\lib
<thelema> what ocamlc are you running? (i.e. where is that located)
andre___ has quit [Ping timeout: 245 seconds]
<gnech> it's in T:\cygwin\bin
<gnech> one second, I'm going to change OCAMLLIB to T:\cygwin\lib\ocaml (instead of the T:\Program Files...)
<thelema> sounds like one of your ocaml installations was directing the other to use the wrong library directory
_andre has joined #ocaml
<gnech> I first installed using the Ocaml installer for windows. Then I installed Camelia and first got these pervasives.cmi errors
<gnech> then last night I downloaded OcaIDE, and the preferred way is to build Ocaml projects with ocamlbuild (which requires cygwin -- so I downloaded cygwin) and still have the pervasives.cmi problem
<thelema> somebody will have to fix ocamlbuild to work under windows without cygwin - there's no good reason for the dep...
mnabil has quit [Ping timeout: 252 seconds]
<gnech> hmm
<gnech> yeah, it's just frustrating. I can use OcamlWinPlus v1.9RC4 no problems
<thelema> ocamlbuild is a very good thing, and its use should be encouraged on all platforms
<thelema> did changing the environment variable fix ocaide?
<thelema> (you'll probably have to restart ocaide for it to see the new environment)
iago has joined #ocaml
<gnech> yeah i just restarted and remove all references to ocaml bin/lib that pointed to T:\Program FIles... from PATH and changed them to T:\cygwin\-whatever
<gnech> here is the new output: http://pastebin.com/3cnuz6g5
<gnech> well that actually worked... I can execute the code
letrec has joined #ocaml
<gnech> thanks thelema
<gnech> I'll have to remember to just go with the cygwin tools
roha has joined #ocaml
iago has quit [Read error: Operation timed out]
iago has joined #ocaml
cago has quit [Quit: Leaving.]
silver has quit [Remote host closed the connection]
rby has quit [Quit: Lost terminal]
rby has joined #ocaml
rby has quit [Client Quit]
avsm has joined #ocaml
rby has joined #ocaml
Dettorer has quit [Remote host closed the connection]
probst has quit [Quit: probst]
roha has quit [Ping timeout: 256 seconds]
andre____ has joined #ocaml
_andre has quit [Ping timeout: 240 seconds]
roha has joined #ocaml
yroeht has quit [Ping timeout: 248 seconds]
yroeht has joined #ocaml
pangoafk is now known as pango
thomasga has quit [Ping timeout: 244 seconds]
othiym23 is now known as othiym23`
othiym23 has joined #ocaml
othiym23 has quit [Client Quit]
othiym23 has joined #ocaml
iago has quit [Quit: Leaving]
sepp2k has joined #ocaml
letrec has quit [Ping timeout: 252 seconds]
yroeht has quit [Ping timeout: 255 seconds]
Drup has joined #ocaml
ocp has joined #ocaml
ulfdoz has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
iago has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
ikaros has joined #ocaml
iago has quit [Quit: Leaving]
mdelaney has joined #ocaml
milosn has quit [Read error: No route to host]
ikaros has quit [Client Quit]
ikaros has joined #ocaml
fraggle_ has joined #ocaml
milosn has joined #ocaml
iago has joined #ocaml
Submarine has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
roha has quit [Read error: Operation timed out]
sepp2k has quit [Quit: Leaving.]
othiym23 has quit [Ping timeout: 255 seconds]
othiym23 has joined #ocaml
EmmanuelOga has joined #ocaml
ogd has joined #ocaml
othiym23 has quit [Read error: Connection reset by peer]
ogd has quit [Client Quit]
othiym23 has joined #ocaml
roha has joined #ocaml
mdelaney has quit [Quit: mdelaney]
fraggle_ has quit [Remote host closed the connection]
andre____ has quit [Quit: leaving]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
ttamttam has left #ocaml []
ivan\ has joined #ocaml
roha has quit [Ping timeout: 248 seconds]
silver has quit [Remote host closed the connection]
roha has joined #ocaml
roha has quit [Quit: Leaving]
twittard has quit [Quit: twittard]
zorun__ has quit [Ping timeout: 248 seconds]
zorun__ has joined #ocaml
Xizor has joined #ocaml
zorun__ has quit [Ping timeout: 248 seconds]
zorun__ has joined #ocaml
twittard has joined #ocaml
Snark has quit [Quit: Quitte]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
Drup has quit [Ping timeout: 245 seconds]
metasyntax|work has quit [Quit: WeeChat [quit]]
Drup has joined #ocaml
<thelema> oops
Drup has quit [Ping timeout: 240 seconds]
Drup has joined #ocaml
sgnb` has joined #ocaml
sgnb has quit [Ping timeout: 252 seconds]
twittard has quit [Quit: twittard]
twittard has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
ocp has quit [Ping timeout: 272 seconds]
sgnb` has quit [Remote host closed the connection]
sgnb`` has joined #ocaml
edwin has quit [Remote host closed the connection]
twittard has quit [Remote host closed the connection]
twittard has joined #ocaml
Submarine has quit [Read error: Operation timed out]
gnech has quit [Ping timeout: 240 seconds]
<Drakken> My custom toplevel can't open Foo ("Error: Unbound module Foo"), even though "foo.cmo" was passed to ocamlmktop with no error messages.
<mfp> Drakken: do you have a foo.cmi around?
everyonemines has joined #ocaml
<Drakken> mfp yes.
<Drakken> mfp the problem seems to be when I use object files created by ocamlbuild.
antegallya has quit [Quit: Leaving.]
<mfp> hmm is it maybe because the .cmi is under _build/?
<mfp> i.e. not in a directory known by the toplevel?
<mfp> (cf. #directory)
<Drakken> mfp I don't know. I passed -I _build to ocamlfind ocamlmktop.
<mfp> what about the toplevel itself? It should also need -I _build
<mfp> or #directory "_build";;
<Drakken> mfp that's it :)
Xizor has quit []
<mfp> my understanding is that the custom toplevel needs to be able to find the .cmi for all the modules you want to refer to directly in the toplevel, but not for those referred to indirectly which were passed to ocamlmktop
<mfp> e.g. I think that if your Foo module uses some Bar and Baz, it's OK not to have bar.cmi and baz.cmi as long as you don't refer to them directly
<Drakken> how arbritrary :/
<mfp> I believe that's because the .cmi is only needed to extract/list the values so that the toplevel can show their types, etc.
<mfp> OTOH, the Foo module only needs to know the intf digest of bar and baz
<mfp> which are included in the toplevel in addition to the actual code
<mfp> so you can in principle include lots of support code in a custom toplevel and a single "entry module" whose .cmi (is the only one) you have to ship
<Drakken> hmm. I guess the compiler was forced to create interfaces for bar and baz one way or another, but it leaves the interface for foo unspecified.
<Drakken> (because it can)
<mfp> AFAIK the only info included in the toplevel about the modules is their code, their interface (digest) and the other interfaces they import
<mfp> that is, the same info you get with ocamlobjinfo foo.cmo
<mfp> OTOH the toplevel needs the specifics of the interface (not just the digest), i.e. the .cmi
<Drakken> Maybe ocaml* should have an option to use the default interface.
<Drakken> of specified object files.
ikaros has quit [Quit: Ex-Chat]
othiym23 has quit [Read error: Connection reset by peer]
bnwr has quit [Ping timeout: 252 seconds]
EmmanuelOga has quit [Ping timeout: 244 seconds]
othiym23 has joined #ocaml
bnwr has joined #ocaml
twittard has quit [Quit: twittard]
twittard has joined #ocaml
MaskRay has joined #ocaml
MaskRay has quit [Changing host]
MaskRay has joined #ocaml
emmanuelux has quit [Ping timeout: 240 seconds]
letrec has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ulfdoz_ is now known as ulfdoz