search

rupenp / grammatical-framework

Automatically exported from code.google.com/p/grammatical-framework
0 stars 0 forks source link

GF shell cannot parse a system command ending with a space #61

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. start gf
2. type '? echo hi ' (note the space at the end)

What is the expected output?
    hi

What do you see instead?
    command not parsed

Original issue reported on code.google.com by gregoire...@gmail.com on 10 Apr 2013 at 3:00

GoogleCodeExporter commented 9 years ago 
Trailing spaces caused the command line parse to be ambiguous, and 
ambiguous parses were rejected by function readCommandLine, causing 
the cryptic error message "command not parsed".

Original comment by hallg...@chalmers.se on 11 Nov 2013 at 3:24