zenspider has quit [Read error: Connection reset by peer]
ivan\ has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
zenspider has joined #ocaml
boogie has quit [Remote host closed the connection]
<pippijn>
adrien: rue de canettes
<pippijn>
adrien: canette*
<pippijn>
ah no, canettes
<pippijn>
duckling road?
<adrien>
don't try to translate street names
<adrien>
or then, don't go to brussels :)
<adrien>
also, "canettes" probably means something not related to ducks :]
<adrien>
oh, near odéon? nice place
<pippijn>
odeon
<pippijn>
maybe :)
<pippijn>
north of the luxembourg park
<pippijn>
yes, seems to be near odeon
dant3 has quit [Remote host closed the connection]
cuttle_ is now known as cuttle
<companion_cube>
pippijn: cool!
<companion_cube>
you found quickly
<pippijn>
yeah, I was lucky
<adrien>
good time of the year too :)
avsm has joined #ocaml
<companion_cube>
Rc43's remark reminds me that a tool that analyse ocaml's code to remove dead code, track dependencies and so on would be pretty neat
defromeo has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
zpe has joined #ocaml
cuttle has left #ocaml []
testcocoon has joined #ocaml
dant3 has joined #ocaml
Rc43 has quit [Quit: Page closed]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
ocp has joined #ocaml
<thorsten`>
my (larger....) ocaml-program crashes with the message »Fatal error: exception Invalid_argument("Array.make")«.. how can i start?
<adrien>
OCAMLRUNPARAM=b ./a.out
<adrien>
will give you a backtrace
<adrien>
(it puts the OCAMLRUNPARAM environment variable to "b" in the environment of a.out)
thomasga has quit [Quit: Leaving.]
<companion_cube>
thorsten`: are you creating a very big array?
dsheets has quit [Ping timeout: 252 seconds]
<thorsten`>
might be
<companion_cube>
thorsten`: there is Sys.max_array_length
<companion_cube>
you can't create arrays bigger than this
<companion_cube>
unless you use Big_array
<adrien>
s/_//
<companion_cube>
hmmm yeah, sorry
<companion_cube>
or probably also a shallow tree of arrays
<adrien>
(don't listen to companion_cube when he gets "clever" ideas :D )
<companion_cube>
hey
<companion_cube>
you could build tremendously big array-like structures this way
<companion_cube>
100,000,000-ary B-trees ^^
<thorsten`>
i don't think it's a problem in that case
<flux>
yeah, the same techique was used during DOS times
<flux>
when a single segment size was 64 k..
<thorsten`>
but i'm also not getting a backtrace with OCAMLRUNPARAM=b
<flux>
what is old is new again :)
<adrien>
thorsten`: you need to build your code (and better, the libs too) with -g
<thorsten`>
ok, now i'm having a 'backtrace'
<thorsten`>
it shows me the line where Array.make was called (not an entire call stack, but that's ok for the moment)
defromeo has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
_andre has joined #ocaml
cantstanya has quit [K-Lined]
dsheets has joined #ocaml
ontologiae_ has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
defromeo has joined #ocaml
sepp2k has joined #ocaml
kyrylo has joined #ocaml
kyrylo has quit [Changing host]
kyrylo has joined #ocaml
jonludlam has joined #ocaml
malo has joined #ocaml
bobry has quit []
bobry has joined #ocaml
watermind has joined #ocaml
malo has quit [Quit: Leaving]
malo has joined #ocaml
thomasga has quit [Quit: Leaving.]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
thomasga has joined #ocaml
talzeus has quit [Remote host closed the connection]
lostcuaz has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
cago has quit [Quit: Leaving.]
cago1 has joined #ocaml
avsm has quit [Quit: Leaving.]
Zerker has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
avsm has joined #ocaml
introom has quit [Ping timeout: 256 seconds]
watermind has quit [Client Quit]
watermind has joined #ocaml
introom has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
demonimin_ has quit [Ping timeout: 252 seconds]
demonimin has joined #ocaml
avsm has quit [Quit: Leaving.]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dant3 has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 264 seconds]
clog has joined #ocaml
metasyntax` has quit [Quit: Leaving]
arjunguha has joined #ocaml
metasyntax has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
olasd has quit [Changing host]
olasd has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
ggole has joined #ocaml
dant3 has quit [Remote host closed the connection]
wolfnn has joined #ocaml
thomasga has quit [Quit: Leaving.]
<gasche>
dsheets: the historic model of ocamlbuild was that it traversed (by default) the subdirectories of pwd, recursively
introom has quit [Ping timeout: 265 seconds]
<dsheets>
that sounds horrible
<gasche>
so the "world" it saw was exactly the filesystem subtree (avoiding cycles etc.), but it gave qualified names to everything
<dsheets>
i see
<gasche>
the semantics of "include" is not to say "go look in that place" (it did anyway), but "we can use the names there unqualified by the subdirectory", aka ocaml's "open" construct
<gasche>
we have "traverse" to control where it goes looking
<gasche>
but I think the invariant that we only think about the sub-paths is still there
<dsheets>
how did it qualify the names? packing?
<gasche>
well
<dsheets>
that doesn't bode well
<gasche>
in a foo.mlpack or .mllib or wherever you need to mention compilation units
<gasche>
you can say
<gasche>
subdir/Foo
<gasche>
if you haven't "subdir/": include in your _tags
<gasche>
(but you have "subdir/": traverse or something stronger)
<dsheets>
hmm... this doesn't sound like it was particularly useful
<dsheets>
can we remove the invariant?
<gasche>
I think the restriction that ".." is disallowed could be lifted, but that would probably require stronger path-normalization checks and could open a pandora box of related bugs
<gasche>
(one of the historic mistakes in OCamlbuild's implementation is that paths are publicly exposed as being strings, making it hard for the compiler to help us catch such mistakes)
<dsheets>
gasche, i will make a mantis bug?
ontologiae_ has joined #ocaml
mika1 has quit [Quit: Leaving.]
<gasche>
dsheets: feel free, but it's not at the top of my personal TODO list, so unless you or someone else is motivated to work on that, it won't progress much
<dsheets>
that's fine, i just don't want it to be lost track of
<gasche>
(I want to work on that .install feature Daniel asked, add some parametrized tags people wish to have, maybe that meta-data-file-packing feature we discussed)
<gasche>
yeah
<adrien_oww>
dsheets: if you change things in ocamlbuild, please don't add any system() call; do the opposite instead :)
<dsheets>
esp if it does seem resolvable and not an inherent limitation that i'm just ignorant of
<adrien_oww>
.. is difficult to handle
<adrien_oww>
(ask Asmadeus about it :P )
<Asmadeus>
who what?
<Asmadeus>
adrien_oww: what's wrong with '..'?
<adrien_oww>
path normalization is trivial, right? :)
<Asmadeus>
well if you don't want to validate that everything exists like the libc does, it actually is
WraithM_ has joined #ocaml
<dsheets>
adrien_oww, hmm? Most path-acceptors understand it. If we need to resolve it, I've already written both a relative path resolver and a relative-relative path resolver for ocaml-uri
<flux>
if you want to find the same file as the filesystem does, then it's not trivial..
<flux>
for example ./foo/.. might not be the same directory as . :-)
<adrien_oww>
you can have symlinks too
<adrien_oww>
if you operate on the "string" only, it's simple but you if you need to take more things into account, it starts becoming more annoying
<flux>
I considered the problem for a while when determining which lock file to use to a given serial port device, and then decided to do no normalization at all..
_5kg has quit [K-Lined]
<dsheets>
normalization is probably not required for this application
<dsheets>
but i'm just making a bug anyway, not submitting a patch
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
<dsheets>
gasche, should the issues assigned to meyer be released?
introom has joined #ocaml
WraithM_ has quit [Ping timeout: 265 seconds]
rand000 has quit [Quit: leaving]
<gasche>
dsheets: sad but good point, I'll ask Damien
<gasche>
(to un-assign them)
talzeus has quit [Read error: Connection reset by peer]
xaimus has quit [Ping timeout: 252 seconds]
cago1 has left #ocaml []
dant3 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube>
gasche: can you contribute your own code? ^^
<companion_cube>
hmm, already done, neat
thomasga has joined #ocaml
<gasche>
companion_cube: the problem was that while add_max avoids any comparison, it still performs a O(log n)-copy of the tree spine
<companion_cube>
yeah, but I didn't know of a better function
<gasche>
the terribly-named op_map reallocate all nodes but preserves the tree shape
<gasche>
and then concat/join/whatever will do the rebalancing, but by batches at least as large as the second element
thomasga has quit [Client Quit]
<companion_cube>
well done anyway
<gasche>
(the last implementation used a binary-increment scheme to guarantee that the concatenated trees were always exactly of the same size, but that's not enough to win by a large enough margin because concatenation still needs to remove an element)
boogie has joined #ocaml
<gasche>
the things you'd do to avoid starting to write an article
<companion_cube>
better to keep it simple
<companion_cube>
for 8% (again)
<companion_cube>
^^
Kakadu has quit [Ping timeout: 272 seconds]
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
willb2 has quit [Ping timeout: 272 seconds]
boogie has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ontologiae_ has quit [Ping timeout: 260 seconds]
willb2 has joined #ocaml
dant3 has quit [Remote host closed the connection]
introom has quit [Ping timeout: 252 seconds]
dant3 has joined #ocaml
dant3_ has joined #ocaml
dant3 has quit [Ping timeout: 272 seconds]
boogie has joined #ocaml
mart has joined #ocaml
Kakadu has joined #ocaml
jwatzman|work has joined #ocaml
shinnya has quit [Ping timeout: 265 seconds]
bernardo1pc is now known as bernardofpc
avsm has quit [Quit: Leaving.]
samebchase has joined #ocaml
arjunguha has joined #ocaml
defromeo has quit [Ping timeout: 272 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
mart has quit [Quit: Konversation terminated!]
arjunguha has quit [Read error: Operation timed out]
xaimus has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
sepp2k has quit [Quit: Konversation terminated!]
malo has quit [Quit: Leaving]
wwilly has quit [Ping timeout: 272 seconds]
dant3_ has quit []
dant3 has joined #ocaml
ontologiae_ has joined #ocaml
cantstanya has joined #ocaml
arjunguha has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
lostcuaz has joined #ocaml
_andre has quit [Quit: leaving]
WraithM_ has quit [Ping timeout: 260 seconds]
WraithM_ has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Quit: Leaving.]
nikki93 has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Quit: Leaving.]
rwmjones has quit [Read error: Operation timed out]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sillyotter has joined #ocaml
sillyotter has quit [Quit: Leaving]
ggole has quit []
lostcuaz has quit [Ping timeout: 272 seconds]
lostcuaz has joined #ocaml
rwmjones has joined #ocaml
ocp has quit [Read error: Operation timed out]
thomasga has joined #ocaml
Thooms has joined #ocaml
ontologiae_ has quit [Ping timeout: 264 seconds]
NoNNaN has quit [Quit: []]
NoNNaN has joined #ocaml
mcclurmc has joined #ocaml
thomasga has quit [Quit: Leaving.]
ollehar1 has joined #ocaml
mw1001 has joined #ocaml
skchrko has quit [Quit: Leaving]
mw1001 has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
MustardWatch has joined #ocaml
mcclurmc has joined #ocaml
mw1001_ has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
AltGr has left #ocaml []
arjunguha has joined #ocaml
Kakadu has quit []
WraithM_ has quit [Ping timeout: 272 seconds]
WraithM_ has joined #ocaml
mw1001_ has quit [Quit: Ex-Chat]
Thooms` has joined #ocaml
Thooms has quit [Read error: No route to host]
thomasga has joined #ocaml
mcclurmc has joined #ocaml
nikki93 has quit [Remote host closed the connection]
swistak35 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
ulfdoz has joined #ocaml
axiles has quit [Remote host closed the connection]
dant3 has quit [Read error: Connection reset by peer]
dant3_ has joined #ocaml
MustardWatch has quit [Quit: MustardWatch]
MustardWatch has joined #ocaml
dant3_ has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93 has joined #ocaml
MustardWatch has quit [Quit: MustardWatch]
MustardWatch has joined #ocaml
<cynddl>
def-lkb: hey, I wonder if typing from ml files (open or not) could be possible in merlin? Editing multiple buffers is yet a little annoying
nlucaroni has quit [Quit: leaving]
<def-lkb>
cynddl: you mean rellying on merlin to type the whole project instead of using "cmi" files ?
<rks`>
yes.
<cynddl>
def-lkb: or switch it to type two or three buffers
<def-lkb>
switching is transparent in vim at least, I've not yet encountered files where the time to retype the buffer when switching was long enough to be observable by the user
<cynddl>
Currently, we have to call ocamlc after editing/saving in order to work with multiple files, isn't it?
<def-lkb>
you have to compile cmi files yes
<cynddl>
do you think an "auto-compile" in background is a good idea?
<def-lkb>
imho, it's the responsibility of the buildsystem, not merlin
<def-lkb>
(and this is already possible, see jenga-merlin and omake-merlin scripts, though this require a very specific buildsystem)
<cynddl>
Sure. I was thinking of adding it to the ST plugin.
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
nikki93 has quit [Remote host closed the connection]
WraithM_ has quit [Ping timeout: 246 seconds]
mika1 has joined #ocaml
mika1 has quit [Client Quit]
<def-lkb>
cynddl: about typing from ml files, I am a bit reluctant… 1. it's not an easy task, it would complicate the code of merlin (especially integration with the ocaml typer, which we try to keep as light as possible), though not impossible. 2. reproducing typing information from ml files may require specific support from build system to match the cmi file that would be produced
<def-lkb>
While an almost similar behavior can be obtained by using background compilation and reloading
darkf has joined #ocaml
avsm has joined #ocaml
rwmjones has joined #ocaml
zenspider has left #ocaml []
dant3 has joined #ocaml
rwmjones has quit [Ping timeout: 252 seconds]
dant3 has quit [Ping timeout: 246 seconds]
rwmjones has joined #ocaml
sillyotter has joined #ocaml
Thooms` has quit [Ping timeout: 264 seconds]
Thooms` has joined #ocaml
MustardWatch has quit [Quit: MustardWatch]
adrien_oww has quit [Ping timeout: 246 seconds]
sillyotter has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
thomasga has quit [Quit: Leaving.]
ygrek has joined #ocaml
wolfnn has quit [Ping timeout: 272 seconds]
japesinator has joined #ocaml
Amanite has joined #ocaml
<Amanite>
hi japesinator
<Amanite>
Hold on, I'm trying to figure out how to open PMs on irssi
<japesinator>
type in /msg japesinator whatever
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jdoles has quit [Ping timeout: 245 seconds]
Thooms` has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
avsm has quit [Quit: Leaving.]
madroach has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
avsm has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
madroach has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 260 seconds]
NoNNaN has quit [Remote host closed the connection]
zRecursive has joined #ocaml
nikki93 has quit [Remote host closed the connection]