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_core
/
src
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Disallow builtins as bound variables
Nadrieril
2019-03-24
1
-4
/
+12
*
Fix printer putting unnecessary parens
Nadrieril
2019-03-24
1
-1
/
+1
*
Refactor printer
Nadrieril
2019-03-24
4
-229
/
+246
*
Handle merge and record projection
Nadrieril
2019-03-23
3
-9
/
+32
*
Remove various -raw suffixes
Nadrieril
2019-03-23
1
-47
/
+47
*
Inline various rules in grammar
Nadrieril
2019-03-23
1
-2
/
+2
*
Improve error ergonomics in parser
Nadrieril
2019-03-23
1
-60
/
+55
*
Handle double overflows in parser
Nadrieril
2019-03-23
1
-4
/
+9
*
Parse unicode escapes in string
Nadrieril
2019-03-23
3
-37
/
+47
*
Handle quoted labels
Nadrieril
2019-03-22
3
-8
/
+21
*
Parse a lot more of the import types
Nadrieril
2019-03-22
3
-26
/
+129
*
Improve import handling in parser
Nadrieril
2019-03-21
3
-9
/
+32
*
Follow the spec for handling Doubles
Nadrieril
2019-03-21
4
-8
/
+49
*
oops
Nadrieril
2019-03-21
4
-0
/
+497
*
Represent Optional literals more faithfully
Nadrieril
2019-03-21
2
-20
/
+34
*
Rename Record/Union to RecordType/UnionType
Nadrieril
2019-03-21
2
-8
/
+8
*
Reorganize dhall_core a bit
Nadrieril
2019-03-21
3
-1079
/
+539
*
Parser macro tweaks
Nadrieril
2019-03-20
1
-6
/
+6
*
Cleanup parser
Nadrieril
2019-03-20
1
-91
/
+64
*
Reimplement shortcutting
Nadrieril
2019-03-20
1
-5
/
+13
*
Make parser implementation non-recursive
Nadrieril
2019-03-20
1
-103
/
+128
*
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
2
-125
/
+49
*
Restore parser performance
Nadrieril
2019-03-20
1
-310
/
+82
*
Obsolete old parser macros; performance is now dead
Nadrieril
2019-03-20
2
-189
/
+266
*
Handle simple parsing cases with new macros
Nadrieril
2019-03-20
3
-110
/
+127
*
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
1
-131
/
+45
*
Test printer in parser tests
Nadrieril
2019-03-19
2
-21
/
+68
*
Split List literal between empty and non-empty
Nadrieril
2019-03-18
2
-15
/
+14
*
Considerably simplify subst, shift and typechecking
Nadrieril
2019-03-18
1
-250
/
+100
*
Clean up some mess relating to Clone bounds
Nadrieril
2019-03-17
2
-68
/
+30
*
Use Rc consistently everywhere
Nadrieril
2019-03-17
1
-145
/
+139
*
Use Rc instead of Box in AST to allow structural sharing
Nadrieril
2019-03-16
2
-72
/
+75
*
Use Box more uniformly in AST
Nadrieril
2019-03-16
2
-58
/
+58
*
Store an Option in OptionalLit instead of a vec
Nadrieril
2019-03-16
2
-11
/
+11
*
Get rid of box patterns
Nadrieril
2019-03-15
1
-1
/
+0
*
Store a vec in App
Nadrieril
2019-03-15
2
-12
/
+27
*
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
*
rustfmt
Nadrieril
2019-03-14
1
-5
/
+16
*
Handle and parse interpolated strings
Nadrieril
2019-03-14
2
-29
/
+154
*
Implement binary decoding
Nadrieril
2019-03-14
1
-3
/
+3
*
rustfmt
Nadrieril
2019-03-12
1
-16
/
+15
*
Handle Some and None builtins
Nadrieril
2019-03-12
1
-6
/
+18
*
Greatly reduce parser stack usage
Nadrieril
2019-03-12
1
-74
/
+79
*
Add some explanatory comments
Nadrieril
2019-03-11
1
-0
/
+5
*
Fix stack overflows in prelude tests
Nadrieril
2019-03-11
1
-37
/
+20
[next]