gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
delueks has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
sgnb has quit [Ping timeout: 260 seconds]
sgnb has joined #ocaml
Edward has quit []
tmaeda has quit [Ping timeout: 272 seconds]
tmaeda has joined #ocaml
rks has quit [Ping timeout: 240 seconds]
rks has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop has joined #ocaml
Amorphous has quit [Ping timeout: 272 seconds]
delueks has quit [Remote host closed the connection]
Amorphous has joined #ocaml
Modius has quit [Read error: Connection reset by peer]
Modius has joined #ocaml
alexyk has joined #ocaml
<alexyk> what type constructor for enum corresponds to list and array, e.g. int enum <-- what here?
alexyk has quit [Read error: Connection reset by peer]
sgnb has quit [Ping timeout: 260 seconds]
sgnb has joined #ocaml
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
alexyk has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
sgnb has quit [Ping timeout: 260 seconds]
sgnb has joined #ocaml
alexyk has joined #ocaml
<flux> hm, List.enum and Array.enum?
alexyk has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
joewilliams is now known as joewilliams_away
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
hto has joined #ocaml
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
dark has joined #ocaml
<dark> I want to generate ocamldoc for a program with two files. it gives an error when one file tries to open the other
<dark> it seems i need some .cmi for the opened module, is this right?
alexyk has quit [Read error: Connection reset by peer]
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
<dark> can I include source code in ocamldoc?
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
alexyk has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Client Quit]
eldragon has quit [Read error: Connection reset by peer]
<dark> does ocaml do deforestation, or somehow optimizes out intermediate structures? (in my case, lists)
<dark> my code looks like (expanding names) List.map (List.map (List.fold ..) ..) ..)
<dark> it deals with 2d collision detection. I was thinking in doing it with arrays, because iterating on an array is faster. but for now I want it just to be correct
<dark> but I'm wondering if a series of maps and folds are worse than condensing everything in a unique fold
<dark> (I suppose the net effect of deforestation would be this)
<flux> dark, ocaml doesn't do deforstation or any other high-level optimizations
<dark> i'm between doing this in haskell, in ocaml, in something else, or giving up
<dark> in ocaml, would it be better to make an imperative algorithm with arrays?
<flux> if the algorithm lends itself to arrays (say, dynamic programming) then yes, I would use arrays
<flux> but otherwise lists are the most common data structure
<dark> i have an polygon that is a list of vertices. i will get a polygon, its position and its orientation (a rotation) and turn it into a list of sides (that are line segments, that are pairs of points), and a list of axis perpendicular to such sides. i mostly finished it
<dark> if i have this, i can apply the separating axis theorem for collision of convex polygons easily
<dark> but it amounts to a bunch of folds and maps to turn a polygon into a segment list and an axis list
<flux> some algorithms like to insert or remove edges while maintaining order, lists can be nice for those
<flux> dark, be sure to bump up the gc parameters for that kind of work, where you generate a lot of stuff and then discard (intermediate results)
<flux> especially enlarging the minor heap is what's suitable here
<dark> hm
<dark> i can't use ocamlbuild for generating ocamldoc, ocamlbuild myprogram.docdir/index.html or ocamlbuild myprogram.docdir does not work
ikaros has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
eldragon has joined #ocaml
<f[x]> gildor_, ping
<f[x]> is ocamlcore migration finished?
<f[x]> forge
<gildor_> f[x]: It should be finished for lunch
<gildor_> but I think the visible part has been migrated and is useable
<gildor_> f[x]: what do you think of it ?
<f[x]> I think that I am not the member of any projects anymore
<f[x]> except the oldest one
<gildor_> f[x]: you don't like it ?
<f[x]> other than that interface looks little bit better (but some markup is now gone, some texts look weird), integration with git/other scms is cool
<f[x]> nope, I am literally not member of any projects : see e.g. http://forge.ocamlcore.org/projects/ocaml-mysql
<f[x]> or extunix
<gildor_> oh, that is a bug
<f[x]> editing tips are also cool and useful
<gildor_> f[x]: apart ocaml-mysql and extunix, do you remember other projet you belong to
<gildor_> (We are fixing this bug right now)
<f[x]> dbus-static and sphinx
<f[x]> ok, thanks, I was in process of submitting but report :)
<gildor_> no need, I am talking to the guy who takes care of the migration on another IRC channel
<gildor_> f[x]: BTW, this new forge version has an hudson plugin
<gildor_> f[x]: want to test ?
<f[x]> what this plugin does?
<gildor_> Allows you to connect to hudson server and shows build result in interface.
<gildor_> small plugin, but nice plugin ;-)
<f[x]> nice
<f[x]> will test once I have access :)
<gildor_> f[x]: thx for the report, there were 9 other people in this case, we are fixing it
<gildor_> all: test the forge to see if there are problems
<gildor_> f[x]: there is also a MediaWiki now ;-)
ftrvxmtrx has joined #ocaml
<f[x]> gildor_, everything ok now, thanks
<gildor_> indeed, it is now fixed
<gildor_> f[x]: keep browsing and report any bugs
<gildor_> f[x]: thx for your help
<f[x]> gildor_, I cannot seem to find hudson integration page
<gildor_> f[x]: the plugin is not yet activated
<gildor_> f[x]: right now, I am talking about loading speed of the webpages
<gildor_> ;-)
<gildor_> too much .js, takes too long to load
<f[x]> noticed the ability to reorganize first page, neat
<f[x]> as for speed, I didn't notice much difference
<f[x]> err, downloading file .tar.gz I get name .tar.pdf
<f[x]> lol
<f[x]> hm, probably this is opera problem, but never seen that before
<gildor_> f[x]: yes I just realized that you can customize front page of project
<gildor_> f[x]: very useful
<gildor_> do you have a link for the tar.gz download problem ?
<f[x]> any extunix download, but from the server side everything looks ok
<gildor_> f[x]: you can also customize your personnal page (just did it)
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
<gildor_> f[x]: I don't have the same behavior
<f[x]> yes, this is my local problem, server response is ok
<f[x]> sorry for the noise
<gildor_> just use curl and it seems to be application/binary
<gildor_> (for the mime type)
<gildor_> but I keep this in mind, if some people is able to reproduce it
ikaros has quit [Client Quit]
ikaros has joined #ocaml
<gildor_> f[x]: next week I will reattach git/darcs/hg/bzr projects to the forge
avsm has joined #ocaml
ttamttam has joined #ocaml
rikta06 has left #ocaml []
avsm has quit [Quit: Leaving.]
Yoric has joined #ocaml
companion_cube has joined #ocaml
mattam has joined #ocaml
<gildor_> f[x]: you did the gitweb setup alone for extunix ?
<gildor_> f[x]: the repository displayed is the old one ? you didn't have to do anything ?
<f[x]> I switched to git on scm tab
<f[x]> that's all
<gildor_> and that's all
<gildor_> impressive
<f[x]> btw ping me when hudson plugin is enabled
alexyk has joined #ocaml
<gildor_> f[x]: ping
<f[x]> hm, looks like it wants some extra permissions
<f[x]> I am not sure I wan to give configure right to anonymous user
<gildor_> I don't know hudson at all
alexyk has quit [Read error: Connection reset by peer]
<gildor_> f[x]: maybe you can send me a complete email about that ? (it will give me enough details and time to understand the issue)
<f[x]> forge tries to access url which is available only for hudson users who have the permission to configure jobs
<f[x]> as forge is an anonymous user for hudson, this permission is not granted
<f[x]> I'll try to search for workarounds myself first
<gildor_> f[x]: and tell me what you have found
<f[x]> sure
<gildor_> f[x]: I asked Roland to set up a test forge + git repository
<gildor_> f[x]: so we have everything required to make change to our OCaml forge
<gildor_> http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=siteadmin/fusionforge.git/.git;a=summary
<f[x]> got it
<gildor_> (and provide FusionForge with patches)
<adrien> sounds like chrismas in advance :P
<adrien> was checking random links and https://forge.ocamlcore.org/projects/gtk-light/ has 0 members
<adrien> other looks good however
th5 has joined #ocaml
seafood has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Client Quit]
seafood has quit [Quit: seafood]
alexyk has joined #ocaml
metasyntax` has joined #ocaml
BiDOrD__ has quit [Quit: BiDOrD__]
alexyk has quit [Quit: alexyk]
alexyk has joined #ocaml
joewilliams_away is now known as joewilliams
th5 has quit [Quit: th5]
<gildor_> adrien: gtk-light -> fixed
ttamttam has quit [Read error: Connection reset by peer]
tsuwabuki has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
<f[x]> gildor_, the workaround is to provide read-only access to /jobs/extunix/config.xml not through hudson (with nginx rule) - now it works
ftrvxmtrx has quit [Quit: Leaving]
<gildor_> f[x]: the iframe is ugly, but it is nice to have it here
<f[x]> there is an extra widget on the main page
<gildor_> f[x]: yes, just seen it, this one is really nice
<gildor_> we will end up with a really nice forge ;-)
* f[x] currently decides whether it is reasonable to include sctp bindings into extunix
<gildor_> f[x]: do you use it ?
<f[x]> evaluating
Snark_ has joined #ocaml
<f[x]> it requires extra cclib so extra configure flag to enable/disable
<gildor_> what cclib ?
<f[x]> -lsctp
<gildor_> well, if you are only evualating, maybe you should start a simple library to test, and consider inclusion if it is really worth
<alexyk> I remember doing some kind of load in the repl which automagically loaded the dependencies... was I dreaming? #load instists I first load anything the .cmo is referencig...
<f[x]> I think I will keep it in a branch
<f[x]> alexyk, #require
<alexyk> right
<gildor_> #use "topfind";
<gildor_> + #require
<alexyk> Hmm -- I'm loading locally compiled .cmo files, require needs packages
<gildor_> you need to load the library that it depends on using require
<gildor_> and then load the .cmo
<alexyk> gildor_: the problem is, I created a bunch of modules locally depending on each other. I need to load common.cmo which wants utils.cmo. I'd like to be able to just say, load common.cmo and whatever else it wants from the local directory
<gildor_> create a library with all your cmo
<gildor_> alexyk: ^^
<gildor_> and load it
<alexyk> aha! how? :)
<alexyk> create how, locally?
<gildor_> yes
<alexyk> a .cma?
<gildor_> how, with ocaml -a -o toto.cma common.cmo utils.cmo
<gildor_> ocamlc
<gildor_> yes
<alexyk> kk
<alexyk> I love the fact that ocaml is like a son of Unix, and everything is so much clearer than in Java world... shhh, I didn't say that)
joewilliams is now known as joewilliams_away
ttamttam has joined #ocaml
joewilliams_away is now known as joewilliams
alexyk_ has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk_ has quit [Ping timeout: 240 seconds]
mb has joined #ocaml
mb is now known as Guest32058
<Guest32058> Hi. I'm trying to use dynlink under Cygwin. Calling Dynlink.loadfile raises an exception of type Dynlink.Cannot_open_dll with the error message "Permission denied". Any idea what's going wrong?
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Yoric]
init1 has joined #ocaml
ttamttam has quit [Remote host closed the connection]
xl0 has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
rixed_ has joined #ocaml
drunK has joined #ocaml
rks has quit [Quit: reboot windows (fuck yeah)]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ulfdoz_ is now known as ulfdoz
Guest32058 has quit [Quit: http://irc2go.com/]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Connection reset by peer]
ulfdoz_ is now known as ulfdoz
Snark_ is now known as Snark
rks has joined #ocaml
dark has quit [Ping timeout: 260 seconds]
rixed_ has quit [Ping timeout: 276 seconds]
dark has joined #ocaml
xl0 has joined #ocaml
Snark has quit [Quit: Ex-Chat]
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
init1 has quit [Quit: Quitte]
ulfdoz has quit [Ping timeout: 265 seconds]
seafood has joined #ocaml
julm has quit [Ping timeout: 255 seconds]
fremo___ has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 245 seconds]
Pepe_ has quit [Ping timeout: 265 seconds]
hto has quit [Ping timeout: 265 seconds]
coucou747 has quit [Ping timeout: 265 seconds]
seafood has quit [*.net *.split]
mattam has quit [*.net *.split]
mikemc has quit [*.net *.split]
jonathandav has quit [*.net *.split]
bacam has quit [*.net *.split]
rks has quit [*.net *.split]
kannanr has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
nejimban has quit [*.net *.split]
f[x] has quit [*.net *.split]
fabjan_ has quit [*.net *.split]
haelix has quit [*.net *.split]
krktz has quit [*.net *.split]
xl0 has quit [*.net *.split]
hcarty has quit [*.net *.split]
strlen has quit [*.net *.split]
gnuvince1 has quit [*.net *.split]
nimred has quit [*.net *.split]
vk0 has quit [*.net *.split]
flux has quit [*.net *.split]
sgnb has quit [*.net *.split]
Tianon has quit [*.net *.split]
gildor_ has quit [*.net *.split]
mfp has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
kerneis has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
mehdid has quit [*.net *.split]
__marius__ has quit [*.net *.split]
ikaros has quit [*.net *.split]
tmaeda has quit [*.net *.split]
zzz_` has quit [*.net *.split]
pheredhel has quit [*.net *.split]
cods has quit [*.net *.split]
emias has quit [*.net *.split]
eldragon has quit [*.net *.split]
boscop has quit [*.net *.split]
companion_cube has quit [*.net *.split]
svenl has quit [*.net *.split]
rudi_s has quit [*.net *.split]
srcerer has quit [*.net *.split]
adrien has quit [*.net *.split]
jlouis has quit [*.net *.split]
caligula has quit [*.net *.split]
dark has quit [*.net *.split]
Amorphous has quit [*.net *.split]
noj has quit [*.net *.split]
npouillard has quit [*.net *.split]
srcerer has joined #ocaml
hto has joined #ocaml
Pepe_ has joined #ocaml
julm_ has joined #ocaml
seafood has joined #ocaml
fraggle_ has joined #ocaml
xl0 has joined #ocaml
dark has joined #ocaml
rks has joined #ocaml
ftrvxmtrx has joined #ocaml
mattam has joined #ocaml
companion_cube has joined #ocaml
ikaros has joined #ocaml
eldragon has joined #ocaml
sgnb has joined #ocaml
Amorphous has joined #ocaml
boscop has joined #ocaml
tmaeda has joined #ocaml
svenl has joined #ocaml
kannanr has joined #ocaml
zzz_` has joined #ocaml
pheredhel has joined #ocaml
rudi_s has joined #ocaml
caligula has joined #ocaml
cods has joined #ocaml
Tianon has joined #ocaml
mikemc has joined #ocaml
jonathandav has joined #ocaml
adrien has joined #ocaml
noj has joined #ocaml
npouillard has joined #ocaml
gildor_ has joined #ocaml
mfp has joined #ocaml
hyperboreean has joined #ocaml
kerneis has joined #ocaml
rossberg_ has joined #ocaml
mehdid has joined #ocaml
__marius__ has joined #ocaml
jlouis has joined #ocaml
emias has joined #ocaml
hcarty has joined #ocaml
strlen has joined #ocaml
gnuvince1 has joined #ocaml
nimred has joined #ocaml
vk0 has joined #ocaml
snarkyboojum has joined #ocaml
Asmadeus has joined #ocaml
mcclurmc has joined #ocaml
nejimban has joined #ocaml
f[x] has joined #ocaml
fabjan_ has joined #ocaml
haelix has joined #ocaml
krktz has joined #ocaml
flux has joined #ocaml
bacam has joined #ocaml
fremo__ has joined #ocaml
thelema has joined #ocaml
thelema_ has quit [Write error: Broken pipe]
coucou747 has joined #ocaml
ygrek has joined #ocaml
seafood has quit [Quit: seafood]
mal`` has quit [Quit: Coyote finally caught me]
mal`` has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 276 seconds]
ikaros_ has quit [Quit: Leave the magic to Houdini]
joewilliams is now known as joewilliams_away
Yoric has joined #ocaml
smerz has joined #ocaml
noj has quit [Ping timeout: 272 seconds]
noj has joined #ocaml
joewilliams_away is now known as joewilliams