summaryrefslogtreecommitdiff
path: root/dhall/src/error/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-01Store file cache in ImportEnvNadrieril1-2/+2
2020-06-24test: use errors instead of panics to signify test failureNadrieril1-0/+11
2020-05-15fixup! Release serde_dhall version 0.5.2fteychene1-1/+1
2020-05-15feat: Add cache resolution on resolvefteychene1-0/+14
2020-03-31Brutally make all of dhall pubNadrieril1-7/+7
2020-03-05Implement conservative sanity checkingNadrieril1-0/+1
2020-03-05Cache imports correctlyNadrieril1-2/+2
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-0/+6
2020-03-05Implement `missing` and `env:VAR` importsNadrieril1-0/+2
2020-02-19Avoid re-typechecking after importNadrieril1-1/+0
2020-02-18Discard import headers while we don't use themNadrieril1-2/+2
2020-02-13TyExpr always carries a typeNadrieril1-2/+0
2020-02-09Resolve variables alongside import resolutionNadrieril1-19/+37
2020-02-04Add basic pretty type errors to all errorsNadrieril1-53/+2
2020-02-02More nice errors plus some refactorNadrieril1-9/+0
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-0/+3
2020-01-30Move parse and resolve up a levelNadrieril1-1/+1
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-1/+1
2020-01-29Remove dead codeNadrieril1-11/+6
2020-01-25Make most type errors stringyNadrieril1-47/+48
2020-01-25Typecheck more casesNadrieril1-0/+1
2020-01-21Simplify type error typeNadrieril1-9/+4
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-0/+5
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-6/+3
2019-12-24Extend merge to work on OptionalsNadrieril1-1/+1
2019-12-24Add debug output to unhandled type error messageNadrieril1-1/+1
2019-12-22Update dhall-lang submoduleNadrieril1-0/+1
2019-12-20Move error module to root of crateNadrieril1-0/+0
2019-12-15Refer to semantics module properlyNadrieril1-4/+4
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-2/+1
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-1/+1
2019-11-11Add more detail to TypeMismatch errorNadrieril1-3/+14
2019-11-11Add a few more pretty errorsNadrieril1-8/+8
2019-11-11Move "Type error" error prefixNadrieril1-7/+11
2019-11-11Display first pretty type errorNadrieril1-4/+4
2019-11-11Implement basicest Display for TypeErrorNadrieril1-43/+18
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-4/+4
2019-08-25Enforce type information almost everywhereNadrieril1-1/+0
2019-08-20Standardize records of mixed kindsNadrieril1-2/+0
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril1-1/+0
2019-08-19Merge TypedValue and ValueNadrieril1-27/+27
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-27/+28
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-10/+10
2019-08-13Implement inline headers parsingNadrieril1-4/+4
2019-08-13Add new error type for serde_dhallNadrieril1-12/+0
2019-08-13Move api into its own crateNadrieril1-0/+10
2019-08-08Add support for dependent typesNadrieril1-2/+4
2019-08-06Add some new tests and implement import alternativesNadrieril1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 11:34:08 +0000