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
/
tests.rs
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Rewrite Deserialize trait around new Value and Type
Nadrieril
2019-05-09
1
-1
/
+1
*
Generate normalization tests automatically
Nadrieril
2019-05-09
1
-0
/
+5
*
Unify Type, TypeInternal and Typed
Nadrieril
2019-05-07
1
-1
/
+0
*
Reorganize dhall into a phase structure
Nadrieril
2019-05-06
1
-1
/
+1
*
Implement alpha-normalization
Nadrieril
2019-05-05
1
-1
/
+8
*
No need for extra stack in tests anymore
Nadrieril
2019-05-03
1
-12
/
+6
*
Instead of possibly nonexistent Type, treat Sort specially
Nadrieril
2019-05-02
1
-6
/
+3
*
Store a Thunk in Typed
Nadrieril
2019-04-30
1
-2
/
+1
*
Avoid duplicating work when matching on Pi types
Nadrieril
2019-04-23
1
-3
/
+6
*
Embrace TypeInternal as a semantic value
Nadrieril
2019-04-21
1
-1
/
+1
*
Improve test failure ergonomics
Nadrieril
2019-04-20
1
-10
/
+5
*
Improve test error ergonomics
Nadrieril
2019-04-16
1
-2
/
+8
*
Remove higher-kinded type noise in Type
Nadrieril
2019-04-16
1
-1
/
+1
*
Handle empty optionals correctly
Nadrieril
2019-04-15
1
-1
/
+1
*
Namespace deserialization functions in a `de` submodule
Nadrieril
2019-04-14
1
-1
/
+1
*
clippy
Nadrieril
2019-04-14
1
-3
/
+1
*
Add import tests
Nadrieril
2019-04-14
1
-0
/
+12
*
Improve error display on test failure
Nadrieril
2019-04-13
1
-10
/
+20
*
Restrict public API to its most minimal expression
Nadrieril
2019-04-12
1
-1
/
+1
*
Add lifetime parameters to Parsed and Resolved
Nadrieril
2019-04-11
1
-1
/
+2
*
Abstract get_type() into a trait
Nadrieril
2019-04-11
1
-2
/
+3
*
Handle untyped case differently from the type of Sort
Nadrieril
2019-04-11
1
-1
/
+1
*
Simplify test harness
Nadrieril
2019-04-10
1
-114
/
+92
*
Allow providing type for typechecking in API
Nadrieril
2019-04-10
1
-12
/
+11
*
Mild cleanup imports
Nadrieril
2019-04-10
1
-4
/
+4
*
Cleanup error handling
Nadrieril
2019-04-10
1
-12
/
+9
*
s/load_from/parse/
Nadrieril
2019-04-10
1
-15
/
+15
*
Limit public API
Nadrieril
2019-04-08
1
-2
/
+4
*
Move spec tests into the relevant files
Nadrieril
2019-04-08
1
-0
/
+176