1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
{-
This grammar is LALR(1). The example demonstrates that the computation
of the look ahead information in the Duponcheel/Swierstra paper is too
coarse, that is, we have a shift/reduce conflict.
frown Conflict.g
Try
s "cb" >>= print
s "aacbb" >>= print
s "aacb" >>= print
-}
module Conflict
where
type Terminal = Char
type Result = IO
%{
Terminal = 'a' | 'b' | 'c';
Nonterminal = s | x | y;
s : x;
| 'c', 'b';
x : 'a', x, 'b';
| y;
y : 'c';
}%
frown ts = fail "syntax error"
|
