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
/
semantics
/
nze
/
normalize.rs
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Avoid re-typechecking after import
Nadrieril
2020-02-19
1
-0
/
+1
|
*
Rename Value to Nir
Nadrieril
2020-02-17
1
-128
/
+115
|
*
Start requiring Universe to build a Type
Nadrieril
2020-02-16
1
-1
/
+1
|
*
Desugar Completion during resolution
Nadrieril
2020-02-15
1
-11
/
+9
|
*
Factor some tck code to avoid needing get_type_tyexpr
Nadrieril
2020-02-15
1
-1
/
+1
|
*
Introduce LitKind to factor out common enum nodes
Nadrieril
2020-02-11
1
-41
/
+45
|
*
Remove the Embed variant from ExprKind
Nadrieril
2020-02-11
1
-4
/
+2
|
*
Remove types from NzEnv
Nadrieril
2020-02-09
1
-1
/
+1
|
*
Remove extra types stored in Value
Nadrieril
2020-02-09
1
-16
/
+8
|
*
Remove most TyExpr from normalization
Nadrieril
2020-02-09
1
-11
/
+10
|
*
Add Hir as untyped alternative to TyExpr
Nadrieril
2020-02-09
1
-2
/
+2
|
*
Remove move type propagation through Value
Nadrieril
2020-02-09
1
-91
/
+33
|
*
Remove most reliance on types stored in Value
Nadrieril
2020-02-09
1
-4
/
+4
|
*
Implement some record simplifications
Nadrieril
2020-02-06
1
-2
/
+92
|
*
Normalize toMap
Nadrieril
2020-02-05
1
-5
/
+44
|
*
Get rid of all the manual Ref borrows
Nadrieril
2020-01-30
1
-115
/
+55
|
*
Avoid unnecessary allocations of `Value`s
Nadrieril
2020-01-30
1
-12
/
+9
|
*
Clarify normalization to ensure we only nze once
Nadrieril
2020-01-30
1
-18
/
+7
|
*
Move Thunk value into ValueInternal
Nadrieril
2020-01-30
1
-1
/
+0
|
*
Factor out text literals in Value
Nadrieril
2020-01-30
1
-30
/
+22
|
|
|
|
This allows encapsulating invariants properly and reducing clutter
*
Remove type parameter from ValueKind
Nadrieril
2020-01-30
1
-7
/
+4
|
*
Move main API to lib.rs
Nadrieril
2020-01-30
1
-1
/
+1
|
*
Move normalize under nze
Nadrieril
2020-01-30
1
-0
/
+507