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
*
Allow patterns in parser macros
Nadrieril
2019-03-20
1
-31
/
+21
*
Change syntax of parser macros
Nadrieril
2019-03-20
1
-148
/
+148
*
Remove binop special case in parser; cleanup
Nadrieril
2019-03-20
1
-50
/
+66
*
Cleanup parser code
Nadrieril
2019-03-20
3
-126
/
+50
*
Restore parser performance
Nadrieril
2019-03-20
1
-310
/
+82
*
Obsolete old parser macros; performance is now dead
Nadrieril
2019-03-20
4
-204
/
+278
*
Handle simple parsing cases with new macros
Nadrieril
2019-03-20
6
-114
/
+131
*
Wrap all parsing rules into a common variant
Nadrieril
2019-03-19
1
-83
/
+153
*
Extract the core of parser macros into a separate crate
Nadrieril
2019-03-19
6
-131
/
+252
*
rustfmt
Nadrieril
2019-03-19
2
-15
/
+21
*
Test printer in parser tests
Nadrieril
2019-03-19
4
-21
/
+74
*
Add CI badges
Nadrieril
2019-03-19
1
-0
/
+3
*
CI tweaks
Nadrieril
2019-03-19
3
-5
/
+1
*
Skip build-only subcrates in code coverage
Nadrieril
2019-03-19
2
-0
/
+2
*
Cache tarpaulin build
Nadrieril
2019-03-19
1
-3
/
+1
*
Add codecov integration
Nadrieril
2019-03-19
1
-0
/
+2
*
Fix rust version to use
Nadrieril
2019-03-19
2
-3
/
+3
*
Add coveralls CI integration
Nadrieril
2019-03-19
1
-7
/
+2
*
Add travis integration
Nadrieril
2019-03-19
3
-11
/
+46
*
Implement a few more primitives
Nadrieril
2019-03-18
4
-38
/
+73
*
Split List literal between empty and non-empty
Nadrieril
2019-03-18
7
-50
/
+61
*
tweaks
Nadrieril
2019-03-18
1
-4
/
+14
*
Split off builtin application normalization for clarity
Nadrieril
2019-03-18
1
-168
/
+149
*
Improve normalization ergonomics
Nadrieril
2019-03-18
1
-145
/
+150
*
Improve ergonomics of typechecking
Nadrieril
2019-03-18
1
-354
/
+248
*
Considerably simplify subst, shift and typechecking
Nadrieril
2019-03-18
5
-491
/
+188
*
Clean up some mess relating to Clone bounds
Nadrieril
2019-03-17
4
-81
/
+43
*
Use Rc consistently everywhere
Nadrieril
2019-03-17
7
-583
/
+695
*
Use Rc instead of Box in AST to allow structural sharing
Nadrieril
2019-03-16
6
-86
/
+93
*
Use Box more uniformly in AST
Nadrieril
2019-03-16
6
-164
/
+171
*
Store an Option in OptionalLit instead of a vec
Nadrieril
2019-03-16
6
-45
/
+38
*
rustfmt
Nadrieril
2019-03-15
1
-26
/
+24
*
Get rid of box patterns
Nadrieril
2019-03-15
3
-15
/
+13
*
Store a vec in App
Nadrieril
2019-03-15
6
-174
/
+175
*
Revert "Start rewriting parser with slice patterns"
Nadrieril
2019-03-15
2
-123
/
+30
*
Start rewriting parser with slice patterns
Nadrieril
2019-03-15
2
-30
/
+123
*
Split different tests features into their own files
Nadrieril
2019-03-15
4
-238
/
+241
*
Rework test harness
Nadrieril
2019-03-15
2
-591
/
+594
*
Update spec submodule and add new tests
Nadrieril
2019-03-15
2
-1
/
+172
*
rustfmt
Nadrieril
2019-03-14
1
-5
/
+16
*
Handle and parse interpolated strings
Nadrieril
2019-03-14
9
-43
/
+254
*
Implement binary decoding
Nadrieril
2019-03-14
7
-14
/
+270
*
Update spec submodule
Nadrieril
2019-03-13
1
-0
/
+0
*
rustfmt
Nadrieril
2019-03-12
2
-18
/
+25
*
Handle Some and None builtins
Nadrieril
2019-03-12
3
-39
/
+60
*
Greatly reduce parser stack usage
Nadrieril
2019-03-12
2
-75
/
+80
*
Add some explanatory comments
Nadrieril
2019-03-11
2
-0
/
+18
*
Make main parser rule atomic
Nadrieril
2019-03-11
1
-1
/
+1
*
Set rustup toolchain to nightly
Nadrieril
2019-03-11
2
-0
/
+3
*
Fix stack overflows in prelude tests
Nadrieril
2019-03-11
2
-41
/
+24
[next]