summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Swap diff order in tests for UI filesNadrieril2020-04-071-1/+1
| | | | It was super confusing
* Check code hashes in importNadrieril2020-04-051-5/+1
|
* Add semantic-hash testsNadrieril2020-04-051-1/+11
|
* Remove top-level Expr aliasesNadrieril2020-03-311-9/+6
|
* Remove Normalized and friends from public APINadrieril2020-03-311-1/+1
|
* Add coverage gathering with grcovNadrieril2020-03-201-7/+17
|
* Commit output of printerNadrieril2020-03-201-23/+23
|
* Implement `missing` and `env:VAR` importsNadrieril2020-03-051-0/+2
|
* Add a lot of import testsNadrieril2020-03-051-1/+1
|
* Run tests from repo root as specified in specNadrieril2020-03-051-1/+7
|
* Rename Value to NirNadrieril2020-02-171-1/+1
|
* Resolve variables alongside import resolutionNadrieril2020-02-091-9/+13
|
* Track error output of parsing and binary decoding testsNadrieril2020-02-091-5/+7
|
* Remove distinction between failure and error testsNadrieril2020-02-091-12/+4
|
* Add option to overwrite test filesNadrieril2020-02-091-48/+105
|
* Move ui outputs to a sensible placeNadrieril2020-02-091-8/+3
|
* Massively deduplicate test harnessNadrieril2020-02-091-139/+140
|
* Track output of import errorsNadrieril2020-02-091-0/+26
|
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-0/+3
|
* Move main API to lib.rsNadrieril2020-01-301-1/+1
|
* Use TyExpr in TypedNadrieril2020-01-291-71/+14
|
* Fix more bugsNadrieril2020-01-291-4/+14
|
* Fix all sorts of variable shenanigansNadrieril2020-01-281-0/+18
|
* Fix a bunch of bugs and more tckNadrieril2020-01-271-7/+4
|
* Typecheck more casesNadrieril2020-01-251-4/+11
|
* Implement basic typecheck with new approachNadrieril2020-01-241-9/+16
|
* Implement basic env-based normalization for Value-based TyExprNadrieril2020-01-231-2/+12
|
* Simplify type error typeNadrieril2020-01-211-13/+13
|
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-6/+13
| | | | Inspired from dhall_haskell
* Ensure normalization respects var names on the noseNadrieril2019-12-241-10/+5
|
* Ensure inferred type is always in normal formNadrieril2019-12-241-5/+2
|
* Ensure the output of type inference matches the spec variable namesNadrieril2019-12-241-2/+2
|
* Move error module to root of crateNadrieril2019-12-201-1/+1
|
* Refer to semantics module properlyNadrieril2019-12-151-2/+2
|
* Explain TypeError testsNadrieril2019-11-111-0/+3
|
* Display first pretty type errorNadrieril2019-11-111-1/+24
|
* Test type error messagesNadrieril2019-11-111-8/+34
|
* Generate import tests automaticallyNadrieril2019-11-111-16/+15
|
* Remove unused "typecheck" testsNadrieril2019-11-111-21/+0
|
* Rework test harness to prepare for new types of testsNadrieril2019-08-301-176/+147
|
* clippyNadrieril2019-08-271-1/+2
|
* Tweak tests to avoid double compilationNadrieril2019-08-261-0/+7
|
* No need for Cow in return type of get_typeNadrieril2019-08-201-1/+1
|
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-1/+1
| | | | | Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
* s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril2019-08-191-1/+1
|
* Typecheck before normalizing in testsNadrieril2019-08-161-12/+16
|
* Disable some unused unstable featuresNadrieril2019-08-151-1/+1
|
* Add support for dependent typesNadrieril2019-08-081-0/+1
|
* Remove an annoying redundancy in the test harnessNadrieril2019-08-071-13/+1
|
* Add binary-decode testsNadrieril2019-08-071-1/+32
|