Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] eliminating shift/reduce conflicts
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-09-12 (08:24)
From: Rafael 'Dido' Sevilla <dido@i...>
Subject: [Caml-list] eliminating shift/reduce conflicts
I have an ocamlyacc grammar that contains productions that look like:

foo_list: FOO { [$1] }
  | foo_list COMMA FOO { $3 :: $1 }

which creates a list of FOO objects.  I however have some rules that
need to be prefixed by either a single FOO or a foo_list, like so:

bar: foo_list COLON xyzzy { ... }


baz: FOO COLON yzzyx { ... }

This of course produces a shift/reduce conflict, and shifting fails to
parse the 'bar' correctly.  Perhaps I need to read a compiler
construction textbook more thoroughly to figure out this answer, but any
hints out there on getting rid of this shift/reduce.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: