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
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Remove dhall_syntax crate
Nadrieril
2019-12-17
1
-1
/
+0
|
*
Move pest file generation to dhall/build.rs
Nadrieril
2019-12-17
3
-183
/
+1
|
*
Move contents of dhall_syntax to dhall
Nadrieril
2019-12-15
12
-3114
/
+0
|
*
Merge dhall_generated_parser into dhall_syntax
Nadrieril
2019-12-13
3
-1
/
+184
|
*
Derive Parser in dhall_syntax directly
Nadrieril
2019-12-13
1
-3
/
+3
|
*
rustfmt
Nadrieril
2019-11-11
1
-1
/
+3
|
*
Parse projection by expression
Nadrieril
2019-11-11
4
-13
/
+29
|
*
Ensure spans are compatible in Span::union
Nadrieril
2019-11-11
1
-5
/
+7
|
*
Add a few more pretty errors
Nadrieril
2019-11-11
1
-1
/
+1
|
*
Clarify Span::union and add Span::merge
Nadrieril
2019-11-11
1
-2
/
+14
|
*
Propagate more spans
Nadrieril
2019-11-11
1
-3
/
+0
|
*
Display first pretty type error
Nadrieril
2019-11-11
1
-0
/
+14
|
*
Store a `Span` in `Value`
Nadrieril
2019-11-11
1
-0
/
+3
|
*
Capture absence of span in Span itself
Nadrieril
2019-11-11
3
-25
/
+20
|
*
Fix typo
Nadrieril
2019-11-11
1
-1
/
+1
|
*
Move Span definition to its own file
Nadrieril
2019-11-11
3
-35
/
+46
|
|
|
|
And prepare for more variants
*
Remove unused function
Nadrieril
2019-11-11
1
-4
/
+0
|
*
Run `cargo fmt`
Nadrieril
2019-11-11
2
-9
/
+10
|
*
Merge branch 'master' into fintan/canonicalize
Nadrieril Feneanar
2019-09-20
3
-333
/
+233
|
\
|
*
Extract pest_consume into its own crate
Nadrieril
2019-09-18
1
-35
/
+27
|
|
|
*
Change invocation syntax of pest_consume::parser macro
Nadrieril
2019-09-17
1
-1
/
+1
|
|
|
*
Remove need for slice_patterns in pest_consume
Nadrieril
2019-09-17
1
-1
/
+0
|
|
|
*
Various tweaks
Nadrieril
2019-09-11
1
-8
/
+6
|
|
|
*
Rename match_inputs to match_nodes to reflect new terminology
Nadrieril
2019-09-11
1
-38
/
+38
|
|
|
*
No need to force user data to be a reference
Nadrieril
2019-09-10
1
-11
/
+6
|
|
|
*
Rename various bits of the pest_consume API
Nadrieril
2019-09-10
1
-3
/
+3
|
|
|
*
Use proc_macro_hack to avoid the need for the proc_macro_hygiene feature
Nadrieril
2019-09-10
1
-1
/
+0
|
|
|
*
Allows using match_inputs outside of a make_parser impl
Nadrieril
2019-09-10
1
-18
/
+14
|
|
|
*
Implement parsing in PestConsumer
Nadrieril
2019-09-10
1
-7
/
+7
|
|
|
*
Add dummy `entrypoint` attribute
Nadrieril
2019-09-10
1
-0
/
+1
|
|
|
*
Use match_inputs for parser entrypoint
Nadrieril
2019-09-10
1
-7
/
+13
|
|
|
*
Rename parse_children to match_inputs
Nadrieril
2019-09-10
1
-37
/
+37
|
|
|
*
Generalize parse_children and change its invocation
Nadrieril
2019-09-10
1
-36
/
+36
|
|
|
*
Move pest_consume into its own crate
Nadrieril
2019-09-09
1
-129
/
+3
|
|
|
*
Make ParseInput independent from dhall-specific types
Nadrieril
2019-09-09
2
-255
/
+261
|
|
|
*
Store Spans at every node when parsing
Nadrieril
2019-09-06
2
-17
/
+51
|
|
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-06
6
-468
/
+646
|
\
|
|
*
Implement rule shortcutting, and cleanup make_parser code
Nadrieril
2019-09-05
1
-6
/
+17
|
|
|
*
Implement rule aliasing and simplify parser code
Nadrieril
2019-09-05
1
-246
/
+177
|
|
|
*
Add mapping functions to InterpolatedTextContents
Nadrieril
2019-09-03
1
-0
/
+46
|
|
|
*
Resolve imports by mutating Expr instead of cloning it
Nadrieril
2019-09-03
5
-225
/
+399
|
|
|
*
No need to change the type of Embed when resolving anymore
Nadrieril
2019-09-03
2
-14
/
+22
|
|
*
|
Merge remote-tracking branch 'origin/fintan/canonicalize' into ↵
Fintan Halpenny
2019-09-06
3
-951
/
+942
|
\
\
|
|
|
|
|
|
|
|
|
fintan/canonicalize
|
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Nadrieril
2019-09-03
3
-951
/
+942
|
|
\
|
|
|
*
Upgrade rust toolchain
Nadrieril
2019-09-03
1
-1
/
+0
|
|
|
|
|
*
Parse polymorphically in the Embed parameter
Nadrieril
2019-09-02
2
-71
/
+78
|
|
|
|
|
*
We don't use the try_blocks feature anymore
Nadrieril
2019-09-02
1
-1
/
+0
|
|
|
|
|
*
Use proper hygiene for `Parsers` and `Rule`
Nadrieril
2019-09-02
2
-2
/
+8
|
|
|
|
|
*
Properly parse the argument of make_parser as an impl
Nadrieril
2019-09-02
1
-1
/
+3
|
|
|
|
|
*
Get rid of EntryPoint magic
Nadrieril
2019-09-02
1
-43
/
+48
|
|
|
[next]