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
Cyanure has quit [Remote host closed the connection]
tauntaun has joined #ocaml
rup has quit [Ping timeout: 276 seconds]
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 255 seconds]
gildor has quit [Read error: Operation timed out]
gildor has joined #ocaml
<EM03> thelema: sounds good for sure
joewilliams_away is now known as joewilliams
ulfdoz has quit [Ping timeout: 250 seconds]
ulfdoz has joined #ocaml
rup has joined #ocaml
joewilliams is now known as joewilliams_away
boscop has quit [Ping timeout: 255 seconds]
philtor has quit [Read error: Operation timed out]
npouillard has quit [Ping timeout: 248 seconds]
npouillard has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
philtor has joined #ocaml
EM03 has quit [Read error: Connection reset by peer]
sepp2k has quit [Quit: Leaving.]
rup has quit [Ping timeout: 255 seconds]
emmanuelux has quit [Remote host closed the connection]
lopexx has quit []
willb has quit [Read error: Operation timed out]
Associat0r has quit [Quit: Associat0r]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 240 seconds]
seafood_ has joined #ocaml
seafood_ is now known as seafood
rup has joined #ocaml
lars9 has quit [Quit: leaving]
philtor has quit [Ping timeout: 264 seconds]
seafood has quit [Quit: seafood]
ikaros has joined #ocaml
ygrek has joined #ocaml
Derander has quit [Quit: ZNC - http://znc.sourceforge.net]
arubin has quit [Quit: arubin]
larhat has joined #ocaml
surikator has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
<surikator> hi, is there any place i can have a look at previous chats of this channel?
<adrien> should probably be topic'ed
<surikator> adrien: thanks!
<adrien> no problem
<surikator> do you know if there is a way to search them?
<surikator> ok, don't worry, found what i needed! thanks
<adrien> searching is unfortunately a bit hard, I guess I'll mirror and tar them up
waern has joined #ocaml
Glavata has joined #ocaml
Derander has joined #ocaml
yezariaely has joined #ocaml
surikator has quit [Quit: surikator]
yezariaely has left #ocaml []
yezariaely has joined #ocaml
Snark has joined #ocaml
<yezariaely> is there an easy possibility to write a new backend for the ocaml compiler?
<yezariaely> or is there a overview, how the ocaml compiler is built? different steps (lexer, parser, ...)
<yezariaely> is the register allocator included into the ocaml compiler? any source for answering such questions?
<flux> google might work fo rseaching (but he left already)
<yezariaely> FAQ
<yezariaely> grml#
<yezariaely> flux: thx ...
<flux> not referring to yezariaely but adrien's logs :)
<yezariaely> ah ...
<flux> yezariaely, hmm, obviously there must be a register allocator in the ocaml compiler, how else would it compile anything decent native code. what is your goal?
<flux> to write a new compiler for ocaml syntax as a research/hobby/study project?
<flux> yezariaely, I'm afraid the best resource for ocaml compiler is the ocaml compiler source code..
<yezariaely> exactly, for hobby project. I was interested in writing a ocaml compiler for embedded system stuff / small microcontrollers
<yezariaely> hmm, flux that's bad... but I will have a look at it. are the developers of ocaml available here?
<flux> yezariaely, nope. they can be found from the mailing list (caml-list)
ygrek has quit [Remote host closed the connection]
EM03 has joined #ocaml
<yezariaely> you know of any embedded / hardware project using ocaml as compiler?
edwin has joined #ocaml
<flux> nope. I've used the bytecode interpreter for simple tests in an embedded linux device, though, so it's doable I suppose ;)
ygrek has joined #ocaml
<adrien> yezariaely: ocapic targets pic btw
<yezariaely> adrien: thanks, this looks nice!
larhat has left #ocaml []
<flux> forgot about ocapic. need to try it out some day (TM).
<adrien> same, I need two things first: a pic and a project that would be appropriate for a pic ;-)
<flux> I actually have pics and a programmer for them. but I guess I'd still prefer some more convenient architecture than PIC..
<adrien> like itanium2? :P
<yezariaely> hehe
<flux> well, like an atmel..
<flux> or why not itanium2 if one can get them for a couple bucks and they consume a few milliampers energy ;)
<adrien> hahaha =)
<flux> (and contain their own memory and preferably some crystal and..)
<adrien> if you made ocaml usable on an arduino... :P
<flux> now that I look at the page again, I'm not sure if I have pic18's
<flux> quite a few pic12's and some pic16's. I suppose pic18's are somewhat more capable devices.
<flux> they don't even come as very small, the smallest *DIP I can find has 20 legs. although the largest go to 70 IOs.
<flux> but at least the price is 2.54 EUR for single units at a large electronic parts supplier
<flux> I think the C compiler is available only for PIC18 as well, so I guess the lower end ones don't provide some critical features
Cyanure has joined #ocaml
Yoric has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel__ has quit [Ping timeout: 260 seconds]
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 250 seconds]
jonafan_ has quit [Ping timeout: 255 seconds]
jonafan_ has joined #ocaml
jonafan has joined #ocaml
jonafan_ has quit [Ping timeout: 246 seconds]
yezariaely has quit [Quit: Leaving.]
ankit9 has quit [Ping timeout: 252 seconds]
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 240 seconds]
vivanov has joined #ocaml
ulfdoz has quit [Quit: kernel update]
vivanov has quit [Ping timeout: 252 seconds]
jonafan_ has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
vivanov has quit [Quit: leaving]
<adrien> "BLKPG: Invalid argument" <- proof that not only ocaml says something which is mostly useless (here, linux)
jonafan has joined #ocaml
jonafan has quit [Ping timeout: 260 seconds]
jonafan has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 264 seconds]
Oejet has joined #ocaml
boscop has joined #ocaml
waern_ has joined #ocaml
waern has quit [Ping timeout: 246 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Associat0r has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
sepp2k has joined #ocaml
lamawithonel has quit [Ping timeout: 250 seconds]
fx_ has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
f[x] has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
f[x] has quit [Ping timeout: 252 seconds]
ikaros has joined #ocaml
f[x] has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
f[x] has joined #ocaml
lamawithonel has joined #ocaml
ulfdoz has joined #ocaml
tauntaun has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
boscop_ has joined #ocaml
lamawithonel has quit [Ping timeout: 252 seconds]
lamawithonel has joined #ocaml
boscop has quit [Ping timeout: 255 seconds]
boscop_ is now known as boscop
surikator has joined #ocaml
avsm has joined #ocaml
lopex has quit []
HoraseLunums has joined #ocaml
avsm has quit [Quit: Leaving.]
surikator has quit [Quit: surikator]
<hcarty> thelema: I can - what follow up would you like?
avsm has joined #ocaml
<hcarty> If yezariaely comes back, I the OCaml Java compiler/project has some documentation on OCaml's internals
<hcarty> The docs are about bytecode primarily, but they may still be useful - http://cadmium.x9c.fr/downloads.html
<thelema> hcarty: a quick patch (maybe even with test) or moving the issue to the wishlist on the wiki
<hcarty> thelema: Ok, I'll put a patch together. Should I email it to you?
<thelema> or to the list or a pull request or just a link to a pastebin with the patch (hopefully a git format-patch patch, plz]
<hcarty> thelema: Ok. Definitely a proper git'd patch. I'll likely pastebin it, unless something comes up and I can't finish it now
avsm has quit [Read error: Operation timed out]
avsm has joined #ocaml
avsm has quit [Client Quit]
lamawithonel has quit [Ping timeout: 276 seconds]
ulfdoz has quit [Ping timeout: 250 seconds]
ulfdoz has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel has quit [Ping timeout: 248 seconds]
<hcarty> thelema: http://pastebin.com/LwFn5L5w -- This adds the function and docs, no test
<hcarty> thelema: http://pastebin.com/PQ4KUvf3 -- This fixes a (very) small documentation typo in the same file which I noticed while editing. It may not be worth bothering with the patch in this case...
<hcarty> thelema: I'm not sure how to go about writing test cases for this module.
<thelema> hcarty: is there an interface from an arbitrary arrat, or can it only read from argv
<thelema> pushed. Thanks.
<hcarty> thelema: There is. I have to leave now, but if I have time later this evening I'll try to get a test patch together.
<hcarty> thelema: Thank you as well. I'm glad to have contributed something :-)
<thelema> great.
<thelema> contribute lots - I'm of the theory that a lot of small contributions add up
<hcarty> Regarding the current mailing list thread on a possible replacement for Enum - in my experience, Seq works very nicely as an enum replacement, but it is slower than the Enum module.
<thelema> I figure it could work but didn't know it was slower
<hcarty> I don't know how much slower in real code, but I tested the two a while ago and found that there is a difference in microbenchmark-like code.
<hcarty> It's possible that the speed could be addressed. Again, if I have time later I will write up a proper response for the list.
<hcarty> With some test/demo/comparison code
<thelema> great if you can make the time. Don't spend too much time making things perfect.
avsm has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
myu2 has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
willb has joined #ocaml
tauntaun has joined #ocaml
albacker has joined #ocaml
philtor has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
korya has quit [Read error: Connection reset by peer]
surikator has joined #ocaml
enthymeme has joined #ocaml
Snark has quit [Quit: Ex-Chat]
waern_ has quit [Quit: leaving]
lamawithonel has quit [Ping timeout: 255 seconds]
tauntaun has joined #ocaml
lamawithonel has joined #ocaml
<thelema> https://fedorahosted.org/gdb-heap/ <- this would be neat to add ocaml support to
Associat0r has quit [Quit: Associat0r]
Oejet has quit [Read error: Connection reset by peer]
Oejet has joined #ocaml
HoraseLunums has quit [Remote host closed the connection]
Oejet has quit [Quit: Leaving.]
dnolen has joined #ocaml
enthymeme has quit [Ping timeout: 252 seconds]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
enthymeme has joined #ocaml
ulfdoz is now known as Ruempelstilzchen
Fullma has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 246 seconds]
edwin has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
philtor has quit [Ping timeout: 255 seconds]
Yoric has quit [Quit: Yoric]
albacker has quit [Quit: Leaving]
mnabil has joined #ocaml
Amorphous has quit [Ping timeout: 255 seconds]
Amorphous has joined #ocaml
mnabil has quit [Remote host closed the connection]
tauntaun is now known as tautuan_bubble_b
tautuan_bubble_b is now known as tautaun_bathing
myu2 has joined #ocaml
tautaun_bathing is now known as tauntaun_drying
tauntaun_drying is now known as tautau_pedicure