summaryrefslogtreecommitdiff
path: root/dhall/src/error (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* 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
* 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
* 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
| |\
| * | Add the typechecking of RecursiveRecordMerge.FintanH2019-08-011-0/+3
* | | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-0/+2
|\ \ \ | | |/ | |/|
| * | Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2019-07-311-0/+2
| |/
* / Add typechecking for RecursiveRecordTypeMerge.FintanH2019-08-011-0/+3
|/
* Implement binary encodingNadrieril2019-05-121-0/+12
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-0/+1
* Detect duplicate record fields in typecheckNadrieril2019-05-091-0/+2
* Typecheck record projectionNadrieril2019-05-081-0/+2
* Typecheck mergeNadrieril2019-05-081-0/+7
* Unify typecheck and normalization contextsNadrieril2019-05-071-6/+0
* Move main datatypes into their own modulesNadrieril2019-05-061-1/+1
* Consolidate errors in the error moduleNadrieril2019-05-0635-0/+1934