summaryrefslogtreecommitdiff
path: root/dhall/src/error (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement conservative sanity checkingNadrieril2020-03-051-0/+1
|
* Cache imports correctlyNadrieril2020-03-051-2/+2
|
* Implement remote imports and cleanup import chainingNadrieril2020-03-051-0/+6
|
* Implement `missing` and `env:VAR` importsNadrieril2020-03-051-0/+2
|
* Expose fewer pub thingsNadrieril2020-02-191-1/+1
|
* Avoid re-typechecking after importNadrieril2020-02-191-1/+0
|
* Discard import headers while we don't use themNadrieril2020-02-181-2/+2
|
* TyExpr always carries a typeNadrieril2020-02-131-2/+0
|
* Resolve variables alongside import resolutionNadrieril2020-02-091-19/+37
|
* Add basic pretty type errors to all errorsNadrieril2020-02-041-53/+2
|
* Tweak errorsNadrieril2020-02-021-6/+3
|
* Use Spans consistently by valueNadrieril2020-02-021-5/+5
|
* More errorsNadrieril2020-02-021-17/+23
|
* More nice errors plus some refactorNadrieril2020-02-022-61/+117
|
* Implement once nice error using annotate_snippetsNadrieril2020-02-012-0/+103
|
* Move parse and resolve up a levelNadrieril2020-01-301-1/+1
|
* Move main API to lib.rsNadrieril2020-01-301-1/+1
|
* Move Value-related stuff under semantics::nzeNadrieril2020-01-301-1/+1
|
* Remove dead codeNadrieril2020-01-291-11/+6
|
* Make most type errors stringyNadrieril2020-01-251-47/+48
|
* Typecheck more casesNadrieril2020-01-251-0/+1
|
* Simplify type error typeNadrieril2020-01-211-9/+4
|
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-0/+5
| | | | Inspired from dhall_haskell
* s/TypecheckContext/TyCtx/Nadrieril2020-01-171-6/+3
|
* Extend merge to work on OptionalsNadrieril2019-12-241-1/+1
|
* Add debug output to unhandled type error messageNadrieril2019-12-241-1/+1
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+1
|
* Move error module to root of crateNadrieril2019-12-201-0/+178
|
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-179/+0
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-1/+1
|
* Add more detail to TypeMismatch errorNadrieril2019-11-111-3/+14
|
* Remove unused error textsNadrieril2019-11-1134-1765/+0
| | | | | Those were copied from dhall-haskell back before I (Nadrieril) forked dhall-rust from Nanotech. They have never been used.
* Add a few more pretty errorsNadrieril2019-11-111-8/+8
|
* Move "Type error" error prefixNadrieril2019-11-111-7/+11
|
* Display first pretty type errorNadrieril2019-11-111-4/+4
|
* Implement basicest Display for TypeErrorNadrieril2019-11-111-43/+18
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-4/+4
| | | | For clarity, and consistency with Value
* Enforce type information almost everywhereNadrieril2019-08-251-1/+0
|
* Standardize records of mixed kindsNadrieril2019-08-201-2/+0
|
* Reuse work to avoid complicated recursion in record mergingNadrieril2019-08-201-1/+0
|
* Merge TypedValue and ValueNadrieril2019-08-191-27/+27
|
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-27/+28
| | | | | 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-10/+10
|
* Implement inline headers parsingNadrieril2019-08-131-4/+4
|
* Add new error type for serde_dhallNadrieril2019-08-131-12/+0
|
* Move api into its own crateNadrieril2019-08-131-0/+10
|
* Add support for dependent typesNadrieril2019-08-081-2/+4
|
* Add some new tests and implement import alternativesNadrieril2019-08-061-1/+1
|
* Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-1/+1
|\
| * Merge remote-tracking branch 'origin/master' into fintan/typecheck-combineFintanH2019-08-031-1/+1
| |\