diff options
author | Irene Knapp <ireneista@gmail.com> | 2020-12-25 21:25:00 -0800 |
---|---|---|
committer | Irene Knapp <ireneista@gmail.com> | 2020-12-25 21:25:00 -0800 |
commit | da5655f12b0ea1a7d7fb2b56a8128d5962450c15 (patch) | |
tree | 5dc53ab9887d51470264f26ea9593044f1df1a17 /src | |
parent | 33f427e4afdf6fc3d99b8db2befcd9e86c785ded (diff) |
comment
Diffstat (limited to 'src')
-rw-r--r-- | src/path.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/path.rs b/src/path.rs index 7a81873..56855ac 100644 --- a/src/path.rs +++ b/src/path.rs @@ -1,3 +1,11 @@ +/* + * We implement most aspects of paths independently, not relying on + * std::path, on the theory that path syntax is such an important part of a + * shell that it doesn't make sense to try to integrate with non-Unix syntaxes. + * However, we do use std::path to print individual path components, in order + * to get the benefit of its functionality for handling non-Unicode filenames. + */ + use crate::prelude::*; lalrpop_mod!(pub parser, "/path/parser.rs"); |