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_syntax
/
src
/
core
/
visitor.rs
(
unfollow
)
Commit message (
Collapse
)
Author
Files
Lines
2019-11-11
rustfmt
Nadrieril
1
-1
/
+3
2019-11-11
Parse projection by expression
Nadrieril
1
-0
/
+5
2019-09-03
Resolve imports by mutating Expr instead of cloning it
Nadrieril
1
-167
/
+246
2019-09-03
No need to change the type of Embed when resolving anymore
Nadrieril
1
-5
/
+6
2019-08-31
Implement parsing of `toMap` keyword
Nadrieril
1
-0
/
+3
2019-08-28
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
1
-5
/
+4
For clarity, and consistency with Value
2019-08-16
Use `!` type instead of custom empty type
Nadrieril
1
-1
/
+1
2019-08-13
Implement inline headers parsing
Nadrieril
1
-2
/
+2
2019-08-13
Store Imports in their own node instead of in Embed
Nadrieril
1
-5
/
+6
2019-08-13
Cleanup visitor code
Nadrieril
1
-139
/
+54
2019-08-13
Considerably simplify Embed handling
Nadrieril
1
-43
/
+17
2019-08-13
Stop tracking the absence of Embed values at the type level
Nadrieril
1
-14
/
+1
2019-08-13
No need to track the absence of `Span`s at the type level
Nadrieril
1
-29
/
+11
2019-08-08
Add support for dependent types
Nadrieril
1
-0
/
+1
2019-08-07
Remove union literals from the language
Nadrieril
1
-3
/
+0
2019-08-06
Add some new tests and implement import alternatives
Nadrieril
1
-0
/
+25
2019-08-06
Remove old-style optional literals
Nadrieril
1
-4
/
+0
2019-05-10
Write a custom map type that allows duplicates
Nadrieril
1
-12
/
+17
2019-05-09
ExprF need not be generic in Label
Nadrieril
1
-139
/
+71
2019-05-09
Detect duplicate record fields in typecheck
Nadrieril
1
-12
/
+10
2019-05-07
Reorganize dhall_syntax
Nadrieril
1
-0
/
+0
2019-05-07
Clean up some of the SubExpr type-changing methods
Nadrieril
1
-79
/
+5
2019-05-04
Revert "Make SubExpr generic in the variable labels type"
Nadrieril
1
-65
/
+65
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
2019-05-04
Make SubExpr generic in the variable labels type
Nadrieril
1
-65
/
+65
2019-05-04
Thread Spans through the AST
Nadrieril
1
-5
/
+6
2019-05-04
Move `Note`s into the spine of the AST
Nadrieril
1
-185
/
+49
2019-05-04
Rename dhall_core to dhall_syntax
Nadrieril
1
-0
/
+0
2019-04-20
An empty optional value is purely semantic
Nadrieril
1
-2
/
+1
2019-04-19
A union constructor is a purely semantic value
Nadrieril
1
-3
/
+0
2019-04-19
Make App() only store one argument
Nadrieril
1
-3
/
+1
2019-04-18
Remove more duplication
Nadrieril
1
-30
/
+0
2019-04-18
Avoid an unnecessary unroll()
Nadrieril
1
-24
/
+51
2019-04-18
Add even more general visitor trait
Nadrieril
1
-55
/
+140
2019-04-18
Reduce duplication between mapping functions
Nadrieril
1
-1
/
+0
2019-04-18
Start cleaning up the mess of mapping functions
Nadrieril
1
-2
/
+40
2019-04-17
Normalize union constructors
Nadrieril
1
-2
/
+5
2019-04-16
Prepare for nullary union variants
Nadrieril
1
-4
/
+27
2019-04-15
Handle empty optionals correctly
Nadrieril
1
-0
/
+4
Closes #78
2019-04-14
clippy
Nadrieril
1
-2
/
+2
2019-04-14
Document why Visitor is needed
Nadrieril
1
-0
/
+12
2019-04-14
Improve visitor trait hierarchy
Nadrieril
1
-79
/
+213
2019-04-14
Transform more mapping functions to use the Visitor trait
Nadrieril
1
-0
/
+152
2019-04-14
Rewrite map methods with Visitor traits
Nadrieril
1
-0
/
+226
Closes #69