<elehack>
we might want to look at integrating Clerc's BOLT logging framework.
<elehack>
its syntax support is nice.
* thelema
checks to see if bolt requires camlp4 to be usable
<thelema>
good, it supports explicit logging
<elehack>
I've found it necessary to use the version from darcs, though
<elehack>
and have a few of my own patches for it rolling around (I don't remember if any of those are still functionality patches, or whether they're just to glue it in to my build system)
<elehack>
hmm, i get test failures on the latest git sources for batteries
<thelema>
yes, I'm going to force the problem with batDynArray to be fixed.
<elehack>
ok.
<thelema>
I found the source of the segfault, but I can't figure out the problem with what's left.
<thelema>
it looks like the [iset] call on line 360 isn't doing anything
<elehack>
interesting.
<thelema>
maybe the problem is with changelen...
<thelema>
I've not traced it quite enough.
* elehack
thinks so
<thelema>
hmm, looking at things again, my changes prevent segfaulting, but they're semantically wrong
<elehack>
was the change making the changelen set the length to p-1?
<thelema>
changelen should take a new length, and the length of a zero-offset array is the position of the next unused index
<thelema>
yes, that was the change.
<elehack>
k.
<elehack>
if I drop the changelen call on line 364 and just set dest.len to p, the tests pass.
<thelema>
before it was !p, and it segfaulted because it had an array of length 1, but the length said 2
<elehack>
if only one item has been added to the destination array, then p should be 1 at that point.
<thelema>
yes, that's what I'm realizing now... odd...
<elehack>
probably doesn't cause a problem, but why does make use Obj.magic rather than Obj.obj?
<thelema>
batDynArray.make? I don't see Obj.magic there
<elehack>
batDynArray.imake
<thelema>
Obj.obj would be better, yes
<thelema>
maybe there's some edge conditions around small arrays...
derdon has quit [Ping timeout: 260 seconds]
<thelema>
well, the -1 is definitely the wrong fix
<thelema>
I added some debug message on resize - apparently something is going wrong with the d.len
<thelema>
ah, found it. make sets len = 0
<thelema>
it should set it to initsize for filter to work right
<thelema>
does this break anything else... yes.
<thelema>
dest.len is initialized to 0, and changelen doesn't work right in this case.
<thelema>
yay, fixed the test case
<elehack>
:)
<thelema>
probably need more extensive tests like this
<elehack>
how about simplifying it and just having filter use add? add should be inlinable, so the extra cost should be nil.
<thelema>
would resize often... but wouldn't actually reallocate the array on any sane resizer
<thelema>
hmm, maybe it would...
<elehack>
if it decides that it first needs to shrink it...
<thelema>
exactly...
<elehack>
so we first set the resizer to a no-op.
<thelema>
ick.
<elehack>
yeah, although I like the idea of re-using the add logic...
<elehack>
we could enforce "no sane resizer should want to shrink the array on add" and only have add call the resizer if it needs to expand the array.
<elehack>
err, I guess the conservative one does shrink on insert.
* elehack
is not entirely sure why there is this whole resizer thing, rather than just doing the double/half logic for amortized constant time, providing a function to shed extra capacity, and calling that good enough.
<elehack>
another piece of the extlib legacy?
valross has joined #ocaml
<thelema>
probably.
<thelema>
yes, definitely. over-engineering strikes again
<elehack>
would you be opposed to 2.0 simplifying that?
<elehack>
then add can be used everywhere, and the code gets much simpler.
jakedouglas has joined #ocaml
<elehack>
rewriting working code is frequently to be avoided, but removing code duplication seems to me to reduce the potential for error and increase the correct-by-inspection factor.
joewilliams is now known as joewilliams_away
* elehack
should head off for the evening. have a good night, thelema.
<murph>
Is there an ocaml decompiler?
elehack has quit [Ping timeout: 240 seconds]
<murph>
like, for cmi/cmo files
<thelema>
for bytecode? not to my knowledge
<thelema>
cmi is just the interface, that's convertible into an mli
<thelema>
one might be able to get the compiler to do that conversion using -i somehow
ulfdoz has joined #ocaml
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
jakedouglas has quit [Quit: Leaving.]
valross has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
ztfw` has joined #ocaml
ztfw has quit [Ping timeout: 260 seconds]
valross has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
Amorphous has quit [Ping timeout: 248 seconds]
Amorphous has joined #ocaml
ygrek has joined #ocaml
aja has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 245 seconds]
seafood has quit [Quit: seafood]
ikaros has joined #ocaml
thrasibule has quit [Quit: No Ping reply in 180 seconds.]
thrasibule has joined #ocaml
valross has quit [Quit: Ex-Chat]
ttamttam has joined #ocaml
thrasibule has quit [Ping timeout: 240 seconds]
ftrvxmtrx has quit [Quit: Leaving]
Associat0r has joined #ocaml
Associat0r has quit [Quit: Associat0r]
<sgnb>
murph: ocamldumpobj
ftrvxmtrx has joined #ocaml
krankkatze has joined #ocaml
Edward_ has joined #ocaml
Yoric has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
th5 has joined #ocaml
oriba has joined #ocaml
oriba has quit [Read error: Connection reset by peer]
__gilles has joined #ocaml
krankkatze has quit [Ping timeout: 260 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
ftrvxmtrx has quit [Quit: Leaving]
krankkatze has joined #ocaml
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
ftrvxmtrx_ has joined #ocaml
sepp2k has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 260 seconds]
verte has joined #ocaml
oriba has joined #ocaml
oriba has quit [Quit: Verlassend]
ftrvxmtrx_ has quit [Remote host closed the connection]
th5 has quit [Read error: Connection reset by peer]
th5 has joined #ocaml
ftrvxmtrx has joined #ocaml
adrien has quit [*.net *.split]
adrien has joined #ocaml
adrien has quit [*.net *.split]
_andre has joined #ocaml
adrien has joined #ocaml
ikaros has joined #ocaml
ygrek has joined #ocaml
itewsh has joined #ocaml
derdon has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
rn114 has joined #ocaml
rn114 has quit [Client Quit]
robthebob has joined #ocaml
seafood has joined #ocaml
oriba has joined #ocaml
th5_ has joined #ocaml
th5 has quit [Read error: Connection reset by peer]
th5_ is now known as th5
robthebob has quit [Quit: Leaving]
Associat0r has joined #ocaml
robthebob has joined #ocaml
ftrvxmtrx_ has joined #ocaml
Edward_ has quit []
ftrvxmtrx has quit [Ping timeout: 252 seconds]
Yoric_ has joined #ocaml
oriba has quit [Quit: Verlassend]
ikaros has quit [Ping timeout: 265 seconds]
seafood has quit [Ping timeout: 260 seconds]
verte has quit [Quit: ~~~ Crash in JIT!]
Yoric has quit [Ping timeout: 240 seconds]
Yoric_ is now known as Yoric
philed has quit [Remote host closed the connection]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ftrvxmtrx_ has quit [Ping timeout: 240 seconds]
derdon has quit [Read error: Operation timed out]
ygrek has quit [Ping timeout: 245 seconds]
carm is now known as struktured
ftrvxmtrx has joined #ocaml
jakedouglas has joined #ocaml
ztfw` has quit [Remote host closed the connection]
ztfw` has joined #ocaml
ztfw` has left #ocaml []
joewilliams_away is now known as joewilliams
derdon has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
maskd has quit [Quit: Reconnecting]
maskd has joined #ocaml
ccasin has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ikaros has joined #ocaml
<hcarty>
thelema: Is there a patch/fix for compiling Batteries' pa_format with OCaml 3.12beta1?
<hcarty>
thelema: I remember reading something about it, but I haven't found the relevant commit/mailing list message
jonafan_ is now known as jonafan
<thelema>
there is... let me see if I can find it.
<sgnb>
(but you all are already subscribed to that bug...)
<thelema>
not officially recognized by ocaml maintainers yet
<hcarty>
sgnb: Yes, I found that too - forgot that I had subscribed to it
<hcarty>
Thank you both
Tianon has quit [Remote host closed the connection]
<hcarty>
With that patch applied, Batteries builds under GODI's OCaml 3.12beta1.
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
<thelema>
hmm, should we release a 1.2.3 batteries that compiles under 3.12?
<hcarty>
I'm not sure, since it's a work-around for a bug in 3.12.
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
voker57 has quit [Read error: Connection reset by peer]
jakedouglas has joined #ocaml
sepp2k has quit [Remote host closed the connection]
Yoric has quit [Quit: Yoric]
th5 has quit [Ping timeout: 240 seconds]
ftrvxmtrx has quit [Quit: Leaving]
jeddhaberstro has joined #ocaml
sepp2k has joined #ocaml
<hcarty>
Lots of camlp4 extensions seem to have problems with 3.12
<hcarty>
pa_do, type-conv and mikmatch all fail to build
ttamttam has quit [Quit: ttamttam]
mehdid has joined #ocaml
ulfdoz has joined #ocaml
ygrek has joined #ocaml
jakedouglas has quit [Ping timeout: 265 seconds]
jakedouglas has joined #ocaml
<mfp>
hcarty: is that caused by changes in camlp4 or in the language?
* mfp
bets it's the former
<mfp>
ignore me, found the answer in the remainder of the IRC logs
<hcarty>
mfp: Yep, camlp4. After experimentally installing several camlp4 extensions with GODI, bitstream/bitmatch seems to be unaffected, but it's apparently the exception.
ftrvxmtrx has joined #ocaml
itewsh has quit [Quit: o/]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
<hcarty>
sgnb: Is there a Debian package for pa-do/Delimited Overloading?
sepp2k has quit [Read error: Operation timed out]
sepp2k1 has joined #ocaml
jakedouglas has quit [Ping timeout: 252 seconds]
<flux>
doesn't 3.12 partially (?) obsolete pa_do?
<flux>
it has Foo.(bar + baz) syntax, what else does pa_do give? (or am I off the track, I haven't used it ;-))
<hcarty>
flux: Only a small portion
<flux>
oh, ok
<Associat0r>
flux: what is that called in 3.12?
<hcarty>
It provides pa_infix, which allows all kind of (potnetially evil) manipulation and creation of infix operators
<hcarty>
And it provides things like Float.(1 + 2) = 3.0
<flux>
associat0r, the syntax? I don't remember.. perhaps the changelog names it.
<flux>
oh right, that as well
<flux>
I wonder how it will work with 3.12 then
<gildor>
take a look at slides of OCaml Meeting, this is explained there
ikaros_ has joined #ocaml
<hcarty>
camlp4 3.12 seems to break the toplevel as well
<hcarty>
1;; in the REPL doesn't EPL
<Associat0r>
anyone here use That Whitespace Thing?
jakedouglas has joined #ocaml
<Associat0r>
guys what are the issues of OCaml on Windows?
<adrien>
ocaml in itself, not many
<adrien>
but '/' is often used as a path separator while windows uses '\\'
<adrien>
and relying on unix tools which don't exist on windows
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
ccasin has quit [Quit: Leaving]
oriba has joined #ocaml
oriba has quit [Read error: Connection reset by peer]
Associat0r has quit [Quit: Associat0r]
Associat0r has joined #ocaml
ttamttam has joined #ocaml
<rwmjones>
any news on when 3.12 (non-beta) will be released?
* rwmjones
idly wonders whether to wait for it for Fedora
ikaros has quit [Quit: Leave the magic to Houdini]
Edward__ has joined #ocaml
<hcarty>
rwmjones: X. Leroy gave a rough timeline at the OCaml Meeting
<adrien>
should be less than one month from now I think, maybe closer to 2 or 3 months
<hcarty>
rwmjones: Late summer or early fall for the final release IIRC