summaryrefslogtreecommitdiff
path: root/dhall/src/error (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement binary encodingNadrieril2019-05-121-0/+12
| | | | Closes #39
* 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