summaryrefslogtreecommitdiff
path: root/dhall/src/error (unfollow)
Commit message (Expand)AuthorFilesLines
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 18:09:03 +0000