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_generated_parser
(
unfollow
)
Commit message (
Collapse
)
Author
Files
Lines
2019-11-11
All relevant grammar changes have been upstreamed
Nadrieril
1
-2
/
+0
2019-09-10
Tentatively derive pest::Parser normally
Nadrieril
3
-20
/
+7
If it still creates spurious recompilations, I'll revert that
2019-09-05
Implement rule aliasing and simplify parser code
Nadrieril
1
-9
/
+9
2019-09-03
cargo upgrade and fix proc_macro2 version conflict
Nadrieril
1
-1
/
+1
2019-08-27
Rework parse macros to avoid the large ParsedValue enum
Nadrieril
1
-1
/
+1
2019-08-27
Remove rule aliasing
Nadrieril
1
-1
/
+1
2019-08-26
Match on rules in parser instead of on ParsedValues
Nadrieril
1
-1
/
+1
2019-08-15
Use precedence climbing to parse expressions with operators
Nadrieril
2
-5
/
+36
This speeds up parsing around 30%
2019-08-13
Implement inline headers parsing
Nadrieril
1
-19
/
+11
2019-08-12
Remove grammar workaround
Nadrieril
2
-23
/
+1
2019-08-08
Add support for dependent types
Nadrieril
2
-0
/
+4
2019-08-07
Add truncated Natural subtraction
Nadrieril
1
-0
/
+1
2019-08-07
Remove union literals from the language
Nadrieril
1
-4
/
+2
2019-08-07
Various parsing tweaks
Nadrieril
1
-11
/
+0
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-0
/
+1
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
Add toMap keyword
Nadrieril
1
-0
/
+1
2019-08-06
Change URL parsing
Nadrieril
1
-1
/
+3
2019-08-06
RFC3986 URLs
Nadrieril
2
-0
/
+7
2019-08-06
Braced escape sequences
Nadrieril
1
-0
/
+1
2019-08-06
Remove old-style optional literals
Nadrieril
1
-2
/
+0
2019-08-06
Inline headers
Nadrieril
1
-0
/
+12
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-05-04
Rename dhall_core to dhall_syntax
Nadrieril
1
-1
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-1
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
2
-3
/
+42
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-2
/
+2
2019-04-16
Update dhall-lang submodule
Nadrieril
1
-1
/
+2
2019-04-16
Tiny rename to save myself a lot of pain
Nadrieril
1
-1
/
+1
2019-04-16
Reference upstream abnf_to_pest
Nadrieril
1
-1
/
+1
2019-04-14
Document roughly the dhall subcrates
Nadrieril
1
-0
/
+7
Closes #72
2019-04-14
Use upstream pest
Nadrieril
1
-1
/
+1
2019-04-13
Clarify role of dhall_generated_parser crate
Nadrieril
6
-0
/
+236