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
(
unfollow
)
Commit message (
Collapse
)
Author
Files
Lines
2020-04-05
Add semantic-hash tests
Nadrieril
1
-1
/
+11
2020-03-31
Remove top-level Expr aliases
Nadrieril
1
-9
/
+6
2020-03-31
Remove Normalized and friends from public API
Nadrieril
1
-1
/
+1
2020-03-20
Add coverage gathering with grcov
Nadrieril
1
-7
/
+17
2020-03-20
Commit output of printer
Nadrieril
1
-23
/
+23
2020-03-05
Implement `missing` and `env:VAR` imports
Nadrieril
1
-0
/
+2
2020-03-05
Add a lot of import tests
Nadrieril
1
-1
/
+1
2020-03-05
Run tests from repo root as specified in spec
Nadrieril
1
-1
/
+7
2020-02-17
Rename Value to Nir
Nadrieril
1
-1
/
+1
2020-02-09
Resolve variables alongside import resolution
Nadrieril
1
-9
/
+13
2020-02-09
Track error output of parsing and binary decoding tests
Nadrieril
1
-5
/
+7
2020-02-09
Remove distinction between failure and error tests
Nadrieril
1
-12
/
+4
2020-02-09
Add option to overwrite test files
Nadrieril
1
-48
/
+105
2020-02-09
Move ui outputs to a sensible place
Nadrieril
1
-8
/
+3
2020-02-09
Massively deduplicate test harness
Nadrieril
1
-139
/
+140
2020-02-09
Track output of import errors
Nadrieril
1
-0
/
+26
2020-02-02
Add local test files on top of dhall-lang tests
Nadrieril
1
-0
/
+3
2020-01-30
Move main API to lib.rs
Nadrieril
1
-1
/
+1
2020-01-29
Use TyExpr in Typed
Nadrieril
1
-71
/
+14
2020-01-29
Fix more bugs
Nadrieril
1
-4
/
+14
2020-01-28
Fix all sorts of variable shenanigans
Nadrieril
1
-0
/
+18
2020-01-27
Fix a bunch of bugs and more tck
Nadrieril
1
-7
/
+4
2020-01-25
Typecheck more cases
Nadrieril
1
-4
/
+11
2020-01-24
Implement basic typecheck with new approach
Nadrieril
1
-9
/
+16
2020-01-23
Implement basic env-based normalization for Value-based TyExpr
Nadrieril
1
-2
/
+12
2020-01-21
Simplify type error type
Nadrieril
1
-13
/
+13
2020-01-20
Reimplement basic tck/nze with proper environments
Nadrieril
1
-6
/
+13
Inspired from dhall_haskell
2019-12-24
Ensure normalization respects var names on the nose
Nadrieril
1
-10
/
+5
2019-12-24
Ensure inferred type is always in normal form
Nadrieril
1
-5
/
+2
2019-12-24
Ensure the output of type inference matches the spec variable names
Nadrieril
1
-2
/
+2
2019-12-20
Move error module to root of crate
Nadrieril
1
-1
/
+1
2019-12-15
Refer to semantics module properly
Nadrieril
1
-2
/
+2
2019-11-11
Explain TypeError tests
Nadrieril
1
-0
/
+3
2019-11-11
Display first pretty type error
Nadrieril
1
-1
/
+24
2019-11-11
Test type error messages
Nadrieril
1
-8
/
+34
2019-11-11
Generate import tests automatically
Nadrieril
1
-16
/
+15
2019-11-11
Remove unused "typecheck" tests
Nadrieril
1
-21
/
+0
2019-08-30
Rework test harness to prepare for new types of tests
Nadrieril
1
-176
/
+147
2019-08-27
clippy
Nadrieril
1
-1
/
+2
2019-08-26
Tweak tests to avoid double compilation
Nadrieril
1
-0
/
+7
2019-08-20
No need for Cow in return type of get_type
Nadrieril
1
-1
/
+1
2019-08-19
Use TypedValue instead of Typed in normalize and typecheck
Nadrieril
1
-1
/
+1
Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
2019-08-19
s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible
Nadrieril
1
-1
/
+1
2019-08-16
Typecheck before normalizing in tests
Nadrieril
1
-12
/
+16
2019-08-15
Disable some unused unstable features
Nadrieril
1
-1
/
+1
2019-08-08
Add support for dependent types
Nadrieril
1
-0
/
+1
2019-08-07
Remove an annoying redundancy in the test harness
Nadrieril
1
-13
/
+1
2019-08-07
Add binary-decode tests
Nadrieril
1
-1
/
+32
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-0
/
+2
2019-05-12
Split-off printer and binary encoding tests from parser tests
Nadrieril
1
-37
/
+59
[next]