diff options
| author | Nadrieril | 2020-01-30 17:11:16 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 17:11:16 +0000 |
| commit | 0a60a4a891cd8c527ecc3caf6502bd614118d59a (patch) | |
| tree | 0fe17be44697a04573a50007ac266d738286a1f0 /dhall/src | |
| parent | 5197c26c23edd6c499f8e0f8a239fe4393b2e3d2 (diff) | |
Move parser files to syntax/
Diffstat (limited to '')
| l--------- | dhall/src/dhall.abnf | 1 | ||||
| l--------- | dhall/src/syntax/text/dhall.abnf | 1 | ||||
| -rw-r--r-- | dhall/src/syntax/text/dhall.pest.visibility (renamed from dhall/src/dhall.pest.visibility) | 0 |
3 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/dhall.abnf b/dhall/src/dhall.abnf deleted file mode 120000 index ce13b8e..0000000 --- a/dhall/src/dhall.abnf +++ /dev/null @@ -1 +0,0 @@ -../../dhall-lang/standard/dhall.abnf
\ No newline at end of file diff --git a/dhall/src/syntax/text/dhall.abnf b/dhall/src/syntax/text/dhall.abnf new file mode 120000 index 0000000..4a95034 --- /dev/null +++ b/dhall/src/syntax/text/dhall.abnf @@ -0,0 +1 @@ +../../../../dhall-lang/standard/dhall.abnf
\ No newline at end of file diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/syntax/text/dhall.pest.visibility index 03a000b..03a000b 100644 --- a/dhall/src/dhall.pest.visibility +++ b/dhall/src/syntax/text/dhall.pest.visibility |