summaryrefslogtreecommitdiff
path: root/dhall/src/error (unfollow)
Commit message (Expand)AuthorFilesLines
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/+178
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-179/+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-11Remove unused error textsNadrieril34-1765/+0
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
2019-08-01Add typechecking for RecursiveRecordTypeMerge.FintanH1-0/+3
2019-08-01Add the typechecking of RecursiveRecordMerge.FintanH1-0/+3
2019-07-31Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny1-0/+2
2019-05-12Implement binary encodingNadrieril1-0/+12
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-0/+1
2019-05-09Detect duplicate record fields in typecheckNadrieril1-0/+2
2019-05-08Typecheck record projectionNadrieril1-0/+2
2019-05-08Typecheck mergeNadrieril1-0/+7
2019-05-07Unify typecheck and normalization contextsNadrieril1-6/+0
2019-05-06Move main datatypes into their own modulesNadrieril1-1/+1
2019-05-06Consolidate errors in the error moduleNadrieril35-0/+1934