summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* rustfmtNadrieril2019-03-091-16/+34
|
* Clean up some of the messNadrieril2019-03-081-13/+8
|
* Rename Expr back to its true nameNadrieril2019-03-081-73/+73
|
* Finally get rid of all the &'i strNadrieril2019-03-081-96/+101
|
* Make labels non-CopyNadrieril2019-03-081-3/+3
|
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-56/+70
|
* Generalise Context on its type of keysNadrieril2019-03-081-4/+4
|
* Make Expr generic in its type of labelsNadrieril2019-03-081-3/+4
|
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-061-1/+1
|
* rustfmtNadrieril2019-03-061-1/+1
|
* Move context to dhall_coreNadrieril2019-03-061-1/+1
|
* Split-off normalization into its own crateNadrieril2019-03-061-1/+2
|
* Split-off core into its own crateNadrieril2019-03-061-7/+7
|
* rustfmtNadrieril2019-03-061-230/+420
|
* Merge binary operations in ASTNadrieril2019-03-051-7/+8
|
* Make some annotations optional in ASTNadrieril2019-03-041-12/+30
|
* Merge builtins in a single enumNadrieril2019-03-031-33/+32
|
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-011-0/+616