sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
shawn has joined #ocaml
batdog has joined #ocaml
sardella has left #ocaml []
<erider>
pretty quiet
pango_ has joined #ocaml
batdog is now known as batdog|gone
smimou has quit ["bli"]
pango has quit [Remote closed the connection]
gunark has quit [Read error: 110 (Connection timed out)]
pango_ has quit [Remote closed the connection]
sponge45 has joined #ocaml
pango has joined #ocaml
trurl has quit [Nick collision from services.]
trurl has joined #ocaml
trurl has quit [Nick collision from services.]
twobitsprite has joined #ocaml
trurl_ has joined #ocaml
<twobitsprite>
this might be obvious, but... to use an invariant constructor from another module, you just use it like anything else, right? i.e. "MyModule.MyVariant x" ?
buluca has quit ["Leaving."]
buluca has joined #ocaml
rillig has quit ["exit(EXIT_SUCCESS)"]
erider has left #ocaml []
piykor has joined #ocaml
<piykor>
hi
<piykor>
hi
<piykor>
hi
<piykor>
hello.....
piykor has left #ocaml []
danly has quit [Read error: 104 (Connection reset by peer)]
joshcryer has quit [Read error: 104 (Connection reset by peer)]
<twobitsprite>
so... it seems to me that ocamlyacc is more of a parser-generator than a compiler-compiler... i.e. it doesn't actually perform any compiling, just parsing...
<twobitsprite>
so... how is one supposed to build a compiler with this? or is it just manual code generation after that?
<twobitsprite>
i.e. manually walk the AST and start building code?
<twobitsprite>
(I've never used Yacc or Bison or anything like that before... so I'm completely lost)
pango has quit [Remote closed the connection]
pango has joined #ocaml
<tsuyoshi>
yacc isn't necessarily for use with just compilers
<tsuyoshi>
so the code generation is a separate step
<twobitsprite>
right on.. but there are no tools for it?
<twobitsprite>
i.e. for the code generation step?
<twobitsprite>
i.e., what would be the best way to turn my optimized AST into ocaml code?
<twobitsprite>
am I just going to have to build strings and spit them out to a file to compile them?
<twobitsprite>
also, I'm going to write the inria guys again about how much it irks me that they don't have integer exponetiation... that always catches me off guard!
Mr_Awesome has joined #ocaml
<sponge45>
twobitsprite, if you want to emit ocaml code, I would recommend using camlp4's quotations (stuff provided by q_MLast.cmo).
mbishop has quit [Remote closed the connection]
ChoJin has joined #ocaml
<whatitdo100>
>> Fatal error: cannot open pervasives.cmi