rwmjones changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.1 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
<bluestorm> * [27 Jun 07] Added private flag in type declarations and with constraints
bluestorm has quit ["Konversation terminated!"]
postalchris has quit ["Leaving."]
<rieux> thanks, bluestorm.
jstanley has left #ocaml []
Demitar has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
jlouis_ has joined #ocaml
middayc has joined #ocaml
ReachingFarr has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
AxleLonghorn has joined #ocaml
dramsay has joined #ocaml
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
mwc has quit ["Leaving"]
seafood_ has quit []
dramsay has quit ["Leaving"]
Cosmos95 has quit []
Cosmos95 has joined #ocaml
Cosmos95 has quit [Client Quit]
dibblego has quit ["Leaving"]
AxleLonghorn has quit [Success]
seafood_ has joined #ocaml
middayc has quit [calvino.freenode.net irc.freenode.net]
ReachingFarr has quit [calvino.freenode.net irc.freenode.net]
thermoplyae has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
mfp has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
ikatz has quit [calvino.freenode.net irc.freenode.net]
jeremiah has quit [calvino.freenode.net irc.freenode.net]
petchema has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
nasloc__ has quit [calvino.freenode.net irc.freenode.net]
unfo- has quit [calvino.freenode.net irc.freenode.net]
jdavis_ has quit [calvino.freenode.net irc.freenode.net]
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
munga has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
netx has quit [calvino.freenode.net irc.freenode.net]
munga has joined #ocaml
gim has joined #ocaml
netx has joined #ocaml
ReachingFarr has joined #ocaml
middayc has joined #ocaml
thermoplyae has joined #ocaml
pattern has joined #ocaml
mfp has joined #ocaml
rwmjones has joined #ocaml
ikatz has joined #ocaml
jeremiah has joined #ocaml
petchema has joined #ocaml
Smerdyakov has joined #ocaml
nasloc__ has joined #ocaml
jdavis_ has joined #ocaml
unfo- has joined #ocaml
ReachingFarr has quit [No route to host]
mwc has joined #ocaml
AxleLonghorn has joined #ocaml
seafood_ has quit []
thermoplyae has quit ["daddy's in space"]
ttamttam has joined #ocaml
mwc has quit [Remote closed the connection]
ttamttam has left #ocaml []
ttamttam has joined #ocaml
AxleLonghorn has left #ocaml []
kmeyer has joined #ocaml
l_a_m has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
Morphous_ has joined #ocaml
rieux has quit [calvino.freenode.net irc.freenode.net]
thelema|away has quit [calvino.freenode.net irc.freenode.net]
__suri_ has quit [calvino.freenode.net irc.freenode.net]
sergez has quit [calvino.freenode.net irc.freenode.net]
authentic has quit [calvino.freenode.net irc.freenode.net]
seafood has quit [calvino.freenode.net irc.freenode.net]
mbishop has quit [calvino.freenode.net irc.freenode.net]
qwr has quit [calvino.freenode.net irc.freenode.net]
hcarty has quit [calvino.freenode.net irc.freenode.net]
ahf has quit [calvino.freenode.net irc.freenode.net]
guyzmo has quit [calvino.freenode.net irc.freenode.net]
hcarty has joined #ocaml
seafood has joined #ocaml
ahf has joined #ocaml
guyzmo has joined #ocaml
mbishop has joined #ocaml
authentic has joined #ocaml
Morphous has quit [Read error: 110 (Connection timed out)]
qwr has joined #ocaml
__suri has joined #ocaml
rieux has joined #ocaml
<ertai> rieux: do you have specific problems with camlp4?
filp has joined #ocaml
thelema|away has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
ygrek_ has joined #ocaml
alexp has joined #ocaml
maayhem has joined #ocaml
<maayhem> hello
<maayhem> a good soul who has acces to ACM could land me an article there ? please
<maayhem> 'Flow Logic: A Multi-paradigmatic Approach to Static Analysis'
robyonrails has joined #ocaml
<munga> maayhem: there you go: http://cduce.org/~abate/paperirc.pdf
munga has quit ["Leaving"]
yyyar has joined #ocaml
<maayhem> munga : thanks :)
petchema has quit [Read error: 110 (Connection timed out)]
alexp has quit ["Leaving"]
OChameau has joined #ocaml
hkBst has joined #ocaml
Tetsuo has joined #ocaml
StoneNote has quit []
<Yoric[DT]> Does anyone know if there's a way to get ocamlc to run its error messages through Camlp4 ?
<flux> what do you have on your mind?-o
<flux> you could do it manually, no?
<Yoric[DT]> With the revised syntax, 'a option becomes option 'a.
<Yoric[DT]> Error messages in the toplevel take that into account.
<Yoric[DT]> Error messages in ocamlc don't.
<flux> oh
<flux> it's not the difference between running and not running camlp4?
<Yoric[DT]> Well, to use the revised syntax you need camlp4.
Cosmos95 has joined #ocaml
munga has joined #ocaml
middayc has joined #ocaml
ygrek_ has quit [Remote closed the connection]
ygrek_ has joined #ocaml
jlouis_ has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
Cosmos95 has quit []
dramsay has joined #ocaml
robyonrails has quit ["Leaving"]
g361301 has joined #ocaml
blackdog_ has joined #ocaml
dramsay has quit ["Leaving"]
g36130 has quit [Read error: 110 (Connection timed out)]
munga has quit ["Leaving"]
dramsay has joined #ocaml
xavierbot has quit [Remote closed the connection]
xavierbot has joined #ocaml
dramsay has quit ["Leaving"]
petchema has joined #ocaml
<rieux> ertai: Sorry, i was asleep. I've been trouble loading and then calling into camlp4 from a standalone program (rather than a syntax extension loaded by p4). I've managed to get a parser by linking against camlp4of.cma (which in turn requires toplevellibs.cma), which doesn't seem like the right way to do it, but it's working. To get a printer, I am applying Camlp4.Printers.OCaml.Make myself, which doesn't seem too objectionable.
<rieux> The other interesting thing that's happening is that having camlp4 loaded causes Toploop.parse_toplevel_phrase (which I'm using to do some automation in the toploop) to read directly from stdin regardless of the buffer that it's given.
<Yoric[DT]> flux: well, question asked on the mailing-list -- and the answer is "it's not possible".
rieux_ has joined #ocaml
dramsay has joined #ocaml
yyyar has left #ocaml []
rieux has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
kmeyer has quit [Remote closed the connection]
postalchris has joined #ocaml
ygrek_ has quit [Remote closed the connection]
rieux has joined #ocaml
rieux_ has quit []
mwc has joined #ocaml
filp has quit ["Bye"]
nameless` has joined #ocaml
<nameless`> hi
<nameless`> i would like to know if it exist a prolog solver in ocaml ?
<nameless`> in others terms, how can i make some prolog command programming ocaml
<mwc> you want to write a prolog interpreter in Ocaml?
<mwc> or you want to do logic programming in Ocaml?
nameless1 has joined #ocaml
<nameless1> i want to do logic programming in ocaml
<nameless1> second
<nameless1> i want to do logic programming in ocaml
<rwmjones> nameless1, have a look at coq, http://pauillac.inria.fr/coq/
nameless` has quit [Nick collision from services.]
<nameless1> by logic programming i heard prolog
<nameless1> i don't have time to learn a new language
<nameless1> it's for a project i have for university
nameless1 is now known as nameless`
<mwc> I was going to suggest you could either use prolog, or if you're an FP stickler, try the logict monad kit in Haskell
<mwc> I don't know of a similar system for caml
<petchema> there's stuff in http://caml.inria.fr/cgi-bin/hump.en.cgi?sort=0&browse=103, but none pretends to implement (a subset of) Prolog
<nameless`> hum...
<nameless`> or maybe i can use a third language like C acting as a gateway between caml and prolog ?
<rwmjones> so ... you want to do logic programming, but can't really be bothered to learn anything new
hkBst has quit ["Konversation terminated!"]
pango has quit [Remote closed the connection]
seafood_ has quit []
pango has joined #ocaml
ttamttam has left #ocaml []
<nameless`> sure
<nameless`> i will take a look about coq
<nameless`> thx
nameless` has quit ["Lost terminal"]
<Yoric[DT]> Coq ?
<Yoric[DT]> ...
<Yoric[DT]> A bit overkill.
<mfp> /methinks implementing backtracking + unification would be way easier than learning Coq
<Yoric[DT]> I agree.
<Yoric[DT]> I actually considered implementing backtracking + unification as a Camlp4 extension with a prolog-style syntax.
<Yoric[DT]> But I frankly don't have this kind of time.
bluestorm has joined #ocaml
mwc has quit ["Leaving"]
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
middayc has quit []
fradiavalo has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
Demitar has quit [calvino.freenode.net irc.freenode.net]
Demitar has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
ttamttam has quit ["Leaving."]
ttamttam has joined #ocaml
postalchris has joined #ocaml
<ertai> rieux: still there ?
<rieux> yeah, hi.
<ertai> rieux: hi
<ertai> rieux: have you seen examples that I've given, for building standalone apps with camlp4
<rieux> ertai: I have read everything at http://www.ocaml-tutorial.org/camlp4_3.10, but haen't seen anything else.
<rieux> ertai: i have worked around my issues at this point, though I'm sure what I'm doing is dirty.
<rieux> However, this behavior is weird. Try this: !Toploop.parse_toplevel_phrase (Lexing.from_string "a;;");;
<xavierbot> Characters 34-37:
<xavierbot> Failure: "lowercase identifier expected"
<xavierbot> However, this behavior is weird. Try this: !Toploop.parse_toplevel_phrase (Lexing.from_string "a;;");;
<xavierbot> ^^^
<rieux> (oops i didn't know about that, sorry)
<rieux> the phrase above works as expected if camlp4 isn't loaded, but if it is, it reads from stdin.
<rieux> re http://brion.inria.fr/gallium/index.php/Camlp4, yes, i've read all that.
* ertai have to go
<rieux> ertai: thanks... bye...
<ertai> there is some posts on the caml-list about standalone + camlp4
<ertai> I should put one of them on the wiki
<ertai> rieux: bye
<rieux> yeah, my archive search didn't catch much... i'll look more there, too. tahnks.
OChameau has quit ["Leaving"]
netx has quit ["Leaving"]
jderque has joined #ocaml
ita has joined #ocaml
marmottine has joined #ocaml
Morphous has joined #ocaml
Sparkles has quit [Remote closed the connection]
ttamttam has left #ocaml []
Halabund has joined #ocaml
aziem has joined #ocaml
Morphous_ has quit [Read error: 110 (Connection timed out)]
<g361301> Hi.. I'm a bit confused by OCaml original and revised syntax. Which syntax should one use?
<rwmjones> original
<g361301> Thx. What's the point about the revised one?
<rwmjones> some people don't like the original syntax enough that they implement their own, and camlp4 makes it easy to do
<rwmjones> there's even a pythonesque whitespace syntax around
<ita> ocaml+twt
<bluestorm> g361301: use the one you like
<bluestorm> unless you have additional constraints
<g361301> Ok. So both syntaxes will be supported in the future. Thx to you all
<bluestorm> hm
<bluestorm> what do you mean by "supported" ?
<bluestorm> you can convert a source file from revised to original syntax and back
<mfp> the original one is a bit better supported though; if you have no preference, stay with it
<mfp> (error messages, no need for camlp4o preproc, etc.)
<mfp> also, fewer editors know the revised syntax
<bluestorm> yes, there is that editor problem
aziem has quit [Read error: 113 (No route to host)]
<g361301> Something else.. I'm using Genlex. I know how to use for integers, keywords... But for strings? I'd like stuff like "blabla" to be reported as one lex item.
<g361301> Maybe there is a doc?
aziem has joined #ocaml
jstanley has joined #ocaml
<jstanley> Anyone know how I can prevent ocamlopt -shared from deleting the assembly code for the startup code that it generates?
<jstanley> -S just preserves the assembly for the .ml I'm compiling.
<postalchris> "-ccopt -S"?
<flux> g361301, doesn't Genlex support strings directly?
<jstanley> postalchris: Not working, it still just invokes: as -o 'test.startup.o' '/var/folders/GP/GPcdXIPFFSOXhGwWi6+U6++++TM/-Tmp-/camlstartupe3b3ac.s'
Halabund has quit [Client Quit]
ygrek has joined #ocaml
middayc has joined #ocaml
thermoplyae has joined #ocaml
<jstanley> Anyone know where ocamlopt -dlcode gets the startup code from? I'm trying to inspect it but it deletes the temporary files :( and -S only preserves the generated assembly for the input .ml file.
<flux> jstanley, use the source?
jderque has quit [Read error: 113 (No route to host)]
tjohnson has joined #ocaml
<tjohnson> so, when i try to build ocaml on a rhel4 server, I get a failure to compile libgraphics.a due to a lack of -lX11, but i have xorg-x11-devel installed. is there something else I'm missing?
<mfp> the startup code is generated at link time
<mfp> try -dstartup to preserve the temp file /tmp/camlstartup*.s
<jstanley> flux: yeah, i'm a bit slow, i got it =)
<jstanley> mfp: i just hacked the source to preserve the startup file on -S as well.
<rwmjones> tjohnson, is this from source? GODI? from a .src.rpm?
<jstanley> mfp: so re: our conversation yesterday, it's looking like the dylib/bundle generation + natdynlink branch isn't working for mac os x :(
<mfp> :-|
<jstanley> mfp: i'm poking through the generated asm on the off chance i can actually do something about it.
<jstanley> mfp: but i'm not hopeful :)
<tjohnson> rwmjones: plain source
<jstanley> mfp: it's a comedy of errors, really. os x 10.4 unofficially, undocumented-ly supported non-pic code in bundles, but with undefined behavior. 10.5, which i'm using, doesn't support it all and won't link ocamlopt-generated code into a shared lib.
<rwmjones> tjohnson, I'd advise you to either start from a .src.rpm or at least unpack it to see how they did it ... http://rpmfind.net//linux/RPM/dag/redhat/el4/x86_64/ocaml-3.09.1-1.2.el4.rf.x86_64.html
<jstanley> doesn't support it at all*
<rwmjones> tjohnson, IIRC there is an ocaml build in EPEL too
<tjohnson> rwmjones: EPEL?
<jstanley> Anyone know of a good x86 asm hacking irc channel? :)
<rwmjones> tjohnson, yes it's in EPEL ... http://fedoraproject.org/wiki/EPEL
<tjohnson> ahh, cool. i hadn't ever seen that before
<tjohnson> grr. all i needed to do was add -L/usr/X11/lib64 to the library search path. i'm an idiot :-S
thermoplyae has quit ["daddy's in space"]
<jstanley> anyone on here know much about the asm code generation backends in ocaml? specifically, anyone have a feel for how much work it'd be to get the mac platform x86 asm emitting code to generate PIC instead of the non-PIC that it currently does?
middayc has quit []
marmottine has quit ["Quitte"]
ReachingFarr has joined #ocaml
Sparkles has joined #ocaml
rwmjones has quit ["Closed connection"]
Yoric[DT] has quit ["Ex-Chat"]
ygrek has quit [Remote closed the connection]
dibblego has joined #ocaml
dusty_ has joined #ocaml
thermoplyae has joined #ocaml
RobertFischer has joined #ocaml
RobertFischer has left #ocaml []
dusty_ has quit [Read error: 111 (Connection refused)]
ita has quit ["Hasta luego!"]
aziem has quit [Read error: 113 (No route to host)]
dramsay has quit [Read error: 110 (Connection timed out)]
Tetsuo has quit ["Leaving"]
StoneNote has joined #ocaml
bluestorm has quit [Read error: 113 (No route to host)]
m3ga has joined #ocaml
dramsay has joined #ocaml