tilde paths: The rest of the string has to start with a slash anyway

This commit is contained in:
Shea Levy 2015-02-19 08:52:13 -05:00
parent e3e38a048e
commit c4653afbcd

View file

@ -376,7 +376,7 @@ expr_simple
$$ = stripIndentation(CUR_POS, data->symbols, *$2);
}
| PATH { $$ = new ExprPath(absPath($1, data->basePath)); }
| HPATH { $$ = new ExprPath(getEnv("HOME", "/") + string{$1 + 1}); }
| HPATH { $$ = new ExprPath(getEnv("HOME", "") + string{$1 + 1}); }
| SPATH {
string path($1 + 1, strlen($1) - 2);
$$ = new ExprApp(CUR_POS,