stef_ has joined #ocaml
stef__ has quit [Read error: 110 (Connection timed out)]
det has quit [Read error: 104 (Connection reset by peer)]
mfurr has quit ["Client exiting"]
det has joined #ocaml
stef has quit [Read error: 110 (Connection timed out)]
htrmt has joined #ocaml
pango is now known as pangon8
Sonarman has quit [Read error: 60 (Operation timed out)]
Smerdyakov has joined #ocaml
Smerdyakov has quit [Client Quit]
Smerdyakov has joined #ocaml
ulfdoz_ has joined #ocaml
Smerdy has joined #ocaml
ulfdoz has quit [Read error: 145 (Connection timed out)]
smerdy0 has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
smerdy0 is now known as Smerdyakov
Herrchen_ has joined #ocaml
Smerdy has quit [Read error: 110 (Connection timed out)]
Herrchen has quit [Read error: 110 (Connection timed out)]
Sonarman has joined #ocaml
temo has joined #ocaml
MrSmiley has joined #ocaml
palomer has joined #ocaml
<
palomer>
does anyone here know how to tell ml-yacc or bison or yacc how to deal with ml style function application?
<
Smerdyakov>
Sure. Make a non-terminal for function applications.
<
Smerdyakov>
Where such a thing is a list of terms of a special restricted syntactic class, separated by whitespace or other appropriate stuff.
<
palomer>
whitespaces are ignored
<
Smerdyakov>
Then I guess it's just a list with no separators, eh?
<
palomer>
then you get something like exp = ... | Application | .. Application = exp Application | exp
<
palomer>
which is still ambiguous (though very much less so
<
Smerdyakov>
Add an extra nonterminal 'term', and make Application a list of those.
<
Smerdyakov>
Look at my smlweb grammar for more guidance.
<
palomer>
Smerdyakov: mlt.grm?
<
palomer>
the apps rule?
<
Smerdyakov>
Probably... I'll look.
<
Smerdyakov>
(That's the file I mean, though I need to page in the contents.)
<
palomer>
Smerdyakov: it looks like you did something similar
temo has left #ocaml []
<
Smerdyakov>
Yup, apps is the one.
<
palomer>
but a term cannot be an application
<
Smerdyakov>
Sure it can, via pexp.
<
palomer>
but you need to parenthesize
<
palomer>
so you can't write (f g h)
<
Smerdyakov>
apps generates that string.
<
Smerdyakov>
(Without the parens, I mean)
<
palomer>
oh, I see
Smerdyakov has quit ["gooone!"]
mlh_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
Snark has joined #ocaml
Herrchen_ is now known as Herrchen
palomer has quit ["Leaving"]
Tachyon76 has joined #ocaml
pangon8 is now known as pango
pango has quit ["Client exiting"]
pango has joined #ocaml
vodka-goo has joined #ocaml
Tachyon76 has quit ["Leaving"]
__DL__ has joined #ocaml
m3ga has joined #ocaml
m3ga has quit [Read error: 104 (Connection reset by peer)]
mellum__ has joined #ocaml
mellum_ has quit [Read error: 60 (Operation timed out)]
vezenchio has joined #ocaml
stef_ has quit [Read error: 110 (Connection timed out)]
stef_ has joined #ocaml
vodka-goo has quit []
gim has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
<
vincenz>
why can't I do this
<
vincenz>
type x = Bla | Bli of [> `A ]
<
Snark>
good question
<
mflux_>
without the > it works fine? or are you trying something else?
<
mflux_>
(I haven't that much used variants)
<
mflux_>
I'm under the impression > is used only with function signatures?
<
vincenz>
won't work with >
<
vincenz>
[ ] will work
<
vincenz>
but I don't want to limit it
<
mflux_>
I doubt it can be done :-o
mlh_ has quit [Client Quit]
smimou has joined #ocaml
<
__DL__>
I don't know if vincenz is still here, but [> 'A] is an open type with an hideen type variable. You could do:
<
__DL__>
type 'a x = Bla | Bli of ([> `A] as 'a)
<
__DL__>
sory, it is:
<
__DL__>
type 'a x = Bla | Bli of 'a constraint 'a = [> `A];;
araujo has quit [Read error: 145 (Connection timed out)]
mattam has quit [Read error: 110 (Connection timed out)]
smimou has quit ["?"]
Amorphous has quit ["arg... must... shutdown... computer burnin..."]
pango has quit ["Leaving"]
gim has joined #ocaml
<
mflux_>
I wonder, is that still useful for you? What are you doing with it?
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
vodka-goo has joined #ocaml
mattam has joined #ocaml
araujo has joined #ocaml
Nutssh has joined #ocaml
vodka-goo has quit []
vodka-goo has joined #ocaml
_JusSx_ has joined #ocaml
vodka-goo has quit []
Snark has left #ocaml []
_JusSx_ has quit ["leaving"]
stef_ has quit [Nick collision from services.]
stef_ has joined #ocaml
Nutssh has quit ["Client exiting"]
Submarine has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
_fab has quit [Remote closed the connection]
Demitar has joined #ocaml
Demitar has quit [Read error: 104 (Connection reset by peer)]
Submarine has quit ["Leaving"]
vodka-goo has joined #ocaml
stef_ has quit ["Leaving"]
cognominal has joined #ocaml
pango has joined #ocaml
a-priori has joined #ocaml
gim has quit ["pouf"]
vodka-goo has quit []
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]