smilejemm / foma

Automatically exported from code.google.com/p/foma
0 stars 1 forks source link

Context restriction doesn't work with term negation #46

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?
1. read regex a => b _ c;
2. read regex [a]+ => b _ c;
3. read regex [\a]+ => b _ c;
4. read regex [\a]+ => .#. _;

What is the expected output? What do you see instead?
1. works
2. works
3. accepts a* ?!
4. Error message Symbol '@#@' not found in network!

What version of the product are you using? On what operating system?
0.9.17alpha

Please provide any additional information below.
I want to do sth like this in lexc (i.e., swallow +Pref+):

LEXICON Root
+Pref+:0        Second;
<[[\{+}]+ => .#. _] @-> ... {/}> Pos;

LEXICON Second

<[[\{+}]+ => .#. _] @-> ... {/}> Pos;

Original issue reported on code.google.com by nemesk...@gmail.com on 27 Jan 2013 at 2:50

GoogleCodeExporter commented 8 years ago
Of course, it was supposed to be

LEXICON Second

<[\{+}]+ @-> ... {/}> Pos;

Original comment by nemesk...@gmail.com on 27 Jan 2013 at 2:54

GoogleCodeExporter commented 8 years ago
After a discussion with Mans, it turned out that only 4 is a bug, which comes 
from the way how .#. is handled.

Original comment by nemesk...@gmail.com on 19 Feb 2013 at 10:40