summaryrefslogtreecommitdiff
path: root/dhall/src/error (unfollow)
Commit message (Expand)AuthorFilesLines
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