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
*
Avoid mention of `crate::` outside of top-level imports
Nadrieril
2019-12-15
11
-74
/
+63
*
fixup! Reexport dhall_syntax as a module in dhall
Nadrieril
2019-12-15
2
-3
/
+5
*
Move contents of dhall under a semantics submodule
Nadrieril
2019-12-15
14
-3
/
+5
*
Reexport dhall_syntax as a module in dhall
Nadrieril
2019-12-15
15
-44
/
+48
*
Merge dhall_generated_parser into dhall_syntax
Nadrieril
2019-12-13
10
-51
/
+6
*
Derive Parser in dhall_syntax directly
Nadrieril
2019-12-13
3
-5
/
+3
*
Silence a macro-generated warning
Nadrieril
2019-12-13
1
-0
/
+1
*
dhall_syntax doesn't use dhall_proc_macros
Nadrieril
2019-11-11
2
-2
/
+0
*
Add more detail to TypeMismatch error
Nadrieril
2019-11-11
6
-3
/
+59
*
rustfmt
Nadrieril
2019-11-11
3
-4
/
+12
*
Remove unused error texts
Nadrieril
2019-11-11
34
-1765
/
+0
*
typo
Nadrieril
2019-11-11
1
-2
/
+2
*
Merge pull request #115 from Nadrieril/parse-selection-be-expr
Nadrieril Feneanar
2019-11-11
8
-35
/
+42
|
\
|
*
Parse projection by expression
Nadrieril
2019-11-11
8
-35
/
+42
|
/
*
Merge pull request #114 from Nadrieril/nice-type-errors
Nadrieril Feneanar
2019-11-11
98
-125
/
+385
|
\
|
*
Explain TypeError tests
Nadrieril
2019-11-11
1
-0
/
+3
|
*
Ensure spans are compatible in Span::union
Nadrieril
2019-11-11
1
-5
/
+7
|
*
Add a few more pretty errors
Nadrieril
2019-11-11
12
-18
/
+46
|
*
Clarify Span::union and add Span::merge
Nadrieril
2019-11-11
1
-2
/
+14
|
*
Propagate more spans
Nadrieril
2019-11-11
3
-8
/
+9
|
*
Move "Type error" error prefix
Nadrieril
2019-11-11
4
-13
/
+17
|
*
Display first pretty type error
Nadrieril
2019-11-11
7
-9
/
+61
|
*
Store a `Span` in `Value`
Nadrieril
2019-11-11
3
-8
/
+32
|
*
Capture absence of span in Span itself
Nadrieril
2019-11-11
6
-29
/
+35
|
*
Fix typo
Nadrieril
2019-11-11
1
-1
/
+1
|
*
Move Span definition to its own file
Nadrieril
2019-11-11
3
-35
/
+46
|
*
Implement basicest Display for TypeError
Nadrieril
2019-11-11
88
-130
/
+105
|
*
Test type error messages
Nadrieril
2019-11-11
89
-8
/
+150
|
/
*
All relevant grammar changes have been upstreamed
Nadrieril
2019-11-11
1
-2
/
+0
*
Update rust toolchain
Nadrieril
2019-11-11
3
-4
/
+1
*
Remove unused function
Nadrieril
2019-11-11
1
-4
/
+0
*
Generate import tests automatically
Nadrieril
2019-11-11
4
-64
/
+57
*
Remove unused "typecheck" tests
Nadrieril
2019-11-11
1
-21
/
+0
*
Run `cargo fmt`
Nadrieril
2019-11-11
5
-62
/
+75
*
Merge pull request #99 from FintanH/fintan/canonicalize
Nadrieril Feneanar
2019-10-12
5
-24
/
+102
|
\
|
*
Merge branch 'master' into fintan/canonicalize
Nadrieril Feneanar
2019-10-12
4
-46
/
+27
|
|
\
|
|
/
|
/
|
*
|
Update dhall-lang submodule
Nadrieril
2019-09-20
2
-1
/
+7
*
|
Update dhall-lang submodule
Nadrieril
2019-09-20
2
-39
/
+13
*
|
Update pest_consume dependency
Nadrieril
2019-09-20
2
-6
/
+7
|
*
Merge branch 'master' into fintan/canonicalize
Nadrieril Feneanar
2019-09-20
11
-923
/
+288
|
|
\
|
|
/
|
/
|
*
|
Merge pull request #113 from Nadrieril/pest_consume
Nadrieril Feneanar
2019-09-19
11
-923
/
+288
|
\
\
|
*
|
Extract pest_consume into its own crate
Nadrieril
2019-09-18
12
-1186
/
+36
|
*
|
Change invocation syntax of pest_consume::parser macro
Nadrieril
2019-09-17
4
-6
/
+31
|
*
|
Tweak match_nodes
Nadrieril
2019-09-17
2
-57
/
+72
|
*
|
Update terminology in match_nodes
Nadrieril
2019-09-17
1
-36
/
+36
|
*
|
Remove need for slice_patterns in pest_consume
Nadrieril
2019-09-17
4
-35
/
+47
|
*
|
Add basic doc to pest_consume
Nadrieril
2019-09-11
1
-5
/
+118
|
*
|
Various tweaks
Nadrieril
2019-09-11
6
-42
/
+47
|
*
|
Rename match_inputs to match_nodes to reflect new terminology
Nadrieril
2019-09-11
5
-48
/
+48
|
*
|
Add an example to pest_consume
Nadrieril
2019-09-11
5
-0
/
+97
[next]