index
:
dhall_rust
derive-macro
substitutions
working copy forked from https://github.com/Nadrieril/dhall-rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dhall_syntax
/
build.rs
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-12-13
Merge dhall_generated_parser into dhall_syntax
Nadrieril
1
-0
/
+0
2019-11-11
All relevant grammar changes have been upstreamed
Nadrieril
1
-2
/
+0
2019-09-10
Tentatively derive pest::Parser normally
Nadrieril
1
-17
/
+0
2019-08-15
Use precedence climbing to parse expressions with operators
Nadrieril
1
-0
/
+31
2019-08-13
Implement inline headers parsing
Nadrieril
1
-19
/
+11
2019-08-12
Remove grammar workaround
Nadrieril
1
-23
/
+0
2019-08-08
Add support for dependent types
Nadrieril
1
-0
/
+1
2019-08-07
Various parsing tweaks
Nadrieril
1
-11
/
+0
2019-08-06
Generalize empty list annotations
Nadrieril
1
-0
/
+22
2019-08-06
Circumvent spec error
Nadrieril
1
-0
/
+11
2019-08-06
rustfmt
Nadrieril
1
-4
/
+1
2019-08-06
RFC3986 URLs
Nadrieril
1
-0
/
+6
2019-08-06
Inline headers
Nadrieril
1
-0
/
+12
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+7
2019-04-13
Clarify role of dhall_generated_parser crate
Nadrieril
1
-0
/
+0
2019-04-04
Get keyword rule from upstream
Nadrieril
1
-7
/
+0
2019-03-23
Remove various -raw suffixes
Nadrieril
1
-5
/
+5
2019-03-22
Handle quoted labels
Nadrieril
1
-1
/
+1
2019-03-11
Make main parser rule atomic
Nadrieril
1
-1
/
+1
2019-03-09
Refactor abnf_to_pest to make rule editing possible
Nadrieril
1
-34
/
+16
2019-03-08
rustfmt
Nadrieril
1
-2
/
+1
2019-03-08
Generate pest file manually in the hopes to reduce spurious recompilations
Nadrieril
1
-0
/
+18
2019-03-06
rustfmt
Nadrieril
1
-12
/
+33
2019-03-05
Parse doubles
Nadrieril
1
-2
/
+8
2019-03-05
Include modified abnf in repo
Nadrieril
1
-1
/
+12
2019-03-03
Extract iter-matching code
Nadrieril
1
-1
/
+1
2019-03-02
Move part of parser into its own crate to limit recompilation times
Nadrieril
1
-5
/
+0
2019-03-01
Split abnf_to_pest and dhall into their own crates
Nadrieril
1
-0
/
+39