summaryrefslogtreecommitdiff
path: root/dhall/src/error (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* 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