Yurik changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available
malc has quit [Read error: 110 (Connection timed out)]
Yurik has joined #ocaml
<Yurik> re
<Yurik> guys, can you explain what is 32 signal SIGRTMIN?
<Yurik> i got it in caml program :-\
graydon has left #ocaml []
Yurik has quit ["÷ÙÛÅÌ ÉÚ XChat"]
skylan has quit [Connection reset by peer]
Yurik has joined #ocaml
<Yurik> re
graydon has joined #ocaml
<whee> yurik (8
<Yurik> whee: hi
<Yurik> did you see my message about SIGRTMIN?
<Yurik> i'm really surprised a lot w/ it... it is fucking weird!
<Yurik> especially having it in caml program
<whee> erm
<whee> what's that signal for
<Yurik> as i understand, it is user-defined
<Yurik> async singal
<Yurik> async signal
<whee> never even heard of it
<whee> can't find docs on it either
<whee> you're using linux I take it?
Yurik_ has joined #ocaml
<whee> D:
<Yurik_> re
<Yurik_> in gdb i can see:
<whee> are you using linux?
mattam has quit ["leaving"]
Yurik__ has joined #ocaml
<Yurik__> re
<Yurik__> fucking connection :(
<whee> heh
<Yurik__> did you see cut from gdb?
<whee> nope
<Yurik__> Program received signal SIG32, Real-time event 32.
<Yurik__> 0x4010fd89 in sigsuspend () from /lib/libc.so.6
<Yurik__> (gdb) up
<Yurik__> #1 0x400c3d87 in pthread_getconcurrency () from /lib/libpthread.so.0
<Yurik__> (gdb) up
<Yurik__> #2 0x400c3599 in pthread_create () from /lib/libpthread.so.0
<Yurik__> (gdb) up
<Yurik__> #3 0x810fc64 in caml_thread_initialize ()
<Yurik__> (gdb) up
<Yurik__> #4 0x80e4664 in Thread__entry ()
<Yurik__> (gdb) up
<Yurik__> #5 0x7 in ?? ()
<Yurik__> (gdb) up
<Yurik__> #6 0x830818ee in ?? ()
<Yurik__> (gdb) up
<Yurik__> Cannot access memory at address 0x40a1c189
<whee> linux?
<whee> heh
<Yurik__> yep, linux
<whee> no idea :|
<Yurik__> pity :(
<Yurik__> i've spent few hours already and got no idea too
<whee> I don't think it's a caml problem
<Yurik__> i don't think too... but it is really werid
<Yurik__> i don't think too... but it is really weird
<Yurik__> i've done even no real changes to program and it started doing so
<Yurik__> and can't get it back :-\
<Yurik__> and i have quite similar program (based on the same caml class) that works perfectly
<Yurik__> (both of them use Ensemble)
<Yurik__> what is a level of concurrency in terms of threads?
<Yurik__> may be this will help
* Yurik__ is reading info libc
* Yurik__ is rollbacking to very original version.. :-(
<Yurik__> later
<whee> well
Yurik__ has quit ["÷ÙÛÅÌ ÉÚ XChat"]
<whee> er
<whee> heh
Yurik_ has quit [Read error: 110 (Connection timed out)]
Yurik has quit [Read error: 110 (Connection timed out)]
skylan has joined #ocaml
graydon has quit [Remote closed the connection]
graydon has joined #ocaml
TimFreeman has joined #ocaml
TimFreeman has left #ocaml []
gl has joined #ocaml
gl has quit [forward.freenode.net irc.freenode.net]
BeJiTo has quit [forward.freenode.net irc.freenode.net]
graydon has quit [forward.freenode.net irc.freenode.net]
nkoza has quit [forward.freenode.net irc.freenode.net]
whee has quit [forward.freenode.net irc.freenode.net]
xtrm has quit [forward.freenode.net irc.freenode.net]
smkl has quit [forward.freenode.net irc.freenode.net]
skylan has quit [forward.freenode.net irc.freenode.net]
SoreEel has quit [forward.freenode.net irc.freenode.net]
Segora has quit [forward.freenode.net irc.freenode.net]
emu has quit [forward.freenode.net irc.freenode.net]
Torquemada has quit [forward.freenode.net irc.freenode.net]
gl has joined #ocaml
graydon has joined #ocaml
skylan has joined #ocaml
BeJiTo has joined #ocaml
nkoza has joined #ocaml
SoreEel has joined #ocaml
xtrm has joined #ocaml
whee has joined #ocaml
smkl has joined #ocaml
Torquemada has joined #ocaml
emu has joined #ocaml
Segora has joined #ocaml
* gl is away: I'm busy
gl has quit [Read error: 54 (Connection reset by peer)]
gl has joined #ocaml
mattam has joined #ocaml
graydon has left #ocaml []
karryall has joined #ocaml
mrvn has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
BeJiTo has quit [Read error: 54 (Connection reset by peer)]
BeJiTo has joined #ocaml
lam__ has joined #ocaml
lam_ has quit [Read error: 104 (Connection reset by peer)]
TachYon25 has joined #ocaml
ayrnieu has joined #ocaml
lam__ has left #ocaml []
lam has joined #ocaml
<lam>
smoke has joined #ocaml
<smoke> greetings
__DL__ has joined #ocaml
__DL__ has left #ocaml []
BeJiTo has quit [Read error: 104 (Connection reset by peer)]
BeJiTo has joined #ocaml
lament has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
aps has left #ocaml []
aps has joined #ocaml
TachYon25 has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
graydon has joined #ocaml
lament has quit ["mental mantle"]
emu has quit [Remote closed the connection]
emu has joined #ocaml
zack has joined #ocaml
lament has joined #ocaml
systems has joined #ocaml
zack has left #ocaml []
karryall has quit []
TachYon25 has joined #ocaml
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
systems has left #ocaml []
graydon has quit [Read error: 110 (Connection timed out)]
TachYon25 has quit [Remote closed the connection]
BeJiTo has quit [Read error: 104 (Connection reset by peer)]
graydon has joined #ocaml
gl has quit [Connection timed out]
TachYon25 has joined #ocaml
ayrnieu has quit ["ERC v2.93 $Revision: 1.308 $ (IRC client for Emacs)"]
karryall has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
gl has joined #ocaml
malc has joined #ocaml
<mattam> someone here tried lablgtkmathview ?
malc has quit [Read error: 110 (Connection timed out)]
uzdav has joined #ocaml
docelic has joined #ocaml
<uzdav> Hi everyone. I'm new to ocaml and am wondering if someone can explain something about modules.
<uzdav> Why doesn't this work? module Foo = struct
<uzdav> let create = 5
<uzdav> let f x = x
<uzdav> end
<uzdav> let bar = Foo.create
<uzdav> Foo.f bar
<uzdav> I get the following message:
<uzdav> File "test.ml", line 6, characters 10-20:
<uzdav> This expression is not a function, it cannot be applied
<uzdav> anyone there?
<karryall> yep
<karryall> you should either use ;;
<karryall> let bar = Foo.create ;;
<karryall> Foo.f bar ;;
<karryall> or use antoher let ...
<karryall> let _ = Foo.f bar
lament has quit ["mental mantle"]
gl has quit ["remember the girl, abused with forks, knives and razor blades!"]
<uzdav> thanks karryall, I tried w/ 1 semicolon, but I thought 2 were only needed in a toplevel, not in ocamlc. What's the difference?
* SoreEel prefers the revised syntax
<uzdav> what would that be?
<SoreEel> It's an alternate syntax for OCaml: http://caml.inria.fr/camlp4/manual/manual007.html
<SoreEel> I find the old syntax an aesthetic curmudgeon.
<uzdav> I presume this new syntax must be enabled somehow. Or is it a preprocessor? Just running ocamlc, it rejects "value x = 23;"
<karryall> uzdav: about the double-semicolon ...
<karryall> it's for compatibility with the toplevel
<karryall> in a module, you can't have expressions just like that
<karryall> they have to be in a let binding
<uzdav> ok, thanks.
<uzdav> ... but not like this:
<uzdav> let bar = Foo.create in
<uzdav> Foo.f bar;;
<uzdav> I get a syntax error.
<uzdav> (I really like ocaml so far but the error messages are very terse.)
<SoreEel> What's the offending code?
<uzdav> module Foo = struct
<uzdav> let create = 5
<uzdav> let f x = x
<uzdav> end
<uzdav> let bar = Foo.create in
<uzdav> Foo.f bar;;
<uzdav> ocamlc test.ml
<uzdav> File "test.ml", line 6, characters 21-23:
<uzdav> Syntax error
<karryall> you can't have let .. in at toplevel
<karryall> let bar = Foo.create
<karryall> let foo = Foo.f bar
<karryall> let and let .. in are different
<uzdav> local vs global binding, right?
<karryall> that's one the things the revised syntax modifies
<karryall> yes
<uzdav> is that the only difference?
<karryall> hum, they do not appear at the same level
<karryall> a let .. in is an expression
<karryall> whereas a let is a structure element (part of a module)
<uzdav> Maybe I'm missing something, but why is the expression 5 valid at a toplevel, if a let..in is disallowed?
TachYon25 has joined #ocaml
<karryall> you mean the toplevel (the program) ?
<karryall> expr ;; is equivalent to let _ = expr
<uzdav> Aha! So the let...in does work when followed by ;;
<karryall> yep
<uzdav> I think I get it now. Thanks
<uzdav> Another question... I think the answer is "no".
<uzdav> Is there anything similar to scheme/lisp's "eval" functionality to run code dynamically?
<karryall> no
<uzdav> Are there are ocaml interpreters written in ocaml? That might be a solution.
taw has joined #ocaml
<karryall> there's dynamic caml http://oops.tepkom.ru/dml/
<karryall> (never used it)
<uzdav> interesting. I'm looking at ocaml for its speed, coming from scheme.
<SoreEel> http://caml.inria.fr/tutorial/index.html I believe implements a small caml interpreter through the course of the book.
<SoreEel> OCaml seems well suited for those sorts of tasks.
<uzdav> I'm looking at genetic algorithms, and while scheme is great, it's too slow for what I want to do.
<taw> i have problem with ocamlyacc - i want it to return foo_t list, how can i force it to include "open Foo" in .mli file ?
<taw> stuff in opening section doesn't get copied to .mli only to .ml
docelic has quit ["Client Exiting"]
gl has joined #ocaml
<uzdav> The documentation I have on ocamlyacc says that "the header is only visible by the rules and not by the declarations. In particular, this implies that module openings (open) are not taken into consideration in the declaration part and the types must therefore be fully qualified."
mattam has quit ["leaving"]
<taw> oh
<uzdav> Maybe there's a switch to change that behavior, I don't know. I've never used it.
<taw> ok, i came around that
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]