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
/
operations
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Thread cx through normalization
Nadrieril
2020-12-07
2
-35
/
+43
*
Thread cx through typecheck
Nadrieril
2020-12-07
1
-4
/
+4
*
If can return a type
Basile Henry
2020-11-27
1
-2
/
+2
*
Typecheck `with` using mutation
Nadrieril
2020-11-03
1
-43
/
+20
*
Normalize `with` by mutation.
Nadrieril
2020-11-03
1
-52
/
+24
*
Try to keep ownership of `Nir`s when convenient
Nadrieril
2020-11-03
1
-54
/
+51
*
Handle record type properly
Basile Henry
2020-11-02
1
-1
/
+1
*
Inline helper function
Basile Henry
2020-11-02
1
-8
/
+4
*
Refactor following PR review
Basile Henry
2020-11-02
2
-29
/
+20
*
Handle partially abstract with
Basile Henry
2020-11-01
1
-8
/
+29
*
Implement normalization for With op
Basile Henry
2020-11-01
1
-2
/
+43
*
Implement type checking for With op
Basile Henry
2020-11-01
1
-1
/
+50
*
spec: Enable `with` optimizations
Nadrieril
2020-09-14
3
-2
/
+5
*
spec: fix precedence of `===` and `with`
Nadrieril
2020-06-25
1
-2
/
+2
*
Deserialize `Prelude.Map` and `toMap` to a map instead of a list
Nadrieril
2020-04-10
2
-5
/
+5
*
Split operations module into submodules
Nadrieril
2020-04-07
4
-0
/
+919
