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
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
Allows using match_inputs outside of a make_parser impl
Nadrieril
2019-09-10
3
-35
/
+40
|
*
|
Implement parsing in PestConsumer
Nadrieril
2019-09-10
3
-8
/
+48
|
*
|
Formatting
Nadrieril
2019-09-10
1
-65
/
+32
|
*
|
Add dummy `entrypoint` attribute
Nadrieril
2019-09-10
2
-0
/
+8
|
*
|
Use match_inputs for parser entrypoint
Nadrieril
2019-09-10
2
-15
/
+47
|
*
|
Remove custom pair debugging
Nadrieril
2019-09-10
1
-52
/
+0
|
*
|
Rename parse_children to match_inputs
Nadrieril
2019-09-10
4
-42
/
+42
|
*
|
Generalize parse_children and change its invocation
Nadrieril
2019-09-10
3
-55
/
+139
|
*
|
Move pest_consume macros into their own crate
Nadrieril
2019-09-09
9
-22
/
+59
|
*
|
Move pest_consume into its own crate
Nadrieril
2019-09-09
6
-129
/
+150
|
*
|
Make ParseInput independent from dhall-specific types
Nadrieril
2019-09-09
4
-262
/
+268
|
*
|
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
17
-719
/
+1072
|
|
\
|
|
/
|
/
|
*
|
Merge pull request #112 from Nadrieril/improve-parser
Nadrieril Feneanar
2019-09-06
5
-310
/
+480
|
\
\
|
*
|
Implement rule shortcutting, and cleanup make_parser code
Nadrieril
2019-09-05
2
-67
/
+190
|
*
|
Implement rule aliasing and simplify parser code
Nadrieril
2019-09-05
5
-297
/
+344
|
/
/
*
|
Add mapping functions to InterpolatedTextContents
Nadrieril
2019-09-03
3
-26
/
+54
*
|
Use map_mut in ValueF::normalize_mut
Nadrieril
2019-09-03
2
-16
/
+2
*
|
Merge pull request #111 from Nadrieril/resolve-mut
Nadrieril Feneanar
2019-09-03
7
-241
/
+426
|
\
\
|
*
\
Merge branch 'master' into resolve-mut
Nadrieril Feneanar
2019-09-03
2
-125
/
+101
|
|
\
\
|
|
/
/
|
/
|
|
*
|
|
cargo upgrade and fix proc_macro2 version conflict
Nadrieril
2019-09-03
2
-125
/
+101
|
*
|
Resolve imports by mutating Expr instead of cloning it
Nadrieril
2019-09-03
6
-244
/
+421
|
*
|
No need to change the type of Embed when resolving anymore
Nadrieril
2019-09-03
3
-16
/
+24
|
/
/
|
*
Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...
Fintan Halpenny
2019-09-06
16
-997
/
+1368
|
|
\
|
|
*
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Nadrieril
2019-09-03
16
-997
/
+1368
|
|
|
\
|
|
_
|
/
|
/
|
|
*
|
|
Upgrade rust toolchain
Nadrieril
2019-09-03
8
-41
/
+34
*
|
|
Merge pull request #110 from Nadrieril/parser-proc-macro
Nadrieril Feneanar
2019-09-02
9
-962
/
+1351
|
\
\
\
|
*
|
|
Improve hygiene of identifiers
Nadrieril
2019-09-02
1
-13
/
+20
|
*
|
|
Parse polymorphically in the Embed parameter
Nadrieril
2019-09-02
3
-102
/
+130
|
*
|
|
We don't use the try_blocks feature anymore
Nadrieril
2019-09-02
1
-1
/
+0
|
*
|
|
Separate both parser proc_macros into their own files
Nadrieril
2019-09-02
3
-90
/
+95
|
*
|
|
Use proper hygiene for `Parsers` and `Rule`
Nadrieril
2019-09-02
4
-19
/
+44
|
*
|
|
Properly parse the argument of make_parser as an impl
Nadrieril
2019-09-02
2
-100
/
+65
|
*
|
|
Get rid of EntryPoint magic
Nadrieril
2019-09-02
3
-168
/
+80
|
*
|
|
Avoid use of bind_by_move_pattern_guards feature
Nadrieril
2019-09-02
2
-3
/
+9
|
*
|
|
Make make_parser into a proc_macro_attribute
Nadrieril
2019-09-01
3
-7
/
+12
|
*
|
|
Change parser macros to use a function-like syntax
Nadrieril
2019-09-01
6
-998
/
+1188
|
*
|
|
Rewrite the make_parser macro as a proc_macro
Nadrieril
2019-09-01
6
-209
/
+456
|
/
/
/
|
*
|
Move Canonicalize into resolve.
Fintan Halpenny
2019-09-03
4
-80
/
+81
|
*
|
No need for as_ref call
Fintan Halpenny
2019-09-03
1
-1
/
+1
|
*
|
swp file accidentally checked in
Fintan Halpenny
2019-09-03
1
-0
/
+0
|
|
/
|
*
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-02
41
-3905
/
+3474
|
|
\
|
|
/
|
/
|
*
|
Update dhall-lang submodule
Nadrieril
2019-08-31
1
-0
/
+0
*
|
Don't URL-decode path segments
Nadrieril
2019-08-31
7
-26
/
+36
*
|
Merge pull request #109 from Nadrieril/tomap-parsing
Nadrieril Feneanar
2019-08-31
9
-10
/
+38
|
\
\
|
*
|
Implement parsing of `toMap` keyword
Nadrieril
2019-08-31
9
-10
/
+38
|
/
/
*
|
Rework test harness to prepare for new types of tests
Nadrieril
2019-08-30
3
-362
/
+457
*
|
Cleanup conversion of `Value` to `Expr`
Nadrieril
2019-08-30
4
-103
/
+67
*
|
Merge pull request #108 from Nadrieril/rename-subexpr
Nadrieril Feneanar
2019-08-30
13
-135
/
+129
|
\
\
|
*
|
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
2019-08-28
13
-135
/
+129
|
/
/
[prev]
[next]