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
/
src
/
dhall.pest.visibility
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-12-23
Update dhall-lang submodule
Nadrieril
1
-0
/
+4
2019-12-22
Implement parsing for record completion
Nadrieril
1
-0
/
+2
2019-12-17
Move pest file generation to dhall/build.rs
Nadrieril
1
-0
/
+0
2019-12-13
Merge dhall_generated_parser into dhall_syntax
Nadrieril
1
-0
/
+0
2019-09-05
Implement rule aliasing and simplify parser code
Nadrieril
1
-9
/
+9
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
1
-5
/
+5
2019-08-12
Remove grammar workaround
Nadrieril
1
-0
/
+1
2019-08-08
Add support for dependent types
Nadrieril
1
-0
/
+3
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
Forbid surrogate pairs and non-characters
Nadrieril
1
-0
/
+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
1
-0
/
+1
2019-08-06
Braced escape sequences
Nadrieril
1
-0
/
+1
2019-08-06
Remove old-style optional literals
Nadrieril
1
-2
/
+0
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-1
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-3
/
+35
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-13
Clarify role of dhall_generated_parser crate
Nadrieril
1
-0
/
+0
2019-04-04
Regen visibility list
Nadrieril
1
-41
/
+25
2019-04-04
Revert end_of_line handling to upstream
Nadrieril
1
-2
/
+1
2019-04-04
Get keyword rule from upstream
Nadrieril
1
-0
/
+1
2019-04-04
Factor literal-expression back in
Nadrieril
1
-2
/
+1
2019-04-04
Factor back in some rule branches
Nadrieril
1
-15
/
+7
2019-04-04
Rename whitespace rules
Nadrieril
1
-3
/
+2
2019-03-23
Remove various -raw suffixes
Nadrieril
1
-39
/
+33
2019-03-23
Inline various rules in grammar
Nadrieril
1
-2
/
+0
2019-03-23
Rebase latest changes in grammar
Nadrieril
1
-0
/
+5
2019-03-22
Parse a lot more of the import types
Nadrieril
1
-18
/
+18
2019-03-21
Improve import handling in parser
Nadrieril
1
-1
/
+1
2019-03-20
Handle simple parsing cases with new macros
Nadrieril
1
-1
/
+1
2019-03-19
Test printer in parser tests
Nadrieril
1
-0
/
+1
2019-03-14
Handle and parse interpolated strings
Nadrieril
1
-1
/
+1
2019-03-07
Use upstream pest
Nadrieril
1
-0
/
+1
2019-03-06
Start parsing imports
Nadrieril
1
-1
/
+1
2019-03-05
Parse doubles
Nadrieril
1
-1
/
+1
2019-03-05
Add literal_expression_raw back
Nadrieril
1
-1
/
+1
2019-03-05
Parse single quote literals
Nadrieril
1
-2
/
+3
2019-03-05
Parse more of the AST
Nadrieril
1
-2
/
+2
2019-03-03
Extract iter-matching code
Nadrieril
1
-1
/
+0
2019-03-03
Parse more AST nodes
Nadrieril
1
-1
/
+1
2019-03-02
Start implementing parsing on top of pest
Nadrieril
1
-84
/
+98
2019-03-02
Move part of parser into its own crate to limit recompilation times
Nadrieril
1
-0
/
+154
[next]