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
/
phase
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-05-08
Typecheck merge
Nadrieril
2
-12
/
+90
2019-05-08
Move binop normalization into a separate function
Nadrieril
1
-165
/
+153
2019-05-08
Implement normalization for record merging operators
Nadrieril
2
-21
/
+113
2019-05-08
Rename the record combining operators internally
Nadrieril
1
-3
/
+3
2019-05-08
Implement normalization of missing builtins
Nadrieril
1
-21
/
+68
2019-05-07
Don't discard normalization work done by typechecking
Nadrieril
1
-52
/
+93
2019-05-07
Slight improvement to typecheck ergonomics
Nadrieril
1
-59
/
+28
2019-05-07
Unify typecheck and normalization contexts
Nadrieril
2
-5
/
+2
2019-05-07
Promote shift and subst_shift to traits
Nadrieril
3
-29
/
+42
2019-05-07
Move AlphaVar and AlphaLabel into a new module
Nadrieril
1
-1
/
+2
2019-05-07
Small mistake
Nadrieril
1
-1
/
+3
2019-05-07
Clean up some of the SubExpr type-changing methods
Nadrieril
2
-4
/
+4
2019-05-07
Unify Type, TypeInternal and Typed
Nadrieril
2
-116
/
+43
2019-05-06
Move main datatypes into their own modules
Nadrieril
3
-1194
/
+160
2019-05-06
Consolidate errors in the error module
Nadrieril
4
-125
/
+25
2019-05-06
Reorganize dhall into a phase structure
Nadrieril
6
-0
/
+4093
[prev]