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
*
Fix stack overflows in prelude tests
Nadrieril
2019-03-11
2
-41
/
+24
*
Fix List/fold implementation
Nadrieril
2019-03-11
2
-16
/
+14
*
Update dhall-lang and reactivate prelude tests
Nadrieril
2019-03-11
3
-129
/
+135
*
Normalize lazily
Nadrieril
2019-03-11
2
-166
/
+213
*
Use Rc<str> for Label
Nadrieril
2019-03-10
1
-6
/
+8
*
Considerably simplify typecheck using dhall_expr!()
Nadrieril
2019-03-09
2
-123
/
+107
*
rustfmt
Nadrieril
2019-03-09
1
-18
/
+28
*
Add typecheck tests
Nadrieril
2019-03-09
2
-0
/
+178
*
Refactor abnf_to_pest to make rule editing possible
Nadrieril
2019-03-09
2
-129
/
+128
*
Obey clippy lints
Nadrieril
2019-03-09
10
-27
/
+35
*
Remove the pervasive Label type parameter
Nadrieril
2019-03-09
8
-204
/
+134
*
Use new Label type everywhere
Nadrieril
2019-03-09
7
-178
/
+109
*
Add README
Nadrieril
2019-03-09
1
-0
/
+15
*
Use new Label type instead of &str in parser
Nadrieril
2019-03-09
7
-66
/
+110
*
Disable Prelude tests for now
Nadrieril
2019-03-09
2
-130
/
+137
*
A whole new bunch of tests now pass !
Nadrieril
2019-03-09
5
-118
/
+126
*
Rename dhall! to dhall_expr! for clarity
Nadrieril
2019-03-09
2
-6
/
+6
*
Recursive imports work !
Nadrieril
2019-03-09
1
-2
/
+2
*
rustfmt
Nadrieril
2019-03-09
2
-38
/
+65
*
First import works !
Nadrieril
2019-03-09
6
-75
/
+106
*
Clean up some of the mess
Nadrieril
2019-03-08
4
-28
/
+32
*
Rename Expr back to its true name
Nadrieril
2019-03-08
10
-217
/
+216
*
Finally get rid of all the &'i str
Nadrieril
2019-03-08
7
-120
/
+126
*
Make labels non-Copy
Nadrieril
2019-03-08
3
-104
/
+99
*
rustfmt
Nadrieril
2019-03-08
3
-7
/
+10
*
Slowly propagate the new type parameter throughout the codebase
Nadrieril
2019-03-08
8
-178
/
+298
*
Generalise Context on its type of keys
Nadrieril
2019-03-08
3
-22
/
+28
*
Generate pest file manually in the hopes to reduce spurious recompilations
Nadrieril
2019-03-08
4
-18
/
+23
*
Make Expr generic in its type of labels
Nadrieril
2019-03-08
5
-98
/
+100
*
Make test harness less macro-y
Nadrieril
2019-03-07
2
-59
/
+126
*
Update spec submodule
Nadrieril
2019-03-07
1
-0
/
+0
*
Use upstream pest
Nadrieril
2019-03-07
4
-7
/
+18
*
Revert "Start moving strs in the AST"
Nadrieril
2019-03-07
3
-170
/
+166
*
Start moving strs in the AST
Nadrieril
2019-03-07
3
-166
/
+170
*
rustfmt
Nadrieril
2019-03-06
5
-41
/
+51
*
Finally get rid of old parser
Nadrieril
2019-03-06
11
-1210
/
+27
*
Start parsing imports
Nadrieril
2019-03-06
11
-30
/
+162
*
Reorder rule in parser to match grammar
Nadrieril
2019-03-06
1
-108
/
+110
*
Merge dhall_normalize back into dhall; that was unnecessary
Nadrieril
2019-03-06
9
-43
/
+7
*
Handle correctly captured variables in dhall!
Nadrieril
2019-03-06
2
-38
/
+57
*
Remove more clutter in normalize
Nadrieril
2019-03-06
1
-7
/
+7
*
rustfmt
Nadrieril
2019-03-06
5
-27
/
+44
*
Considerably remove clutter in normalize
Nadrieril
2019-03-06
2
-142
/
+107
*
Remove FailedParse variant
Nadrieril
2019-03-06
1
-4
/
+0
*
Simplify normalization using dhall! macro
Nadrieril
2019-03-06
3
-54
/
+63
*
Move context to dhall_core
Nadrieril
2019-03-06
4
-2
/
+2
*
Add proc_macro the generated dhall expressions
Nadrieril
2019-03-06
6
-5
/
+120
*
Remove doctest noise from cargo test
Nadrieril
2019-03-06
4
-0
/
+12
*
Disable tests for dhall_parser crate that has none
Nadrieril
2019-03-06
1
-0
/
+4
*
Split-off normalization into its own crate
Nadrieril
2019-03-06
9
-287
/
+328
[next]