<thomasga>
we are in the process of doing an rc2, including improved docs on how to use ocamlbuild with typerex
<Ptival>
thomasga: where would these cmt(i) files appear? right next to their ml(i) right?
czro has quit [Ping timeout: 252 seconds]
<czro_>
hello
<czro_>
just testing... I', on a flaky connection...
decaf has joined #ocaml
<czro_>
no luck with the profile thing. configure doesn't recognise the command.
<thomasga>
Ptival: in _build/, right to the cmo
<thomasga>
so you should need to add the line 'CMT _build' to your .typerex
<thomasga>
"right next to the cm(o/i)"
<f[x]>
czro_, --override profile true
chambart has quit [Ping timeout: 260 seconds]
<czro_>
buidling worked. Thanks!
Kakadu has joined #ocaml
<Ptival>
thomasga: I have tried modifying /etc/findlib.conf, putting Options.ocamlc := S [ A "ocp-ocamlc"] in myocamlbuild.ml, and your argument passing solutions, and none of them are producing cmt(i) files in my _build directory :(
zorun has quit [Read error: Connection reset by peer]
<Ptival>
maybe I didn't clean correctly
zorun has joined #ocaml
czro_ has quit [Read error: Connection reset by peer]
iago has joined #ocaml
avsm has quit [Quit: Leaving.]
<thomasga>
Ptival: yes, you should clean you tree first
<thomasga>
otherwise, ocp-ocamlc won't be called and the cmt won't be generated
_andre has joined #ocaml
ulfdoz has joined #ocaml
czro has joined #ocaml
<czro>
How do I build opt targets with oasis? seems like only bytecode is built?
<czro>
sorry. Found it in the docs.
avsm has joined #ocaml
decaf has quit [Quit: Leaving.]
decaf has joined #ocaml
decaf has quit [Client Quit]
decaf has joined #ocaml
eikke has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
KDr2 has joined #ocaml
Zedrikov has joined #ocaml
decaf has quit [Quit: Leaving.]
decafbad has joined #ocaml
decafbad is now known as decaf
decaf has quit [Client Quit]
decaf has joined #ocaml
chambart has joined #ocaml
decaf has quit [Client Quit]
decaf has joined #ocaml
Zedrikov has quit [Quit: Bye all, see you next time!]
Drakken has quit [Ping timeout: 252 seconds]
Drakken has joined #ocaml
czro has quit [Quit: Lost terminal]
Drup has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
<iZsh>
pippijn: all my AST node have an extra "traits" type (annotations for you)
<iZsh>
also you might want to use a Set or something like that instead of a list
<iZsh>
(if you want uniqueness)
EmmanuelOga has joined #ocaml
oriba has joined #ocaml
Cyanure has quit [Remote host closed the connection]
ikaros has joined #ocaml
datkin has quit [Ping timeout: 272 seconds]
letrec has joined #ocaml
datkin has joined #ocaml
<pippijn>
iZsh: yep, I did that, now
<pippijn>
iZsh: it's working well
ftrvxmtrx_ has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
ankit9 has quit [Quit: Leaving]
emmanuelux has joined #ocaml
cdidd has quit [Ping timeout: 276 seconds]
Kakadu has quit [Read error: No route to host]
Kakadu has joined #ocaml
cdidd has joined #ocaml
Cyanure has joined #ocaml
<thomasga>
Kakadu: your bug with including core should be fixed with typerex rc2
Kakadu has quit [Ping timeout: 245 seconds]
<flux>
ooh, new release of typerex! and I didn't manage to even test the previous one, although I had it downloaded ;)
Kakadu has joined #ocaml
<thelema>
flux: same here
<Ptival>
I did test the previous one, and the two bugs I reported are fixed in this one, sweet
<olasd>
thelema: 1.0.2-1+b1 is 1.0.2, first debian revision, first binary rebuild
<olasd>
not beta 1
<thelema>
olasd: ah, ok.
<thelema>
olasd: I'm used to b1 being first beta
<olasd>
afaict there is no patch wrt upstream in debian
<thelema>
then it's possible that my source has a patch.
<olasd>
indeed there are a few differences
<olasd>
and got it
silver_ has joined #ocaml
zerbob has joined #ocaml
cago has quit [Quit: Leaving.]
oriba has quit [Ping timeout: 260 seconds]
<pippijn>
can't I use ocamldebug when my program uses open_process_(in|out)?
<pippijn>
I get Uncaught exception: Unix.Unix_error (5, "waitpid", "")
<thelema>
hmm, maybe some issue with ocamldebug's time-traveling - can you try turning it off?
<pippijn>
thelema: how?
<pippijn>
set history 0?
<pippijn>
that didn't help
<pippijn>
I tried 0 and 1
ftrvxmtrx has quit [Read error: Connection reset by peer]
<thelema>
set checkpoints off?
<pippijn>
ha
<pippijn>
thelema: yes, that helps
<pippijn>
thanks
<thelema>
n/p
<pippijn>
is there a way to interface with ocamldebug programmatically?
<pippijn>
so I can set them off in the 2 places where I open process channels
ikaros has quit [Quit: Ex-Chat]
<thelema>
afaik, no
<pippijn>
ok
zcro has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
sander has joined #ocaml
pangoafk is now known as pango
zcro has quit [Quit: Lost terminal]
letrec has quit [Ping timeout: 248 seconds]
datkin has quit [Ping timeout: 260 seconds]
avsm has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
datkin has joined #ocaml
cdidd has quit [Remote host closed the connection]
Xizor has joined #ocaml
<thelema>
I want to include the result of a functor but add a new val to one of its submodules - is this unreasonable?
<hcarty>
thelema: It's not unreasonable, but I don't think it's very easy (or maybe not possible?) to do directly
<hcarty>
I ran into the same issue a while ago trying to extend the Bigarray submodules. With a functor it would be even more complicated I would think
<thelema>
should be about the same; I even have an explicit module type for the result
<thelema>
Error: In this `with' constraint, the new definition of Infix does not match its original definition in the constrained signature:
<hcarty>
My work-around for extending Bigarray was along the lines of "include Biggary : module type of Bigarray with Array1 := Array1"
<thelema>
That's what I'm playing with, but can't seem to change the module type.
<hcarty>
I'm not sure if you could do the same thing with a functor and still be able to access the original submodule
<adrien>
acmutt
<adrien>
fail =)
<adrien>
hi o/
<hcarty>
adrien: screen?
<thelema>
hcarty: hmm, maybe you're right...
<adrien>
hcarty: tmux with C-a as a prefix ;-)
<hcarty>
thelema: I don't see a way to rename/replace a module without removing it entirely.
<hcarty>
thelema: Not bad. I don't know if there is a similar workaround for the BatMap.Infix case, where the Infix module does not have its own functor.
<thelema>
yes, just do: include BatMap.Make(Foo).Infix
<thelema>
on line 3
<thelema>
It does require two functor instantiations, which is odd
<thelema>
but I don't see why it wouldn't work
twittard has joined #ocaml
<hcarty>
"include Map.Make(Int).Infix" does not work for me
<hcarty>
That's a bummer.
<thelema>
really? hmm...
<thelema>
3.12.1, right?
<hcarty>
thelema: Yes
<hcarty>
If I tweak it a bit -- include Map.Make(Int) include Infix -- then I get further, but still run into issues.
<hcarty>
val ( --> ) : 'a t -> key -> 'a is not included in val ( --> ) : 'a t -> key -> 'a
<hcarty>
Which isn't the most helpful error
<thelema>
The syntax for module expressions doesn't allow extended module paths - maybe this is an oversight, maybe not...
<hcarty>
thelema: Ah! Thanks. I was missing the 'a t piece.
Tobu has joined #ocaml
<thelema>
The abstract signature has to be tweaked (with =) to make it fit the specific signature matched by the specific infix module
oriba has joined #ocaml
<hcarty>
thelema: Any thoughts on the request for signature checks in odb.ml and ocamlbrew?
<thelema>
hcarty: odb now supports md5=<ms5 checksum> for tarballs. It's not any real security, but it was maybe 6 lines of code, so...
Snark has quit [Quit: Quitte]
<NaCl>
thelema: to verify the download worked
<thelema>
NaCl: gzip will fail for most corrupted downloads
<NaCl>
or that
_andre has quit [Quit: leaving]
Kakadu has quit [Quit: Konversation terminated!]
<hcarty>
thelema: I'm a bit reluctant to do something similar for ocamlbrew. I could for the default packages I suppose...
<thelema>
md5sum -c should make this pretty easy
<hcarty>
That may be more shell trickery than I want to get into. If you're grabbing a .tar.gz, get MD5SUM, md5sum -c on only the relevant archive line, parse result
<thelema>
no parsing of the result, -s gives it as a status code
<thelema>
err, --status
<thelema>
(at least on gnu md5sum)
<thelema>
hmm, maybe better to buildin the md5sums into your shell script and do something like `md5sum file | cut -c 1-16` = 123945678987
<thelema>
err, 1-32
<hcarty>
thelema: I'd rather avoid hard-coding anything as the script is intended to work with more than one version of OCaml
<thelema>
hcarty: well then push it back on those asking for it to write it for you.
<hcarty>
thelema: I think I may have something that works, but yes that may be the result.
<thelema>
maybe not portable to other md5sum implementations
<hcarty>
Indeed. That, however, will definitely be left up to others to patch. I don't have (easy) access to non-GNU md5sum binaries.
<hcarty>
And the check would only be on the OCaml archive, as that is the only thing installed by ocamlbrew which includes any kind of hash data.
<thelema>
that doesn't seem as difficult, then
Cyanure has quit [Ping timeout: 240 seconds]
<hcarty>
I agree. I won't have a chance to work on it for a little while. If no one submits a patch before I get time for ocamlbrew then I'll at least implement that much.
<thelema>
I don't think it's particularly important as a security precaution
<hcarty>
I don't either. It could be a helpful indicator of network/corruption issues... but that isn't ocamlbrew or odb's job.
g0dmoney- has quit [Ping timeout: 245 seconds]
g0dmoney- has joined #ocaml
g0dmoney- has quit [Changing host]
g0dmoney- has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
zerbob has quit [Quit: Page closed]
sander has quit [Read error: Connection reset by peer]
sander has joined #ocaml
edwin has quit [Remote host closed the connection]
Submarine has quit [Remote host closed the connection]
emmanuelux has quit [Remote host closed the connection]
emmanuelux has joined #ocaml
avsm has quit [Quit: Leaving.]
ftrvxmtrx has joined #ocaml
silver_ has quit [Remote host closed the connection]
Xizor has quit []
ylc has joined #ocaml
sander has quit [Quit: Leaving]
<pippijn>
is there a better way to write this: | Statement (stmt) when (match stmt with AsmStatement _ -> true | _ -> false) ->
fezghoul has left #ocaml []
<_habnabit>
| Statement (AsmStatement _) ->
<pippijn>
_habnabit: I need stmt
<_habnabit>
| Statement (AsmStatement _ as stmt) ->