<tobiasBora_>
I just need -build, or -configure too ?
<tobiasBora_>
(Lwt is really a great library, I never tried to see exactly what it does but Wooa...)
<Drup>
you need "oasis setup" again
<Drup>
after that, it should roll on its own
<tobiasBora_>
Ok, I think that I have enough annoyed you today (and yesterday :-°) thank you soo much for your help, I learnt lot's of things !
<Drup>
no problem
<Drup>
the whole build issue in ocaml is not really a solved problem anyway
<tobiasBora_>
It is quite complicated for beginner indeed...
<tobiasBora_>
And I'm sorry, still a question : in the doc I can see "CompiledObject: Define the compilation type of the section: byte, native or best". Best mean that there is a faster mode than native compilation ???
<Drup>
no, best will choose the best available between byte and native
<Drup>
native is not always available
<tobiasBora_>
Oh ok thank you
wolfnn has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
tobiasBora_ has quit [Quit: Konversation terminated!]
malo has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ollehar has quit [Read error: Operation timed out]
nikki93 has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
claudiuc has quit [Remote host closed the connection]
q66 has quit [Quit: Leaving]
zzing has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
<zzing>
I am attempting to install opam (1.1.1) on macos mavericks with the newest clang (released earlier in the week), I am getting an error from ocamlc, "clang: error: unknown argument: '-fno-defer-pop'". I am not sure how clang is called to change options or fix it. Full output: https://gist.github.com/iaefai/7e325acfc3909eb35dc1 I noticed a mention a few days ago in the logs, but no mention if there is a fix.
nikki93 has quit [Remote host closed the connection]
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
boogie has quit [Ping timeout: 264 seconds]
alinab has quit [Quit: leaving]
aurynj has quit [Quit: Leaving]
nikki93 has joined #ocaml
aurynj has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
xianxu has joined #ocaml
nikki93 has joined #ocaml
boogie has quit [Ping timeout: 252 seconds]
_5kg has quit [Ping timeout: 245 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
_5kg has joined #ocaml
nikki93 has quit [Remote host closed the connection]
cdidd has quit [Excess Flood]
cdidd has joined #ocaml
nikki93 has joined #ocaml
araujo has joined #ocaml
khram has joined #ocaml
maattdd has joined #ocaml
aurynj has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
aurynj has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
axiles has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
nikki93_ has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93_ has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
nikki93 has joined #ocaml
tlockney is now known as tlockney_away
xianxu has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
boogie has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
patojo has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
patojo has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
tlockney_away is now known as tlockney
nikki93 has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
elfring has joined #ocaml
tlockney is now known as tlockney_away
<wwilly>
bonjour
pippijn has quit [Read error: Operation timed out]
pippijn has joined #ocaml
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<elfring>
I am looking for a variant of the data structure "Map" which supports in-place modification.
<elfring>
But I do not want to use the module "Hashtbl" for my task because I won't need data processing for a hash function here.
<adrien>
there's pretty much no point in making a "Map" if it's not for persistance
zzing has joined #ocaml
<adrien>
hash table is going to be faster
<adrien>
also, you should learn how inexpensive short lived allocations are in ocaml
<adrien>
they're really only a pointer bump
<adrien>
btw, mutation has a cost in ocaml (write barrier)
boogie has joined #ocaml
zzing has quit [Ping timeout: 240 seconds]
<elfring>
The speed of "Hashtbl" does not matter for the task I'm "playing around" with at the moment.
boogie has quit [Ping timeout: 264 seconds]
<elfring>
A hash function should not be applied for my use case.
<adrien>
you're going to mutate keys?
<elfring>
The keys should correspond to text lengths in a stable way.
<adrien>
then there is no issue in hashing them
willb2 has quit [Ping timeout: 265 seconds]
willb1 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
<gasche>
elfring: feel free to implement mutable balanced binary trees yourself
tlockney is now known as tlockney_away
<gasche>
you still haven't been able to make *anyone* understand why it is so important for your use-case to have neither spine copying (Map) or hashing (Hashtbl) going on
<gasche>
(for Hashing I think I see an answer: this will be an attacker-facing algorithm and you want to avoid any risk of deny-of-service attack by key collisions)
nikki93 has joined #ocaml
<adrien>
gasche: with a text length as keys?
<adrien>
map would perform the same
<adrien>
and I doubt this is PHP
<adrien>
(which used to use a function name's length as key :) )
<nicoo>
adrien: Yes. And the runtime used not to handle length collision in function names well, hence their ugly stdlib :>
ulfdoz has joined #ocaml
<elfring>
I have developed small source code examples for my use case. I could publish the current version. Would you like to compare the analysis results from the use of modules with different technical properties for a better common understanding?
zzing has joined #ocaml
<gasche>
elfring: sure
<gasche>
if it involves Coccinelle, all the better, it's a really interesting project
zzing has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
<elfring>
I hope also that improvements for Coccinelle tools will have a growing impact on other software.
boogie has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
tobiasBora has joined #ocaml
Arsenik has joined #ocaml
tlockney is now known as tlockney_away
ollehar has joined #ocaml
tobiasBora has quit [Ping timeout: 264 seconds]
angerman has joined #ocaml
zpe has joined #ocaml
tane has joined #ocaml
wolfnn has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
<gasche>
elfring: I think you suffer from a grave case of premature optimization
<gasche>
I see no reason why an in-place update would be sensibly better for your application than just using Map or Hashtbl as is
<gasche>
it's about constant-factor optimizations, and it's useless to work on optimizations before you have a working prototype and are able to demonstrate that this particular point indeed is a bottleneck
<gasche>
I don't know what programming experience you have; maybe you've used C for too long and are obsessed with useless details
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
<elfring>
You can look at my little software development contributions on some internet places. Now I am "playing around" with efficient data processing for text lengths (in OCaml technology).
nikki93 has quit [Ping timeout: 240 seconds]
<elfring>
OCaml provides also interfaces for specific data structures which are used with in-place modification. This is an interesting technical property.
tlockney_away is now known as tlockney
<elfring>
But a hash table comes with its key functionality which is not suitable for some application contexts. Association tables would be better for the efficient mapping of keys and values in my use case, wouldn't it?
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Simn has joined #ocaml
<elfring>
It seems to be a software development challenge here to fiddle with in-place modification of maps. Further ideas ...?
zpe has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
<gasche>
elfring: my idea would be to first demonstrate that persistent maps are not suitable for your workflow
<nicoo>
elfring: It's not really challenging: one can re-implement Map with mutable associated values (or use a Map of references, for what its worth). But saying “immutable data-structures are unsuitable for efficient data processing” is untrue; is it the case in your situation?
<gasche>
(same for Hashtable)
<nicoo>
gasche: You are too fast :o
khram has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
boogie has quit [Ping timeout: 252 seconds]
elfring has joined #ocaml
rand000 has joined #ocaml
sunshinerag has joined #ocaml
tobiasBora has joined #ocaml
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
zpe has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
<elfring>
I do not want to say that “immutable data-structures are unsuitable for efficient data processing” (in general). I can also work with the current module "Map".
<elfring>
I guess that further software tests will show that an in-place modifiable implementation will provide appealing run time characteristics.
<elfring>
I try to mix relevant data structures for my use case. Different expectations for software efficiency can be clarified, can't they?
tobiasBora has quit [Ping timeout: 240 seconds]
zzing has joined #ocaml
zzing has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
sunshinerag has quit [Remote host closed the connection]
pminten has joined #ocaml
tlockney_away is now known as tlockney
maattdd has joined #ocaml
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
tlockney is now known as tlockney_away
zpe has quit [Ping timeout: 240 seconds]
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
darkf has quit [Quit: Leaving]
nikki93 has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
aurynj has quit [Quit: Leaving]
Hannibal_Smith has joined #ocaml
tlockney_away is now known as tlockney
zpe has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
zpe has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has quit [Ping timeout: 253 seconds]
zzing has joined #ocaml
patronus_ has quit [Read error: Connection reset by peer]
zzing has quit [Ping timeout: 252 seconds]
Guest97126 has joined #ocaml
<elfring>
Have you got experiences with the evolving tool "OCaml Package Manager"?
<Drup>
yes, it's nice.
boogie has joined #ocaml
paolooo has joined #ocaml
<elfring>
I installed the package "batteries". I am not so used to a fine-tuning for a corresponding configuration.
boogie has quit [Ping timeout: 240 seconds]
<Drup>
fine-tuning ?
<elfring>
Which files should I adjust so that the expression "open Batteries;;" will work in a command line interface?
<mrvn>
#require "batteries";;
<mrvn>
if you have findlib installed
<Drup>
(you should work on the clarity of your statements)
<Drup>
You can add #require "batteries" ;; on the top of your file
<Drup>
(don't remove "open Batteries"
<Drup>
also, note that stuff starting by a # are ocaml repl pragma, they are not accepted by the compiler.
BiDOrD has joined #ocaml
patronus has joined #ocaml
Guest97126 has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
zpe has joined #ocaml
tlockney is now known as tlockney_away
Hannibal_Smith has quit [Quit: Sto andando via]
<elfring>
I get the message "Unknown directive `require'." from OCaml 4.00.1" while the command line interface "utop 1.11" accepts it eventually.
<elfring>
Are there any chances to avoid the message "Error: Unbound module Batteries" with both tools for the open expression here?
<Drup>
yes
<Drup>
did you do "opam init" ?
<adrien>
#require needs #use "topfind";; first
<adrien>
opam makes it so that it is done automatically
<elfring>
Yes, of course.
<mrvn>
debian too
<Drup>
elfring: do you have something in your ~/.ocamlinit ?
lostcuaz has joined #ocaml
lostcuaz has quit [Client Quit]
ggole has joined #ocaml
<elfring>
My file "~/.ocamlinit" contains a call for the function "Topdirs.dir_directory" which was added by OPAM.