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
/
value.rs
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Normalize toMap
Nadrieril
2020-02-05
1
-0
/
+6
*
Use Spans consistently by value
Nadrieril
2020-02-02
1
-3
/
+3
*
More errors
Nadrieril
2020-02-02
1
-0
/
+3
*
More nice errors plus some refactor
Nadrieril
2020-02-02
1
-3
/
+0
*
Implement once nice error using annotate_snippets
Nadrieril
2020-02-01
1
-0
/
+4
*
Factor out custom Lazy struct
Nadrieril
2020-01-31
1
-35
/
+18
*
Use Rc equality to shortcut Value equality
Nadrieril
2020-01-30
1
-2
/
+1
*
Tweak ConstantClosure
Nadrieril
2020-01-30
1
-13
/
+7
*
Eval Thunk by move
Nadrieril
2020-01-30
1
-4
/
+3
*
Use OnceCell to enable returning &ValKind
Nadrieril
2020-01-30
1
-68
/
+53
*
Replace Form with a pair of RefCells, in preparation for OnceCell
Nadrieril
2020-01-30
1
-88
/
+71
*
Move Form::PartialExpr into Thunk
Nadrieril
2020-01-30
1
-36
/
+46
*
Only the Form must be in a RefCell
Nadrieril
2020-01-30
1
-61
/
+67
*
Avoid unnecessary allocations of `Value`s
Nadrieril
2020-01-30
1
-4
/
+2
*
Clarify normalization to ensure we only nze once
Nadrieril
2020-01-30
1
-35
/
+44
*
Move Thunk value into ValueInternal
Nadrieril
2020-01-30
1
-34
/
+32
*
Prepare ValueInternal with new `Form`s
Nadrieril
2020-01-30
1
-53
/
+50
*
Factor out text literals in Value
Nadrieril
2020-01-30
1
-9
/
+65
*
Remove type parameter from ValueKind
Nadrieril
2020-01-30
1
-15
/
+12
*
Remove Value visitor
Nadrieril
2020-01-30
1
-141
/
+87
*
Move main API to lib.rs
Nadrieril
2020-01-30
1
-1
/
+1
*
Move normalize under nze
Nadrieril
2020-01-30
1
-3
/
+1
*
Move Value-related stuff under semantics::nze
Nadrieril
2020-01-30
1
-0
/
+698