mellum_ is now known as mellum
anonyme has joined #ocaml
anonyme has quit [Client Quit]
comatoast has quit ["Whoosh!"]
comatoast has joined #ocaml
whee has quit [Read error: 104 (Connection reset by peer)]
pHa has quit ["Reconnecting"]
pHa has joined #ocaml
comatoast has quit ["Whoosh!"]
JGibson_ has joined #ocaml
JGibson has quit [Read error: 110 (Connection timed out)]
jemfinch_ has joined #ocaml
jemfinch` has quit [Remote closed the connection]
z77z has joined #ocaml
engstad has joined #ocaml
<
engstad>
Bit handling definitely not ocaml's best point... :-(
z77z has quit ["ERC v2.0 (IRC client for Emacs)"]
engstad has quit ["using sirc version 2.211+KSIRC/1.1"]
mellum_ has joined #ocaml
mellum has quit [Read error: 110 (Connection timed out)]
mellum_ is now known as mellum
davinci_ has joined #ocaml
davinci_ has quit ["BitchX: treats external genital warts!"]
smkl has joined #ocaml
JGibson has joined #ocaml
graydon has joined #ocaml
JGibson_ has quit [Read error: 110 (Connection timed out)]
comatoast has joined #ocaml
samx has quit [Remote closed the connection]
comatoast has quit ["Whoosh!"]
neski has joined #ocaml
neski has quit ["Client Exiting"]
pHa has quit [Connection reset by peer]
pHa has joined #ocaml
malc has joined #ocaml
awwaiid has joined #ocaml
nob has joined #ocaml
<
nob>
I am writing a parser with ocamlyacc and I have a problem with recursive types ... I am new to Ocaml so this could be easy to solve:
<
nob>
I define three types more or less like this:
<
nob>
type exp = VarExp of var | IntExp of int | LetExp of dec list * exp;;
<
nob>
type var = SimpleVar of string | FieldVar of var * string;;
<
nob>
sorry, type var = SimpleVar | FieldVar | SubscriptVar of var * exp;;
<
nob>
and, lastly, type dec = VarDec of string * exp | ...
<
malc>
type exp = ...
<
malc>
and var = ..
<
malc>
and dec = ..
<
nob>
Does that work in Ocaml ? I have the impression that I tried to do it and it didn't work !?
<
malc>
yes it works in OCaml
<
nob>
mmmm .. give me a sec ... I'll check it ... thanks!
<
nob>
amazing ..! I was writing type exp = ... and TYPE var = ...
<
nob>
I love this language.. I have a strong Lisp --non-typed-- languages and this is opening a new world to me...
<
malc>
good, just dont mention it on c.l.l
<
nob>
another question: I want to have nested C-style comments in ocamllex ... any idea ?
<
nob>
well, gotta run. Thanks a lot for the help malc !