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
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-08-15
No need for manual stack handling in parser anymore
Nadrieril
1
-142
/
+96
2019-08-15
Use precedence climbing to parse expressions with operators
Nadrieril
1
-119
/
+108
2019-08-13
Implement inline headers parsing
Nadrieril
5
-44
/
+80
2019-08-13
Implement Hash for ParsedSubExpr
Nadrieril
2
-6
/
+24
2019-08-13
The syntax has very little sharing; no need for Rc anymore
Nadrieril
1
-11
/
+5
2019-08-13
Store Imports in their own node instead of in Embed
Nadrieril
4
-20
/
+36
2019-08-13
Cleanup visitor code
Nadrieril
1
-139
/
+54
2019-08-13
Considerably simplify Embed handling
Nadrieril
3
-128
/
+44
2019-08-13
Stop tracking the absence of Embed values at the type level
Nadrieril
4
-35
/
+4
2019-08-13
No need to track the absence of `Span`s at the type level
Nadrieril
4
-138
/
+84
2019-08-12
Refactor of File to be the combination of Directory and the file name,
FintanH
3
-19
/
+154
2019-08-08
Add support for dependent types
Nadrieril
4
-1
/
+22
2019-08-07
Add truncated Natural subtraction
Nadrieril
3
-0
/
+3
2019-08-07
Remove union literals from the language
Nadrieril
4
-63
/
+3
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-2
/
+21
2019-08-07
Sort labels in projection expressions
Nadrieril
3
-5
/
+100
2019-08-06
Generalize empty list annotations
Nadrieril
2
-5
/
+7
2019-08-06
Prepare for https://github.com/dhall-lang/dhall-lang/pull/630
Nadrieril
2
-3
/
+3
2019-08-06
Add toMap keyword
Nadrieril
1
-0
/
+1
2019-08-06
RFC3986 URLs
Nadrieril
3
-0
/
+9
2019-08-06
Braced escape sequences
Nadrieril
1
-4
/
+24
2019-08-06
Add some new tests and implement import alternatives
Nadrieril
2
-0
/
+64
2019-08-06
Remove old-style optional literals
Nadrieril
4
-31
/
+3
2019-08-06
Inline headers
Nadrieril
1
-0
/
+1
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-08-03
Update dhall-lang submodule
Nadrieril
3
-9
/
+18
2019-05-12
Tweak
Nadrieril
1
-12
/
+12
2019-05-12
clippy
Nadrieril
3
-5
/
+4
2019-05-12
Implement binary encoding
Nadrieril
5
-50
/
+106
2019-05-10
oops
Nadrieril
1
-0
/
+1
2019-05-10
Write a custom map type that allows duplicates
Nadrieril
5
-39
/
+215
2019-05-09
Small utility SubExpr::from_builtin
Nadrieril
1
-0
/
+4
2019-05-09
ExprF need not be generic in Label
Nadrieril
3
-194
/
+94
2019-05-09
Make shift fallible and improve shift ergonomics
Nadrieril
1
-9
/
+13
2019-05-09
Detect duplicate record fields in typecheck
Nadrieril
3
-31
/
+37
2019-05-09
Update dhall-lang submodule
Nadrieril
2
-27
/
+68
2019-05-08
Rename the record combining operators internally
Nadrieril
3
-11
/
+11
2019-05-08
Implement normalization of missing builtins
Nadrieril
1
-1
/
+12
2019-05-07
Don't discard normalization work done by typechecking
Nadrieril
1
-1
/
+1
2019-05-07
Reorganize dhall_syntax
Nadrieril
8
-8
/
+12
2019-05-07
Clean up some of the SubExpr type-changing methods
Nadrieril
2
-108
/
+16
2019-05-04
We actually don't need SubExpr::shift anymore
Nadrieril
1
-81
/
+0
2019-05-04
Revert "Make SubExpr generic in the variable labels type"
Nadrieril
4
-218
/
+187
2019-05-04
Revert "Recover arrow type detection"
Nadrieril
2
-47
/
+19
2019-05-04
Recover arrow type detection
Nadrieril
2
-19
/
+47
2019-05-04
Make SubExpr generic in the variable labels type
Nadrieril
4
-187
/
+218
2019-05-04
Thread Spans through the AST
Nadrieril
3
-127
/
+139
2019-05-04
Move `Note`s into the spine of the AST
Nadrieril
4
-235
/
+80
2019-05-04
Remove dummy lifetimes
Nadrieril
1
-58
/
+55
2019-05-04
Replace pest::Span with a custom non-borrowing implementation
Nadrieril
1
-25
/
+50
[prev]
[next]