diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-02 14:11:41 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-02 14:11:41 +0000 |
| commit | fa69bd8ab3c82a6c7e3358db42c96919f8ce4967 (patch) | |
| tree | f4a5f79312e915146c9af4fe2b04575a51c427a6 /src/GF/Source/LexGF.x | |
| parent | 9e501521b4f88ebd5c5fb95e24af06d5be6ffe3a (diff) | |
Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed.
Diffstat (limited to 'src/GF/Source/LexGF.x')
| -rw-r--r-- | src/GF/Source/LexGF.x | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Source/LexGF.x b/src/GF/Source/LexGF.x index 92f4dd626..46419df74 100644 --- a/src/GF/Source/LexGF.x +++ b/src/GF/Source/LexGF.x @@ -24,7 +24,7 @@ $u = [\0-\255] -- universal: any character "{-" ([$u # \-] | \- [$u # \}])* ("-")+ "}" ; $white+ ; -@rsyms { tok (\p s -> PT p (eitherResIdent (T_PIdent . share) s)) } +@rsyms { tok (\p s -> PT p (eitherResIdent (TV . share) s)) } \' ($u # \')* \' { tok (\p s -> PT p (eitherResIdent (T_LString . share) s)) } (\_ | $l)($l | $d | \_ | \')* { tok (\p s -> PT p (eitherResIdent (T_PIdent . share) s)) } |