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
ymasory has quit [Quit: Leaving]
tautologico has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
ymasory has joined #ocaml
lopex has quit []
mjonsson has quit [Remote host closed the connection]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 250 seconds]
olauzon has quit [Quit: olauzon]
joewilliams_away is now known as joewilliams
philtor has quit [Ping timeout: 258 seconds]
ymasory has quit [Quit: Leaving]
ymasory has joined #ocaml
joewilliams is now known as joewilliams_away
ymasory has quit [Quit: Leaving]
tautologico has quit [Quit: tautologico]
boscop_ has quit [Ping timeout: 246 seconds]
dnolen has quit [Quit: dnolen]
boscop_ has joined #ocaml
vivanov has joined #ocaml
boscop_ has quit [Ping timeout: 246 seconds]
boscop_ has joined #ocaml
boscop_ has quit [Read error: Connection reset by peer]
<vivanov> does Array.concat preserve order?
ikaros has joined #ocaml
tomprince has quit [Ping timeout: 248 seconds]
tomprince has joined #ocaml
ThePing has joined #ocaml
ThePing has left #ocaml []
<flux> yes
<vivanov> flux: thanks :)
ygrek has joined #ocaml
philtor has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ulfdoz has quit [Ping timeout: 240 seconds]
ankit9|zzz has quit [Ping timeout: 246 seconds]
Rolands has joined #ocaml
jderque has joined #ocaml
boscop has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop_ has quit [Read error: Connection reset by peer]
ankit9 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
philtor has quit [Ping timeout: 248 seconds]
jderque has quit [Quit: leaving]
ygrek has quit [Ping timeout: 246 seconds]
hto_ has joined #ocaml
hto has quit [Ping timeout: 240 seconds]
boscop has joined #ocaml
ftrvxmtrx has joined #ocaml
hto_ has quit [Ping timeout: 246 seconds]
hto has joined #ocaml
larhat has joined #ocaml
__mattam__ is now known as mattam
Cyanure has quit [Quit: Quitte]
Kakadu has joined #ocaml
Yoric has joined #ocaml
<Yoric> Hi everybody.
<adrien> hi =)
<Yoric> In about 1/2h, I'll need some help promoting Opa :)
<Yoric> If anybody's in, please join #opalang .
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
Kakadu has quit [Ping timeout: 252 seconds]
Cyanure has joined #ocaml
munga has joined #ocaml
eye-scuzzy has quit [Quit: leaving]
eye-scuzzy has joined #ocaml
eye-scuzzy has quit [Client Quit]
eye-scuzzy has joined #ocaml
Rolands has quit [Ping timeout: 252 seconds]
jderque has joined #ocaml
rby has quit [Quit: Lost terminal]
ygrek has joined #ocaml
<Yoric> Next step: Reddit.
edwin has joined #ocaml
<adrien> OPA released as open-source, that's neat =)
* adrien needs more time
lopex has joined #ocaml
<larhat> Yoric: where is the link to code? i think it should be on front page
<Yoric> Will be added in a few days.
<Yoric> (still finishing clean-up)
<larhat> some examples on front page would be very good for promotion
<Yoric> larhat: it's in the pipes
<Yoric> But yes, thanks.
<Yoric> And that's enough reddit carpet-bombing.
<larhat> Yoric: it would be nice if you set up github account for opa (or fill this repo https://github.com/MLstate/opalang with fresh content), because nowdays if you aren't on github, you're not exist :-)
<Yoric> larhat: yes, as soon as we have finished clean-up :)
<Yoric> More carpet-bombing: http://news.ycombinator.com/item?id=2563530 .
_andre has joined #ocaml
<rixed> Yoric: Maybe you should wait for the code to be available before advertising, otherwise many people may be disapointed.
munga has quit [Ping timeout: 240 seconds]
<Yoric> We decided to observe what successful start-ups did, and follow :)
<adrien> tricky middle-ground
<adrien> s/middle-ground/balance/
boscop has quit [Ping timeout: 246 seconds]
hto has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 246 seconds]
smerz has joined #ocaml
boscop has joined #ocaml
dnolen has joined #ocaml
jderque has quit [Quit: leaving]
munga has joined #ocaml
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
ymasory has joined #ocaml
ymasory has quit [Read error: Connection reset by peer]
alfa_y_omega has joined #ocaml
ikaros has joined #ocaml
Associat0r has joined #ocaml
ankit9 has quit [Ping timeout: 260 seconds]
dnolen has quit [Quit: dnolen]
Associat0r has quit [Quit: Associat0r]
Snark_ has joined #ocaml
Snark_ is now known as Snark
<Yoric> adrien: rixed: larhat: Ok, we have now uploaded the manual.
<Yoric> Still not the code, though :)
Yoric1 has joined #ocaml
edwin has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 276 seconds]
lopex has quit []
jderque has joined #ocaml
joewilliams_away is now known as joewilliams
eye-scuzzy has quit [Ping timeout: 260 seconds]
eye-scuzzy has joined #ocaml
boscop has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
philtor has joined #ocaml
thieusoai has quit [Remote host closed the connection]
Yoric1 is now known as Yoric
boscop has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
avsm1 has quit [Quit: Leaving.]
boscop has quit [Read error: Connection reset by peer]
jonafan has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Tobu has joined #ocaml
Cyanure has quit [Remote host closed the connection]
hto has joined #ocaml
ymasory has joined #ocaml
avsm has joined #ocaml
larhat has quit [Quit: Leaving.]
Yoric has quit [Quit: Leaving.]
thieusoai has joined #ocaml
smerz has quit [Remote host closed the connection]
ymasory has quit [Remote host closed the connection]
hto has quit [Ping timeout: 240 seconds]
hto has joined #ocaml
edwin has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ygrek has joined #ocaml
ikaros has joined #ocaml
hto has quit [Ping timeout: 246 seconds]
munga has quit [Ping timeout: 252 seconds]
ymasory has joined #ocaml
ulfdoz has joined #ocaml
ftrvxmtrx has joined #ocaml
oriba has joined #ocaml
oriba has left #ocaml []
ygrek has quit [Ping timeout: 246 seconds]
smerz has joined #ocaml
Yoric has joined #ocaml
ygrek has joined #ocaml
DimitryKakadu has joined #ocaml
Associat0r has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
philtor has quit [Ping timeout: 276 seconds]
ankit9 has joined #ocaml
hto has joined #ocaml
boscop has joined #ocaml
Snark has quit [Quit: Ex-Chat]
Associat0r has quit [Quit: Associat0r]
boscop has quit [Ping timeout: 246 seconds]
vivanov has quit [Ping timeout: 240 seconds]
elehack has joined #ocaml
elehack has quit [Client Quit]
impy has quit [Ping timeout: 260 seconds]
elehack has joined #ocaml
impy has joined #ocaml
alfa_y_omega has quit [Ping timeout: 276 seconds]
alfa_y_omega has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
ulfdoz has joined #ocaml
NaCl_ has joined #ocaml
NaCl has quit [Quit: leaving]
NaCl_ is now known as NaCl
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
Cyanure has joined #ocaml
sepp2k has joined #ocaml
Cyanure has quit [Quit: Quitte]
jderque has quit [Quit: leaving]
boscop has joined #ocaml
_andre has quit [Quit: leaving]
enthymeme has joined #ocaml
_y_ has joined #ocaml
<_y_> any general strategies for mixing C code that calls into OCaml runtime functions with other C code that defines conflictory types with the same names? i.e.
<_y_> c:\ocamlms\lib\caml\misc.h(33) : error C2371: 'asize_t' : redefinition; different basic types
<_y_> c:\work\src\idasdk53\include\pro.h(297) : see declaration of 'asize_t'
<_y_> c:\ocamlms\lib\caml\mlvalues.h(60) : error C2371: 'color_t' : redefinition; different basic types
<_y_> c:\work\src\idasdk53\include\kernwin.hpp(30) : see declaration of 'color_t'
<_y_> I suppose it isn't strictly an OCaml-related question
<thelema> I think there's only two possible answers to that question: change your code or change the ocaml compiler's code
<thelema> s/your code/the other C code"
<_y_> indeed :( thanks anyway
<thelema> sorry, C's global namespace sucks sometimes
<adrien> sometimes? you don't like library_library-s_module_library-s_sub_module_long_function_name()? :P
sepp2k has quit [Quit: Leaving.]
<_y_> ok, here's a more pertinent question ... for my REPL embedded in IDA ( http://pastebin.com/HYGpc6L5 ), things that issue errors are properly printed as errors, i.e.:
<_y_> let f = function | 1 -> 0 | "x" -> 1;;
<_y_> Characters 28-31:
<_y_> let f = function | 1 -> 0 | "x" -> 1;;
<_y_> Error: This pattern matches values of type string but a pattern was expected which matches values of type int
<_y_> however, things that issue warnings instead give general errors about bad I/O descriptors:
<_y_> let f = function | 1 -> 0 | 1 -> 1;;
<_y_> Characters -1--1:
<_y_> let f = function | 1 -> 0 | 1 -> 1;;Error: I/O error: Bad file descriptor
<_y_> did I forget to register something in my top loop?
<thelema> maybe you have to catch warnings differently, and that Errors.report_error doesn't work on them...
<_y_> that's a good point
ankit9 is now known as ankit9|zzz
Klystron has joined #ocaml
ikaros has quit [Ping timeout: 276 seconds]
ygrek has quit [Ping timeout: 246 seconds]
alfa_y_omega has quit [Ping timeout: 240 seconds]
DimitryKakadu has quit [Remote host closed the connection]
alfa_y_omega has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
<_y_> ahhh, it's because parsing/location.ml is hard-coded to use the error formatter
<_y_> (* typing/typecore.ml *)
<_y_> (* Check that a type is not a function *)
<_y_> let check_application_result env statement exp =
<_y_> let loc = exp.exp_loc in
<_y_> match (expand_head env exp.exp_type).desc with
<_y_> | Tarrow _ ->
<_y_> Location.prerr_warning exp.exp_loc Warnings.Partial_application
<_y_> (* parsing/location.ml *)
<_y_> open Format
<_y_> let prerr_warning loc w = print_warning loc err_formatter w;;
<thelema> _y_: oops. send in a bug report
alfa_y_omega has quit [Ping timeout: 240 seconds]
alfa_y_omega has joined #ocaml
Klystron has quit [Quit: Konversation terminated!]
Klystron has joined #ocaml
Klystron has quit [Remote host closed the connection]
<_y_> what do you think for the severity, 'minor'?
lopex has joined #ocaml
<hcarty> _y_: You can wrap some #define's around the conflicting headers to avoid C name conflicts
<hcarty> _y_: It's an ugly hack, but it is needed sometimes.
<_y_> hmm
<_y_> #define the conflicting types away or what?
<_y_> I guess I'm not sure how I follow, would that work with typedefs?
<hcarty> Maybe not with typedefs. I'm not certain.
<hcarty> I've used it in a few library bindings
jld has quit [Ping timeout: 264 seconds]
<_y_> getting this OCaml interpreter to work inside of IDA has been the most technically acrobatic thing I've ever done
<_y_> coding compilers is easier than this
jld has joined #ocaml
<hcarty> _y_: https://forge.ocamlcore.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=ocaml-hdf/ocaml-hdf.git;a=blob;f=hdf_impl.c;h=9862caaf711dd8ec14ee4b2d4b280d22a56356a9;hb=HEAD -- lines 16 to 40 for reference
<hcarty> IDA?
<_y_> a machine-code disassembler
<_y_> thanks for the reference there
<_y_> looks as though it's only for #defines however, as I don't think you can #undef a typedef
<_y_> I could be wrong there
elehack has quit [Ping timeout: 264 seconds]
Yoric has quit [Remote host closed the connection]
emmanuelux has joined #ocaml
mattam has quit [*.net *.split]
Derander has quit [*.net *.split]
olauzon has joined #ocaml
mattam has joined #ocaml
Derander has joined #ocaml
mattam has quit [*.net *.split]
Derander has quit [*.net *.split]
mattam has joined #ocaml
Derander has joined #ocaml
eye-scuzzy has quit [Ping timeout: 260 seconds]
<_y_> ah, I understand now, yes, I can redefine the name of the type, not redefine the type itself
<_y_> that should prove useful
olauzon has quit [Quit: olauzon]
jld has quit [Ping timeout: 248 seconds]
jld has joined #ocaml
edwin has quit [Remote host closed the connection]
<_y_> my first compiler patch! changing to std_formatter rather than err_formatter and recompiling solves the problem
_y_ has quit []
avsm has quit [Quit: Leaving.]
Amorphous has quit [Ping timeout: 246 seconds]
boscop has quit [Changing host]
boscop has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
alfa_y_omega has quit [Ping timeout: 260 seconds]
alfa_y_omega has joined #ocaml
Amorphous has joined #ocaml
dnolen has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
ymasory has quit [Quit: Leaving]
ymasory has joined #ocaml
avsm has joined #ocaml