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
/
src
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-04-19
List literals
Nadrieril
1
-7
/
+47
2019-04-19
Embrace WHNF
Nadrieril
1
-79
/
+77
2019-04-19
Handle RecordLits fully semantically
Nadrieril
1
-16
/
+28
2019-04-19
Split function in two phases
Nadrieril
1
-12
/
+24
2019-04-19
Values carry their evaluation context
Nadrieril
1
-28
/
+20
2019-04-19
A union constructor is a purely semantic value
Nadrieril
1
-32
/
+123
2019-04-19
Store Values in the context
Nadrieril
1
-10
/
+36
2019-04-19
Introduce closures
Nadrieril
1
-62
/
+120
2019-04-19
Type aliases
Nadrieril
1
-10
/
+13
2019-04-19
Make App() only store one argument
Nadrieril
4
-119
/
+76
2019-04-19
A partially applied builtin is a value
Nadrieril
1
-27
/
+42
2019-04-19
Start separating normalized values from syntactic expressions
Nadrieril
2
-121
/
+179
2019-04-18
Label is redundant in EnvItem::Skip
Nadrieril
2
-30
/
+27
2019-04-18
Use a context for substitution in normalization
Nadrieril
1
-109
/
+177
2019-04-18
subst_shift in a single pass
Nadrieril
1
-10
/
+7
2019-04-18
Make normalize manipulate SubExprs more directly
Nadrieril
1
-12
/
+12
2019-04-18
Remove obsolete dhall_expr!() macro
Nadrieril
2
-23
/
+23
2019-04-18
Remove more duplication
Nadrieril
5
-19
/
+17
2019-04-18
Start cleaning up the mess of mapping functions
Nadrieril
1
-1
/
+0
2019-04-17
Normalize union constructors
Nadrieril
1
-4
/
+22
2019-04-16
Add typecheck failure tests
Nadrieril
1
-7
/
+82
2019-04-16
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-04-16
Handle nullary union variants
Nadrieril
2
-6
/
+6
2019-04-16
Prepare for nullary union variants
Nadrieril
2
-10
/
+58
2019-04-16
Improve test error ergonomics
Nadrieril
1
-2
/
+8
2019-04-16
Fix union constructor typechecking
Nadrieril
1
-17
/
+24
2019-04-16
Typecheck union constructor
Nadrieril
1
-6
/
+15
2019-04-16
Typecheck unions
Nadrieril
1
-16
/
+26
2019-04-16
Typecheck higher-kinded records
Nadrieril
1
-21
/
+33
2019-04-16
Remove one more instance of duplicate typechecking
Nadrieril
2
-1
/
+16
2019-04-16
Remove higher-kinded type noise in Type
Nadrieril
4
-42
/
+67
2019-04-16
Revert "Preserve notes when normalizing"
Nadrieril
1
-13
/
+6
2019-04-16
Preserve notes when normalizing
Nadrieril
1
-6
/
+13
2019-04-16
Naming tweaks
Nadrieril
2
-12
/
+12
2019-04-16
Avoid some work duplication in typechecking
Nadrieril
2
-51
/
+56
2019-04-15
Handle empty optionals correctly
Nadrieril
4
-3
/
+19
2019-04-15
Error on import cycles
Basile Henry
1
-6
/
+32
2019-04-15
rustfmt
Nadrieril
1
-4
/
+4
2019-04-14
Namespace deserialization functions in a `de` submodule
Nadrieril
3
-42
/
+46
2019-04-14
clippy
Nadrieril
5
-17
/
+15
2019-04-14
Add import tests
Nadrieril
2
-0
/
+40
2019-04-14
Naming nitpick
Nadrieril
1
-5
/
+5
2019-04-14
Cache imports
Basile Henry
1
-12
/
+34
2019-04-14
Transform more mapping functions to use the Visitor trait
Nadrieril
1
-1
/
+1
2019-04-14
Implement `let` type synonyms
Nadrieril
1
-51
/
+25
2019-04-14
Fix a tiny normalization bug
Nadrieril
1
-1
/
+1
2019-04-13
Implement ListAppend typechecking
Nadrieril
1
-2
/
+20
2019-04-13
Fix `let` parsing
Nadrieril
1
-0
/
+1
2019-04-13
Improve error display on test failure
Nadrieril
1
-10
/
+20
2019-04-13
Various typecheck improvements
Nadrieril
1
-83
/
+93
[next]