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
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Parse projection by expression
Nadrieril
2019-11-11
3
-0
/
+12
*
Propagate more spans
Nadrieril
2019-11-11
1
-3
/
+3
*
Display first pretty type error
Nadrieril
2019-11-11
1
-1
/
+1
*
Store a `Span` in `Value`
Nadrieril
2019-11-11
1
-4
/
+10
*
Capture absence of span in Span itself
Nadrieril
2019-11-11
2
-3
/
+13
*
Generate import tests automatically
Nadrieril
2019-11-11
1
-47
/
+0
*
Run `cargo fmt`
Nadrieril
2019-11-11
3
-53
/
+65
*
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-06
2
-21
/
+24
|
\
|
*
Resolve imports by mutating Expr instead of cloning it
Nadrieril
2019-09-03
1
-19
/
+22
|
*
No need to change the type of Embed when resolving anymore
Nadrieril
2019-09-03
1
-2
/
+2
*
|
Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...
Fintan Halpenny
2019-09-06
4
-26
/
+18
|
\
\
|
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Nadrieril
2019-09-03
4
-26
/
+18
|
|
\
|
|
|
*
Upgrade rust toolchain
Nadrieril
2019-09-03
3
-25
/
+18
*
|
|
Move Canonicalize into resolve.
Fintan Halpenny
2019-09-03
2
-5
/
+75
*
|
|
swp file accidentally checked in
Fintan Halpenny
2019-09-03
1
-0
/
+0
|
/
/
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-02
7
-1244
/
+984
|
\
|
|
*
Implement parsing of `toMap` keyword
Nadrieril
2019-08-31
3
-0
/
+13
|
*
Rework test harness to prepare for new types of tests
Nadrieril
2019-08-30
1
-2
/
+11
|
*
Cleanup conversion of `Value` to `Expr`
Nadrieril
2019-08-30
1
-9
/
+22
|
*
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
2019-08-28
4
-48
/
+43
|
*
clippy
Nadrieril
2019-08-27
2
-4
/
+3
|
*
Tweak tests to avoid double compilation
Nadrieril
2019-08-26
1
-2
/
+0
|
*
Remove now unnecessary VoVF enum
Nadrieril
2019-08-25
1
-22
/
+24
|
*
Rework apply_builtin to enforce preservation of type information
Nadrieril
2019-08-25
1
-183
/
+156
|
*
Enforce type information almost everywhere
Nadrieril
2019-08-25
2
-29
/
+17
|
*
Check consistency of type information
Nadrieril
2019-08-25
1
-2
/
+2
|
*
Keep type information through normalization
Nadrieril
2019-08-25
2
-79
/
+142
|
*
Clarify which syntax elements are completely handled in the tck phase
Nadrieril
2019-08-23
2
-25
/
+24
|
*
Keep type information after RecursiveRecordTypeMerge
Nadrieril
2019-08-23
2
-89
/
+23
|
*
Reduce API surface of dhall crate
Nadrieril
2019-08-20
1
-3
/
+3
|
*
Move type construction fns from serde_dhall to dhall
Nadrieril
2019-08-20
1
-1
/
+34
|
*
Use Ret in apply_builtin
Nadrieril
2019-08-20
1
-90
/
+101
|
*
Propagate type information in Value::app()
Nadrieril
2019-08-20
2
-27
/
+18
|
*
Track evaluation status alongside ValueF in VoVF
Nadrieril
2019-08-20
1
-32
/
+40
|
*
No need for Cow in return type of get_type
Nadrieril
2019-08-20
2
-23
/
+21
|
*
Introduce a new enum to store either a Value or a ValueF
Nadrieril
2019-08-20
2
-68
/
+90
|
*
Naming tweaks
Nadrieril
2019-08-20
2
-32
/
+25
|
*
Add Value::from_builtin
Nadrieril
2019-08-20
1
-25
/
+19
|
*
Clarify conversion of Const/Builtin to Value
Nadrieril
2019-08-20
1
-16
/
+27
|
*
Cleanup
Nadrieril
2019-08-20
3
-36
/
+59
|
*
Standardize records of mixed kinds
Nadrieril
2019-08-20
1
-51
/
+17
|
*
Reuse work to avoid complicated recursion in record merging
Nadrieril
2019-08-20
2
-150
/
+25
|
*
Tweak Ok/Err handling in typecheck
Nadrieril
2019-08-20
1
-157
/
+128
|
*
Merge TypedValue and Value
Nadrieril
2019-08-19
3
-166
/
+117
|
*
Reduce untyped construction of Values
Nadrieril
2019-08-19
2
-43
/
+62
|
*
Use TypedValue instead of Typed in normalize and typecheck
Nadrieril
2019-08-19
3
-262
/
+187
|
*
s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible
Nadrieril
2019-08-19
3
-158
/
+149
|
*
Rework ValueInternal and clarify invariants around ValueF
Nadrieril
2019-08-18
1
-8
/
+21
|
*
s/Thunk/Value/
Nadrieril
2019-08-17
3
-150
/
+152
|
*
s/Value/ValueF/
Nadrieril
2019-08-16
3
-184
/
+188
[next]