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
lamawithonel_ has quit [Excess Flood]
krktz has quit [Ping timeout: 240 seconds]
lamawithonel_ has joined #ocaml
dnolen has joined #ocaml
krktz has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lopex has quit []
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
Tobu has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.3.1]
joewilliams_away is now known as joewilliams
mfp has quit [Ping timeout: 250 seconds]
Tobu has quit [Quit: No Ping reply in 180 seconds.]
Tobu has joined #ocaml
mfp has joined #ocaml
palomer_ has joined #ocaml
ccasin_ has joined #ocaml
__mattam__ has joined #ocaml
kerneis_ has joined #ocaml
rby_ has joined #ocaml
mal`` has quit [*.net *.split]
palomer has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
rby has quit [*.net *.split]
ccasin has quit [*.net *.split]
kerneis has quit [*.net *.split]
mattam has quit [*.net *.split]
ski has quit [*.net *.split]
mal`` has joined #ocaml
ccasin_ is now known as ccasin
joewilliams is now known as joewilliams_away
khia0 has joined #ocaml
khia0 has left #ocaml []
dnolen has quit [Quit: dnolen]
dnolen has joined #ocaml
Obfuscate has joined #ocaml
jamii has joined #ocaml
jamii has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
vivanov has quit [Quit: Lost terminal]
vivanov has joined #ocaml
impy has joined #ocaml
dnolen has quit [Quit: dnolen]
mcclurmc_home has quit [Ping timeout: 250 seconds]
mcclurmc_home has joined #ocaml
zzz_` has joined #ocaml
zzz_ has quit [Ping timeout: 250 seconds]
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz has joined #ocaml
axiles has joined #ocaml
ulfdoz has quit [Ping timeout: 244 seconds]
vivanov has quit [Read error: Connection reset by peer]
vivanov has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
othiym23 has quit [Quit: Linkinus - http://linkinus.com]
Cyanure has joined #ocaml
edwin has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
zorun has quit [Ping timeout: 250 seconds]
Snark has joined #ocaml
edwin has quit [Remote host closed the connection]
ikaros has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 250 seconds]
Cyanure has joined #ocaml
zorun has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
rgee has quit [Ping timeout: 244 seconds]
Associat0r has joined #ocaml
thomasga has joined #ocaml
ftrvxmtrx has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
Associat0r has quit [Quit: Associat0r]
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
gnuvince has quit [Ping timeout: 240 seconds]
gnuvince has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
flux has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
lamawithonel has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 240 seconds]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
ski has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
edwin has joined #ocaml
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 240 seconds]
lamawithonel__ has quit [Excess Flood]
lamawithonel__ has joined #ocaml
lamawithonel__ has quit [Excess Flood]
lamawithonel__ has joined #ocaml
ikaros has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel__ has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
flux has joined #ocaml
flx_ has joined #ocaml
flux has quit [Quit: leaving]
flx_ is now known as flux
dnolen has joined #ocaml
vivanov has quit [Quit: Lost terminal]
SoftTimur has joined #ocaml
<SoftTimur> Hello all, I have see some where a type definition like:
<SoftTimur> type abc = { a : int; b : bool; c : int}
<SoftTimur> so it is "structure" in Ocaml, right?
<thelema_> a "record"
<SoftTimur> thelema_: indeed, I forgot this term...
<SoftTimur> thelema_: thank you
<flux> softtimur, struct in ocaml is the definition of a module value
<SoftTimur> flux: I see...
<flux> softtimur, like: module A = struct let hello = "world" end
<SoftTimur> flux: ok...
ikaros has quit [Quit: Ex-Chat]
sepp2k has joined #ocaml
lamawithonel has joined #ocaml
Tommytom has joined #ocaml
<Tommytom> Hello
<Tommytom> How to bind a socket with any ip adress ?
<flux> Unix.bind
<flux> (and Unix.inet_addr_any)
<Tommytom> Thx you :)
<flux> btw, I've always found it useful to set the option SO_REUSEADDR on
<flux> so you can more quickly iterate running the server, no need to change the port because it's busy
<Tommytom> All net function like soket, bind accept throw execption if there is a problem ?
<flux> yes
<Tommytom> is not written in official libref
<Tommytom> thx
<flux> well, you can sort of deduce it
<flux> because they don't have other means of signaling error
<Tommytom> Yes yes :)
<flux> and there is an error exception defined
<flux> I guess it would be nice if it documented what exceptions could each of the operations throw
<flux> but that might depend on the platform, because Unix is a very thin wrapper for the related POSIX functions
<flux> and whatever they return as an error is raised as an exception
<Tommytom> The Unix module is correctly build on windows ?
<adrien> ye
<adrien> s
<flux> ..I guess it's a not-so-thing wrapper there..
<flux> s/thing/thin/
<Tommytom> Cool, good news
<adrien> well, except for a few unavailable functions which are mentionned in the documentation
<Tommytom> I'm started to appreciate ocaml
<adrien> :-)
* adrien will have to take a deeper look at mleternal
<SoftTimur> Hello all, I see some declarations of some functions with "let ... = ... and ... = ... and ...", could anyone tell me the advantage of using "and" to link several declarations? Why do not they declare them separately with several "let"?
<adrien> "let" or "let rec"?
<flux> softtimur, no advantage really, unless you use 'let rec' for recursive definitions
<SoftTimur> let rec, indeed
<adrien> all the variables with "and" between them can be recursive among them
<SoftTimur> but even if they do not have "and" between them, they could call each other, no?
vivanov has joined #ocaml
<flux> the previous 'let rec' would not be able to refer to the following 'let's (or 'let rec's) if it weren't for the 'and'
<adrien> only according to their definition order: if "a" is mentionned before "b" then "a" can't refer to "b", but the reverse is possible
<thelema_> SoftTimur: only upwards in the source - you can call previously defined functions and need `let rec` and `and` for forward calls
<SoftTimur> ok... I think you three share same points of view...
<SoftTimur> I see what you mean, thank you
Associat0r has joined #ocaml
thomasga has quit [Quit: Leaving.]
<Tommytom> I don't really understand how to use bind with inet_addr_any
<Tommytom> bind sock ADDR_INET(inet_addr_any, 0) ???
<flux> bind sock (ADDR_INET (inet_addr_any, 0)) yes works fine
<flux> if you don't care about the port
<flux> if you do, replace 0 with something else
<Tommytom> Okay, thx you
thomasga has joined #ocaml
<hcarty> thelema_: Supporting xstrp4 interpolation everywhere is proving to be a bit challenging when mixed with xstrp4-based quotations
<hcarty> The general string interpolation can interact badly with string literals in quotations
<hcarty> I'm not sure how (or if I should) fix this
<hcarty> thelema_: A $ not associated with an obvious interpolation no longer needs to be quoted
<thelema_> yay
<thelema_> can you give an example of general string interpolation interacting badly with string literals in quotations?
<hcarty> thelema_: <:here<${foo, fun s -> s ^ "bar"}>>
<thelema_> "bar" gets double-interpolated? This doesn't seem like a problem, as both should do nothing
<hcarty> It doesn't get double-interpolated - camlp4 chokes on it
<hcarty> Says that there is an unterminated string literal
<thelema_> hmm, I wish I knew more camlp4 to help
<hcarty> I'd love to have <:here<${foo, fun s -> "$s">> work, but it's not working yet
<hcarty> Your feedback has already been a big help in digging out some corner cases
<thelema_> I don't thI I I don't think thayt'l be possible
<hcarty> thelema_: Possibly not. And that may be for the best.
<flux> thelema_, that's an irssi bug. you can work it around by disabling paste detection.
Associat0r has quit [Quit: Associat0r]
<flux> (of course, then you don't have paste protection ;-))
<thelema_> flux: ah, thanks. I thought my internet connection was being glitchy
<flux> it is, it's what causes it
<hcarty> thelema_: Interestingly enough, with the "interpolate" keyword, you can do a similar embedding - print_endline <:here<Interpolation in a quotation : ${s, fun s -> String.copy interpolate "$s"}>>
<thelema_> but s isn't known at compile time, so...
<hcarty> xstrp4 expands quotations/interpolations to String.concat "" [...]
<hcarty> So if we let s = "foo" before that print_endline, the output would be "Interpolation in a quotation : foo"
<thelema_> But isn't this useless, as ${s, fun s -> String.copy interpolate "$s"} can only do as much as "$s"
<thelema_> because we can't access the symbol table at runtime
<hcarty> thelema_: You could do something like type p_t = {x : int; y : int} ... ${p, fun p -> String.copy interpolate "$p.x, $p.y"}
<hcarty> Preferably with something less verbose than "String.copy interpolate..."
<thelema_> but all that is equivalent to "$p.x, $p.y"
sergio1 has joined #ocaml
<hcarty> That's true
<flux> isn't the point to do something like ${s, quote} ?
<hcarty> flux: Yes
<thelema_> and since we're doing pre-processing, you can't move the (fun p -> ...) outside that expression
rgee has joined #ocaml
<sergio1> Hi there!
<sergio1> I'd like to use OCaml3.12 on ubuntu.
<sergio1> For unclear reasons, I failed to install a recent (e.g. Narwhal) ubuntu version, so revert to Lucid.
vivanov has quit [Quit: Lost terminal]
<sergio1> But then, OCaml is 3.11 on Lucid!
<sergio1> But, given "apt-cache search ocaml | wc" gives me 256 lines, I'm a little scared of de-installing 3.11 and reinstalling 3.12.
<sergio1> (Not to mention the fact that I'm uneasy about the way to do it)
<sergio1> Any suggestions/advice?
<flux> softtimur, I think a decent way to go is to have a parallel ocaml 3.12 installation
<flux> oops
<flux> sergio1 that is
<flux> sergio1, you could use GODI for setting that up
<flux> so, you could have it installed in /opt/ocaml for example
<thelema_> sergio1: ocaml-nox
<SoftTimur> flux: no worries
<sergio1> never used GOGI before
<sergio1> just wondering: does "apt-cache search" look into my base or on WWW?
<flux> hmm, it actually appears that the 'base image' doesn't do 3.12 yet?-o
<flux> although it's relatively simple to switch
<flux> godi is basically a 'you compile everything-kind of distribution
<flux> but godi handles packages and dependencies and compiling
<sergio1> thelema_, you mean "apt-get install ocaml-nox" would do the job?
<hcarty> flux: Asking for section 3.12 at bootstrap time should be enough
<adrien> it seems like it always takes a lot of time to "switch"
<thelema_> sergio1: it might if you added a source with 3.12 packages
<palomer_> question:
<palomer_> CAMLprim value caml_channel_descriptor(value vchannel)
<palomer_> {
<palomer_> int fd = Channel(vchannel)->fd;
<palomer_> if (fd == -1) { errno = EBADF; caml_sys_error(NO_ARG); }
<palomer_> how can the fd be -1 ?
<thelema_> palomer_: it's possible to create a channel from something without a descriptor
vivanov has joined #ocaml
dnolen has quit [Quit: dnolen]
sepp2k has quit [Ping timeout: 255 seconds]
_andre has joined #ocaml
vivanov has quit [Quit: Lost terminal]
sepp2k has joined #ocaml
lopex has quit []
vivanov has joined #ocaml
mfp has joined #ocaml
<hcarty> gildor: How do you tell oasis to use a syntax extension on an executable? Both the extension and the executable (a test program) are built from the same _oasis.
<hcarty> gildor: Adding the findlib name to BuildDepends does not seem to work
* NaCl just thought of RPM for a fraction of a second
sergio1 has quit [Remote host closed the connection]
vivanov has quit [Ping timeout: 240 seconds]
mlh has quit [Ping timeout: 250 seconds]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
mlh has joined #ocaml
<Tommytom> This warning is it important: Warning S: this expression should have type unit ???
<flux> well, yes
<flux> typically functions return something
<Tommytom> Damed
<Tommytom> I have 7 war
<flux> but perhaps you don't care
<flux> in that case you can write ignore (expression here)
<adrien> Tommytom: show us the line?
<flux> alternatively you might partially applying a function
<Tommytom> Can I post all code and tell you the lines ?
<flux> (or does that give a different error?)
<flux> tommytom, that might in fact be preferable :)
<Tommytom> Yes yes ^^
<Tommytom> At the bottom there is the return of ocamlc
<thelema_> Tommytom: that's odd - your first warning for L16... shouldn't be a problem - String.set doesn't return a value
<hcarty> thelema_: I think it's off by one - maybe the i = i + 1 line
<rproust> it's off by one maybe
<thelema_> L17 is wrong - "i = i + 1" tests whether variable i is equal to i+1
<thelema_> yes
<rproust> i = i+1 is useless here
<thelema_> let i = ref 0 in ... incr i ...
<Tommytom> how increment i ?
<rproust> Tommytom: in ocaml, when you write `i=i+1` it evaluates to `false`
<rproust> (because `i` is not equal to `i+1`)
<thelema_> the incr function (int ref -> unit) increments
<rproust> you have to use a ref
<Tommytom> Okay
<rproust> and do as thelema_ said
<rproust> let i = ref 0 in while !i < len do smthg; incr i end
<rproust> s/end/done/
<Tommytom> String.set doesn't return a value ? I don't understand what you mean
Cyanure has quit [Remote host closed the connection]
<rproust> it return unit
<rproust> the value () of type unit to be precise, () is a value that doesn't carry any information
<thelema_> okay, technically () is a value.
<rproust> evaluating to () is sort-of like not returning a value
vivanov has joined #ocaml
<Tommytom> In my case, I don't return a value
<Tommytom> just ()
<rproust> yes
<rproust> but the `i=i+1` actually evaluates to a value (specifically `false`) and that's what making the compiler tick
<Tommytom> Okay
<Tommytom> I understand
<Tommytom> I corrected it with a ref
<rproust> in some cases, you need to ignore the result of an expression. for this, you can use `ignore : 'a -> unit` and the compiler is made happy again
<Tommytom> Oh !! I didn't know it
<Tommytom> Thx you
<Tommytom> It's better now
<rproust> BUT you have to be careful. If your code evolve and you add a parameter to a function the call transform into a partial application and nothing is executed
<rproust> I recommend that you put type anotation inside the calls to ignore
<Tommytom> okok
<Tommytom> No error ! I can execute for the first time my code
<Tommytom> Mmh I must learn to debug tools ^^
<flux> tommytom, btw, your code has a non-typical amount of mutable variables for an ocaml program ;)
boscop_ has joined #ocaml
philtor has joined #ocaml
<Tommytom> at source, it's a C# code, but I decided to recode it in Ocaml, that why it's a little dirty
<thelema_> Tommytom: let tabchar_to_string tab = let ret = String.create (Array.length tab) in Array.iteri (fun i x -> ret.[i] <- x); ret
boscop has quit [Ping timeout: 250 seconds]
<Tommytom> You're right thelema_, is it more simple ;)
<thelema_> using batteries: let tabchar_to_string = Array.enum |- String.of_enum
<thelema_> *that*'s simple.
<Tommytom> thx for advice
<Tommytom> the advice
<Tommytom> I will thank you for your great help at my presentation next week
lopex has joined #ocaml
<hcarty> thelema_: Does a newer tarball upload to oasis-db replace the existing unstable version?
<thelema_> if it has a higher version number
<hcarty> Ok, xstpr4 2.0alpha3 is up on odb
<hcarty> thelema_: xstrp4.syntax.strings does interpolation for all string literals
<hcarty> Pointless example: (let s = "a string!" in print_endline "$s") works in that case
<thelema_> yay.
vivanov has quit [Quit: Lost terminal]
lopex has quit []
<gildor> hcarty:
<gildor> hcarty: syntax extension, add the BuildDepends and add "foo.ml": syntax_camlp4o outside the OASIS section in _tags
avsm has quit [Quit: Leaving.]
<hcarty> gildor: I had tried that, but the ocamlbuild's ocamldep step failed
<hcarty> s/ the//
<hcarty> gildor: This is the _oasis. The commented-out lines at the end are the relevant portion: http://0ok.org/cgit/cgit.cgi/xstrp4/tree/_oasis
<thelema_> hcarty: maybe the myocamlbuild isn't ocamlfind enabled for ocamldep
<hcarty> thelema_: It looks like it should be, according to a brief look through the generated myocamlbuild.ml
<hcarty> Ah, maybe not enough though...
<hcarty> gildor: Are the use_* tags generated by oasis applied to ocamldep calls?
<hcarty> gildor: If I understand this myocamlbuild.ml correctly, use_foo tags are only used for compilation and linking.
<gildor> hcarty: hum, you want to use a generated syntax extension from within the build
<hcarty> gildor, thelema: I'm still enjoying oasis overall, and being able to upload a .tar.gz to oasis-db and have it "just work" with odb is quite nice
<hcarty> gildor: Yes, that is correct
<gildor> hcarty: that is not yet possible, I am afraid
ankit9 has quit [Quit: Leaving]
<gildor> hcarty: you have to apply some extra trick to get it working
<hcarty> gildor: Do you have an example of such a trick or or a suggestion on where to start?
<gildor> hcarty: i.e. "foo.ml": syntax_camlp4o, dep_of_the_syntax, use_myown_syntax_extension
<gildor> and define use_myown_syntax_extension in myocamlbuild.ml so that it adds -ppopt _build/src/syntax.cma
<hcarty> gildor: Thank you! I'll give it a try.
<gildor> but that the kind of thing planned for oasi 0.3 (because I also need it)
joewilliams_away is now known as joewilliams
<gildor> hcarty: don't hesitate to submit a feature request describing your scenario (and maybe the solution you find), so that I will add it for oasis 0.3
enthymeme has joined #ocaml
<hcarty> gildor: Ok - once I have a solution I'll submit something
<hcarty> gildor: Thank you!
<thelema_> gildor: is it possible that this file was corrupted on your end: http://oasis.ocamlcore.org/dev/dist/benchmark/1.0/benchmark-1.0.tar.gz
<thelema_> when I download it, I get a 0 byte result
<gildor> thelema_: yes, it seems broken here also
<gildor> thelema_: but it has been uploaded with an old version of oasis-db
<gildor> (which tends to break this tarball)
<thelema_> ah.
<gildor> most of the tarball uploaded in april seems broken in fact
<gildor> need to replace it
* gildor gtg
boscop__ has joined #ocaml
boscop_ has quit [Ping timeout: 255 seconds]
vivanov has joined #ocaml
ftrvxmtrx has joined #ocaml
ulfdoz has joined #ocaml
vivanov has quit [Ping timeout: 260 seconds]
boscop__ has quit [Ping timeout: 255 seconds]
ikaros has joined #ocaml
flx_ has joined #ocaml
flux has quit [Ping timeout: 276 seconds]
flx_ is now known as flux
flux has quit [Ping timeout: 276 seconds]
flux has joined #ocaml
__mattam__ is now known as mattam
Associat0r has joined #ocaml
Tommytom has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 260 seconds]
lopex has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
Cyanure has joined #ocaml
lamawithonel has joined #ocaml
_andre has quit [Ping timeout: 276 seconds]
_andre has joined #ocaml
<SoftTimur> Hello all, I have generated several .annot files for my programs. Could anyone tell me how to use them in Emacs?
<hcarty> thelema_: ocaml odb.ml --have-perms ... will perform the package installation to the default findlib location, correct?
<thelema_> SoftTimur: C-c C-t
<thelema_> hcarty: yes, it's like --sudo, except it doesn't run sudo
<hcarty> thelema_: Cool, thank you
<SoftTimur> thelema_: "C-c C-t is undefined"
<thelema_> SoftTimur: hmm, you'll need caml-types.el, where does that come from...
<thelema_> it's in the ocaml source distribution...
<SoftTimur> in which folder that file may be?
<thelema_> emacs/
<SoftTimur> and where is emacs/ ?
<SoftTimur> I must have it already somewhere... but I forgot...
<thelema_> If you're using tuareg, it should just work
<SoftTimur> I tried Meta-x tuareg-mode... "Major mode for editing and running Caml programs, Tuareg Version 1.45.7", but C-c C-t is still not defined...
<thelema_> go to *scratch* and try "(require 'caml-types)" C-x C-e
<SoftTimur> "End of file during parsing"
<thelema_> according to this, you have to have the rest of caml-mode too: http://groups.google.com/group/fa.caml/browse_thread/thread/a733c0c1f16bbea8
<thelema_> try downloading all the files in the emacs folder to ~/.emacs.d and putting (add-to-list 'load-path "~/.emacs.d/") in your ~/.emacs
<SoftTimur> but I do not know where is my emacs folder...
_andre has quit [Ping timeout: 244 seconds]
<thelema_> all the files in the ocaml/emacs folder (from its source distribution)
_andre has joined #ocaml
<hcarty> thelema_: Any chance Batteries could be made installable again from odb?
<SoftTimur> I have this line in my .emacs "(setq load-path (cons "/home/chengtie/Scripts/foo/" load-path))", in this folder, I have some ".el" for coq, may I put ".el" for caml here?
<thelema_> hcarty: yes. it fails to install?
<thelema_> SoftTimur: yes. It's a bit messy, but it should work
<hcarty> thelema_: Maybe not? The last time I checked the .tar.gz was still from 2.0beta
<hcarty> According to the oasis-db site, the 2.0beta .tar.gz is still the live version
<thelema_> hcarty: gildor pulled that for me. I'm uploading a 1.4.0pre1 onw
<thelema_> I thought gildor pulled it...
<SoftTimur> and I keep this in my .emacs? "(setq auto-mode-alist (cons '("\\.ml\\w?" . tuareg-mode) auto-mode-alist)) (autoload 'tuareg-mode "tuareg" "Major mode for editing Caml code" t) (autoload 'camldebug "camldebug" "Run the Caml debugger" t)" ?
<thelema_> heh, he broke it.
<thelema_> SoftTimur: yes
_andre has quit [Ping timeout: 240 seconds]
<thelema_> hcarty: please test 1.4.0pre1
<thelema_> batteries 1.4.0pre1 just uploaded
<hcarty> thelema_: What are the changes from 1.3.0?
<SoftTimur> thelema_: I think I have loaded it... when I press C-c C-t, it says "End of buffer" and it open ".annot" in another buffer... is it what you have too? Isn't it possible to have everything interactively in 1 window?
<thelema_> hcarty: 241 commits for a ton of different things: http://pastebin.com/PAuVE7Ed
<thelema_> SoftTimur: when I press C-c C-t with my cursor over something, my minibuffer says "type: " and then the type of that thing.
Snark has quit [Quit: Ex-Chat]
<SoftTimur> thelema_: it is odd that for me it just says "End of buffer"
<thelema_> if I'm not pointing to something that was typechecked, I get "Point is not within a typechecked expression or pattern" - I don't know how you're getting your messages
<hcarty> thelema_: Odd - "ocaml odb.ml" doesn't list batteries
<hcarty> The info entries aren't there
<SoftTimur> thelema_: I get always "End of buffer" everywhere I press C-c C-t
<thelema_> hcarty: because it has an oasis file that doesn't explicitly list modules it provides. I fixed this in the 2.0, I guess I've not backpatched 1.x
<thelema_> SoftTimur: can you delete and re-create your .annot files?
<SoftTimur> thelema_: still same thing
lamawithonel has quit [Remote host closed the connection]
<SoftTimur> thelema_: is there any shortcut else that I could try with annot in Emacs?
<thelema_> huh, there's some interactive types-explore function that produces that message. I dunno why it's activated
<thelema_> "shortcut else"?
<SoftTimur> like C-x C-e
<thelema_> oh, some other keybinding? no.
<thelema_> although it wouldn't hurt to check that C-c C-t is bound properly
<thelema_> SoftTimur: C-c C-h
<thelema_> you should have: C-c C-tcaml-types-show-type
<SoftTimur> yes that is what I have
<thelema_> can you restart emacs?
<SoftTimur> I have done several times
<thelema_> since your last changes to .emacs, etc?
<hcarty> gildor: Does the oasis-generated build system support any sort of environment variables for $fooprefix values?
<SoftTimur> sure
SoftTimur has left #ocaml []
SoftTimur has joined #ocaml
Anarchos has joined #ocaml
<hcarty> gildor: Particularly where binaries are installed
<thelema_> SoftTimur: you didn't put the (require 'caml-types) in your .emacs, did you?
<SoftTimur> thelema_: no
<thelema_> SoftTimur: good. hmmm.
<thelema_> SoftTimur: what emacs version?
<SoftTimur> thelema_: I see the problem... C-c C-t does work well on some .ml files, while it does not work on only one .ml file
<thelema_> ok.
<SoftTimur> I have one .ml which has its .annot, but C-c C-t does not work on it
<thelema_> I can't explain why there's a problem
<SoftTimur> it is already not bad
<SoftTimur> that .ml is not well written, but it compiles... maybe that is why
<SoftTimur> thank you very much for your help
<SoftTimur> I am not going to update my question on stackoverflow...
<SoftTimur> I am now...
<hcarty> gildor: Nevermind - it looks like "prefix=$SOME_DIR ocaml odb.ml ..." works
<hcarty> thelema_: Batteries builds here from odb. I'll have to wait a bit for more in depth tests.
<thelema_> hcarty: thanks for testing
<hcarty> thelema_: Thanks for updating the oasis-db package
<thelema_> I just uploaded a new version of batteries with the _oasis tweaks, so batteries should now appear in the available package list
<SoftTimur> hello all, does anyone know how to bind a shortcut to "caml-types-show-ident" of Ocaml Emacs mode?
<thelema_> SoftTimur: example from something else: ;;(define-key tuareg-mode-map "\C-c\C-c" 'comment-region)
lamawithonel has joined #ocaml
<SoftTimur> I have bound it, but it shows "Symbol's function definition is void: caml-types-show-ident", actually I don't know what it is supposed to give...
<thelema_> SoftTimur: I think that's telling you that there's no function called "caml-types-show-ident"
<SoftTimur> thelema_: well maybe it is not useful...
<SoftTimur> do you know what does "C-mouse-2" mean?
_andre has joined #ocaml
<thelema_> Control-middle click
<thelema_> mouse-2 is 2nd mouse button
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 255 seconds]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
<SoftTimur> ok, I see...
<SoftTimur> I also see "Help for identifer" and "Complete identifier", do you know what is an identifier?
lamawithonel_ has quit [Excess Flood]
<thelema_> variable
lamawithonel_ has joined #ocaml
<thelema_> it's technically more general, but identifiers are generally used to identify variables.
<thelema_> it's a fancy word for "name"
<gildor> thelema_: I should have removed the 2.0 batteries version, does it still appear somewhere ?
<thelema_> gildor: it appeared as the download link on the batteries page for a while, but I think it's gone now that I've uploaded 1.4pre
<gildor> thelema_: ah yes, there is a 2.0beta link on 1.3 version
<gildor> but I remove the 2.0beta package's version
<gildor> thelema_: would you like to remove 1.3 as well
<gildor> ?
<thelema_> doesn't matter to me, keeping old versions.
<thelema_> if you'
lamawithonel_ has quit [Excess Flood]
<thelema_> ve got the time, you can fix the 1.3 page to link to 1.3
<thelema_> but it's unlikely to matter
<gildor> indeed, and it is just the dev version of oasis-db
lamawithonel_ has joined #ocaml
<gildor> we will have time to clean this up, when we will migrate packages to the prod server
<SoftTimur> thelema_: I see... thank you
Smerdyakov has joined #ocaml
<Smerdyakov> Does anyone have suggestions for invited speakers for ICFP 2011?
<gildor> thelema_: BTW, I am almost finished with online edition of _oasis
<thelema_> very nice. That'll help populate oasis-db
<gildor> thelema_: you can edit version to add non-important stuff in _oasis
<gildor> thelema_: and "derive v0.1.0oasis1" to create new tarball
<thelema_> and it'll help me debug _oasis-ized packages
<thelema_> although I'm not sure what I'm going to do with lablgtk2 - it's quite a beast
lamawithonel_ has quit [Excess Flood]
<gildor> thelema_: tomorrow I'll work on setup.ml regeneration after edit and after that on package/package's version removal
lamawithonel_ has joined #ocaml
<thelema_> package/package's version removal?
Cyanure has quit [Remote host closed the connection]
<gildor> You can remove package (e.g. ocaml-fileutils)
<thelema_> ah, great.
<gildor> or package's version: ocaml-fileutils v0.4.2
<thelema_> removing a package or just a version of that package.
<thelema_> got it.
<gildor> but if you remove a package, you remove all its versions
<thelema_> I didn't parenthesize your original wording properly.
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
mcclurmc_home has quit [Ping timeout: 264 seconds]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lopex has quit [Ping timeout: 240 seconds]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
strlen has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
axiles has quit [Remote host closed the connection]
boscop has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lopex has joined #ocaml
edwin has quit [Remote host closed the connection]
lamawithonel_ has quit [Ping timeout: 255 seconds]
lopex has quit [Ping timeout: 240 seconds]
_andre has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
_andre has joined #ocaml
_andre has quit [Client Quit]
mcclurmc_home has joined #ocaml
jamii has joined #ocaml
SoftTimur has quit [Quit: Leaving.]
ikaros has quit [Quit: Ex-Chat]
sepp2k has quit [Quit: Leaving.]
lamawithonel has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 255 seconds]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
lamawithonel_ has quit [Ping timeout: 255 seconds]
lamawithonel_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Excess Flood]
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 255 seconds]
dnolen has joined #ocaml
alexyk has joined #ocaml
jamii has quit [Ping timeout: 264 seconds]
Associat0r has quit [Ping timeout: 255 seconds]
Morphous_ has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
Morphous_ has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
flux has quit [Remote host closed the connection]
flux has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
Smerdyakov has quit [Quit: Leaving]