<thelema>
and definitely some skill at IDE development with manatee
<thelema>
which also shows haskell skills, which transfer reasonably to ocaml
<thelema>
they might retrain you to support their quants - you seem a high quality coder
<ManateeLazyCat>
thelema: My new Haskell OS's aim is not build IDE like Emacs, is build "Integrated Lived Environment" for haskell hacking, of course it's include IDE and everything.
<ManateeLazyCat>
thelema: Oh, i see....
<ManateeLazyCat>
thelema: I don't know they need IDE programmer. :)
<hcarty>
palomer: Ok, thank you for the explanation! I clearly need to read up on some definitions.
<palomer>
no problem!
<palomer>
btw, with the gadt branch you can do: type t = Embed : 'a array -> t
<flux>
hmm.. so let apply type (f : 'a. 'a -> unit) x = match x with Int a -> f a | Float b -> f b doesn't work in 3.12 then?
<palomer>
of course not
lamawithonel_ has quit [Ping timeout: 255 seconds]
<hcarty>
flux: No, sadly not. I tried that before coming here :-)
<hcarty>
flux: Particularly given that the manual has something VERY close to that as an example
lamawithonel_ has joined #ocaml
<hcarty>
Or, rather, something which appears very close to that
<rixed__>
Someone using Lwt ?
<rixed__>
My program is killed with "Fatal error: exception Lwt.Canceled", does that ring a bell to someone ?
<diml>
rixed__: which version are you using ? (this is a known bug in the 2.1.1 release)
<rixed__>
Well, 2.1.1 from godi :)
<rixed__>
and apparently the only patch godi have is for the DESTDIR of the makefile
<rixed__>
diml: Thank you, Im going to try darcs latest.
ikaros has quit [Quit: Leave the magic to Houdini]
<hcarty>
rixed__: What version of GODI are you using? I only see 2.1.0 in the OCaml 3.12 release packages
<hcarty>
rixed__: Rather, what section of GODI packages are you using
<rixed__>
hcarty: I have GODI_SECTION = 3.11
<hcarty>
rixed__: Ah, ok. Thank you!
<palomer>
flux, what's that type keyword doing there?
<flux>
palomer, oh, it was a mistake
<flux>
at one point I was thinking the new named type-feature of functions
<flux>
but it didn't apply here
<rixed__>
hcarty: maybe I should go for 3.12 if Lwt is more stable there. Because to access the darcs repo seams a little hard, considering my gentoo want to compile GHC first ;)
<palomer>
yeah, the new type feature is for introducing a type constructor into the current scope
<palomer>
it's pretty useless if you're not using first class modules
<hcarty>
rixed__: It's actually one release behind (2.1.0 instead of 2.1.1)
<hcarty>
rixed__: So it's probably no better
<hcarty>
rixed__: I would like to try the latest release as well though - there are apparently some nice fixes to the lwt-ized toplevel in the latest darcs
<hcarty>
s/latest release/latest code/
<julm>
hey rixed__ are you the one who ported ocamlopt to mipsel/n32?
<rixed__>
hcarty: so you recommend using latest code then ? It frightened me at first since they apparently changed the low level part (for libev). Will try to get it from anothermachine because there is no way I install GHC on this host.
<rixed__>
julm: "ported" is such a big word. I just fixed the very old code that was already there
<julm>
yep, thank you very much for that :)
<hcarty>
rixed__: I haven't tried the latest, but it's on my TODO list.
<hcarty>
rixed__: There were darcs binaries provided online at one point. I haven't used darcs in a long while though, so I don't know if they are still around.
<rixed__>
hcarty: no pb I sshed to a debian box and aptitude installed darcs. Now it's downloading. :)
<rixed__>
julm: BTW are you using ocaml on a mips box ?
<julm>
rixed__: yep my netbook, yeeloong/loongson, a mips64el
<rixed__>
julm: Ok, same as mine. Are you happy with it ? Any customization to recommand ?
<palomer>
hcarty, come to think of it, it wouldn't be hard to support rank-2 polymorphism (which is what you're doing)
<julm>
happy :) perhaps -march=loongson2f instead of -march=mips3
<hcarty>
palomer: It wouldn't be hard to support rank-2 polymorphism with something currently in OCaml, or as a new feature?
<rixed__>
julm: do you get dynlink support with this ? My best attempt for native dynlink support resulted in segfault :)
<albacker>
having [1;2;3;3] and returning [(1,2);(2,1);(3,2)] (number, number of times in list). Can that be acheived using map, iter and fold_left?
<hcarty>
thelema: Do you know if all of the Map modules in Batteries order elements the same way when calling the keys, values, map and fold functions?
thieusoai has joined #ocaml
<flux>
albacker, number of times in sequence or number of times in general?
<hcarty>
thelema: Each function using the elements from a given map in the same order
<julm>
rixed__: never tried so far :s
<albacker>
flux: in general.
<flux>
albacker, well, an efficient solution would require using Map or Hashtbl as well
<flux>
albacker, but in general List.fold_left is a decent tool for this
<albacker>
ok thanks.
init1 has quit [Quit: Quitte]
mfp has quit [Ping timeout: 245 seconds]
<palomer>
hcarty, as a new feature; I think everything we need is already there
ikaros has joined #ocaml
mfp has joined #ocaml
<rixed__>
Ok with latest lwt my program works ! Thank you hcarty!
<hcarty>
rixed__: Glad it works! diml is probably the one who deserves credit though :-)
<hcarty>
rixed__: You're welcome for what little I contributed though
Edward has joined #ocaml
seafood has joined #ocaml
Snark has quit [Quit: Ex-Chat]
<rixed__>
hcarty: thx for remembering me about diml, and thx to him of course.
<rixed__>
Now the question is : how can I tell to findlib to prefer package in site-lib over those on pkg-lib ?
<flux>
rixed__, perhaps findlib.conf can set this up. path="/blabla/site-lib:/foobar/pkg-lib" ?
<flux>
(I haven't tried, just looked up findlib.conf (5))
coucou747 has quit [Ping timeout: 240 seconds]
<adrien>
godi needs a standard way to use your own source package (just setting the download uri)
<flux>
definitely
<flux>
when everything works great, godi is nice. when it doesn't, it is annoying to fix. checksums etc..
<rixed__>
flux: makes perfect sense. I though those path were hardcoded. Thx!
<flux>
rixed__, ok. happy coding ;).
coucou747 has joined #ocaml
Yoric has quit [Quit: Yoric]
seafood has quit [Quit: seafood]
sepp2k has quit [Remote host closed the connection]
rixed__ has quit [Ping timeout: 260 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]