#ocaml on 2010-01-23 — irc logs at freenode.irclog.whitequark.org

01:23 <Scraggy> When I try to compile http://pastebin.com/d7481030a I get an error in the highlighted line, indicating the =. Why?

01:26 <julm> what error?

01:26 <julm> and what "="?

01:29 <Scraggy> ocamlc -c borderlayout.mli -o borderlayout.cmo

01:29 <Scraggy> File "borderlayout.mli", line 9, characters 20-21:

01:29 <Scraggy> Error: Syntax error

01:29 <julm> isn't callback also an optional argument in the inherited class?

01:29 <Scraggy> Yes

01:30 <julm> so the '=' underlined is the one of the module statement

01:30 <julm> hm

01:30 <julm> could you try with camlp4of instead of ocamlc

01:30 <julm> to get a more accurate error message

01:31 <Scraggy> Parse error: [module_declaration] expected after [a_UIDENT] (in [sig_item])

01:33 <julm> do you still have the error without the class declaration?

01:33 <Scraggy> Yes

01:33 <julm> without the open statement?

01:34 <Scraggy> Yes

01:34 <julm> duh

01:35 <julm> could it be a fancy space character?

01:35 <Scraggy> ?

01:35 <julm> I don't think anyway

01:35 <julm> what is the compilation command?

01:35 <Scraggy> camlp4of borderlayout.mli

01:36 <julm> aaaaah

01:36 <julm> .mli

01:36 <julm> should be .ml

01:36 <julm> .mli only have module Toto : sig .. end

01:36 <Scraggy> Oh

01:36 <julm> mli : ML Interface

01:37 <Scraggy> Thanks

01:37 <julm> only signatures

01:48 <Scraggy> When I try to compile the file, along with the superclass, It gives me an unbound class error.

01:52 <Scraggy> http://pastebin.com/m7e5b0ceb

01:58 <ixhcltrsc> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

01:59 <ixhcltrsc> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

01:59 <julm> hey

02:00 <julm> smart :D

02:08 <gymhzaogd> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:09 <gymhzaogd> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:09 <julm> get out silly you

02:09 <gymhzaogd> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:31 <ycmapqz> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:34 <Alpounet> damn

02:34 <Alpounet> and no way to ban them from here.

02:34 <julm> many ways

02:34 <julm> 1/ report on #freenode

02:34 <julm> 2/ set +R to this chan

02:34 <Alpounet> I meant they do not have the same hosts, etc.

02:35 <Alpounet> +R isn't a good solution

02:35 <julm> temporaly it could

02:35 <Alpounet> since we have many new persons every day here

02:35 <Alpounet> hmm

02:35 <julm> +rf also

02:35 <orbitz> +R is a reasonable solution fo ra shor tperiod

02:35 <orbitz> that's what we did in #erlang

02:36 <Alpounet> I don't have the power to set those.

02:36 <kloeri__> would anybody try to strangle me if I set +R? or do something else that I wouldn't like very much? :)

02:36 <Alpounet> don't think so, if it's temporary for a beginning.

02:37 <julm> neither me, at least until tomorrow :D

02:38 <julm> that said that last one was quickly klined

02:39 <khkexsylg> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:39 <julm> rha

02:39 <khkexsylg> Hi all. It seems we are again seeing javascript based flood spam. If you are experiencing this, please do not click the links in the messages as they will cause you to repeat the spam. More information is available at http://peoplesprimary.com. Thanks!

02:40 <julm> thanks

02:41 <kloeri__> np

10:46 <dest> Hi guys. If a function calls another one located below in the file, there's a definition problem. In C, it's possible to redefine the called function before the calling one. I guess it has something to do with the compiler passes. Is it possible to do something like that in O'Caml. In fact, I ordered functions alphbetically and obviously, it causes problems.

10:55 <olegfink> dest: you can use something like http://ideone.com/EeAycCBH

11:01 <dest> What you're suggesting is to use "and", yes, maybe I could do that even though it's not exactly what I have in mind

11:04 <olegfink> the advantage of mutually recursive (let rec ... and ...) bindings is that you can arrange them in any order, you don't have to arrange forward declarations.

11:06 <mrvn> Unless the functions are multually recusrive just order them in the right way.

11:07 <dest> mrvn: I would like to order them alphabetically

11:08 <mrvn> dest: That doesn't make sense in a functional language

11:09 <mrvn> The reason you can't forward declare a function is that this wouldn't work then: # let f () = 1 let g = f let f () = 2;;

11:09 <mrvn> # Printf.printf "%d %d\n" (f ()) (g ());;

11:09 <mrvn> 2 1

11:10 <dest> This is what I wanted : http://pastebin.com/d574bbf06

11:10 <mrvn> or let x = 2 * 17 in let x = x * 5 in let x = x + 7 in x;;

11:20 <boscop> http://ecee.colorado.edu/~siek/gradualtyping.html

11:26 <dest> boscop: thanks, I'll look into that

14:42 <thelema> err, #5

14:43 <thelema> ah, yoric - always better at selling than I

14:43 <Yoric> :)

14:44 <Yoric> I've also posted it on reddit.

15:29 <mfp> thelema: why isn't the Batteries module listed in http://thelema.github.com/AAA-batteries/hdoc/?

15:32 <mfp> http://github.com/thelema/batteries-included/issues#issue/31

16:01 <thelema> mfp: because it doesn't have a mli file

16:02 <mfp> was going to say that ocaml can also handle the .ml

16:02 <mfp> but the generated docs would probably look quite bad

16:02 <mfp> would they link back to the BatXXX modules with the actual docs?

16:02 <mfp> gotta try

16:04 <thelema> plz try - I'm going to debug (and maybe fix) the -threads requirement

16:09 <thelema> ocamlfind: Error from package `threads': Missing -thread or -vmthread switch

16:10 <thelema> This doesn't seem right... Maybe it's the ocamlbuild that's not setting -thread

16:10 <thelema> hmm, except if I explicitly include pkg_thread, it seems to work

16:13 <mfp> thelema: posting on http://www.reddit.com/r/programming/comments/at7yj/ocaml_batteries_included_100_released/

16:15 <thelema> yes, I'm around - no I'm not on reddit.

16:17 <thelema> yes, documentation is high priority

16:19 <thelema> Can we avoid documenting most of batteries.ml and instead just say "[open Batteries] makes all the bat* modules available without the bat prefix (midex with stdlib modules as necessary), and provides a Legacy module with all the original stdlib modules available"

16:19 <mfp> wow 29 up 3 down, 90% approval rating this is very high

16:20 <mfp> thelema: where's the harm in documenting it though, assuming it can be done without much effort?

16:21 <derdon> what is a "symbol" in OCaml? is it comparable to objects in Python? Is the grammar of OCaml reachable through the internet?

16:21 <thelema> to fully document the result of mixing the stdlib modules with bat* modules would require copying the stdlib documentation, which I spent a lot of time stripping out.

16:22 <thelema> derdon: ocaml has identifiers, some of which can be made from non-alphanumeric characters

16:22 <thelema> derdon: check the ocaml reference manual http://caml.inria.fr/pub/docs/manual-ocaml/index.html

16:22 <thelema> mainly Part II, the Ocaml Language

16:23 <thelema> subpart "Prefix and infix symbols"

16:23 <derdon> ah, thanks

16:26 <mfp> thelema: hmm batteries.ml is still doing module List = struct include List include BatList end I thought BatList and Batteries.List were supposed to be the same?

16:26 <mfp> ignore me

16:27 <mfp> ic, that's the way to document only the extensions in batList.mli