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
/
src
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-09-03
Upgrade rust toolchain
Nadrieril
1
-1
/
+0
2019-09-02
Parse polymorphically in the Embed parameter
Nadrieril
2
-71
/
+78
2019-09-02
Remove the notion of Directory and have File be the vector of components
Fintan Halpenny
2
-53
/
+19
2019-09-02
We don't use the try_blocks feature anymore
Nadrieril
1
-1
/
+0
2019-09-02
Use proper hygiene for `Parsers` and `Rule`
Nadrieril
2
-2
/
+8
2019-09-02
Properly parse the argument of make_parser as an impl
Nadrieril
1
-1
/
+3
2019-09-02
Get rid of EntryPoint magic
Nadrieril
1
-43
/
+48
2019-09-02
Avoid use of bind_by_move_pattern_guards feature
Nadrieril
1
-1
/
+0
2019-09-01
Make make_parser into a proc_macro_attribute
Nadrieril
1
-1
/
+2
2019-09-01
Change parser macros to use a function-like syntax
Nadrieril
2
-748
/
+928
2019-09-01
Rewrite the make_parser macro as a proc_macro
Nadrieril
1
-203
/
+6
2019-08-31
Don't URL-decode path segments
Nadrieril
2
-22
/
+27
2019-08-31
Implement parsing of `toMap` keyword
Nadrieril
4
-1
/
+23
2019-08-28
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
4
-72
/
+71
2019-08-27
clippy
Nadrieril
3
-5
/
+5
2019-08-27
s/token_rule/rule/
Nadrieril
1
-20
/
+20
2019-08-27
Rework parse macros to avoid the large ParsedValue enum
Nadrieril
1
-146
/
+139
2019-08-27
Remove rule aliasing
Nadrieril
1
-107
/
+93
2019-08-26
Wording
Nadrieril
1
-13
/
+13
2019-08-26
Remove rule_group macro
Nadrieril
1
-22
/
+4
2019-08-26
Match on rules in parser instead of on ParsedValues
Nadrieril
2
-25
/
+129
2019-08-16
Use `!` type instead of custom empty type
Nadrieril
4
-15
/
+6
2019-08-15
Include precedence parsing in parser macros
Nadrieril
2
-133
/
+188
2019-08-15
No need for manual stack handling in parser anymore
Nadrieril
1
-142
/
+96
2019-08-15
Use precedence climbing to parse expressions with operators
Nadrieril
1
-119
/
+108
2019-08-13
Implement inline headers parsing
Nadrieril
5
-44
/
+80
2019-08-13
Implement Hash for ParsedSubExpr
Nadrieril
2
-6
/
+24
2019-08-13
The syntax has very little sharing; no need for Rc anymore
Nadrieril
1
-11
/
+5
2019-08-13
Store Imports in their own node instead of in Embed
Nadrieril
4
-20
/
+36
2019-08-13
Cleanup visitor code
Nadrieril
1
-139
/
+54
2019-08-13
Considerably simplify Embed handling
Nadrieril
3
-128
/
+44
2019-08-13
Stop tracking the absence of Embed values at the type level
Nadrieril
4
-35
/
+4
2019-08-13
No need to track the absence of `Span`s at the type level
Nadrieril
4
-138
/
+84
2019-08-12
Refactor of File to be the combination of Directory and the file name,
FintanH
3
-19
/
+154
2019-08-08
Add support for dependent types
Nadrieril
4
-1
/
+22
2019-08-07
Add truncated Natural subtraction
Nadrieril
3
-0
/
+3
2019-08-07
Remove union literals from the language
Nadrieril
4
-63
/
+3
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-2
/
+21
2019-08-07
Sort labels in projection expressions
Nadrieril
3
-5
/
+100
2019-08-06
Generalize empty list annotations
Nadrieril
2
-5
/
+7
2019-08-06
Prepare for https://github.com/dhall-lang/dhall-lang/pull/630
Nadrieril
2
-3
/
+3
2019-08-06
Add toMap keyword
Nadrieril
1
-0
/
+1
2019-08-06
RFC3986 URLs
Nadrieril
3
-0
/
+9
2019-08-06
Braced escape sequences
Nadrieril
1
-4
/
+24
2019-08-06
Add some new tests and implement import alternatives
Nadrieril
2
-0
/
+64
2019-08-06
Remove old-style optional literals
Nadrieril
4
-31
/
+3
2019-08-06
Inline headers
Nadrieril
1
-0
/
+1
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-08-03
Update dhall-lang submodule
Nadrieril
3
-9
/
+18
2019-05-12
Tweak
Nadrieril
1
-12
/
+12
[next]