summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Correctly namespace interpolations in dhall_expr!()Nadrieril2019-03-241-2/+0
* Represent Optional literals more faithfullyNadrieril2019-03-211-20/+8
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-211-5/+5
* Implement a few more primitivesNadrieril2019-03-181-1/+0
* Split List literal between empty and non-emptyNadrieril2019-03-181-8/+9
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-219/+78
* Clean up some mess relating to Clone boundsNadrieril2019-03-171-2/+2
* Use Rc consistently everywhereNadrieril2019-03-171-246/+302
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-6/+7
* Use Box more uniformly in ASTNadrieril2019-03-161-12/+14
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-7/+3
* Store a vec in AppNadrieril2019-03-151-6/+11
* rustfmtNadrieril2019-03-121-2/+10
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
* Obey clippy lintsNadrieril2019-03-091-1/+1
* Remove the pervasive Label type parameterNadrieril2019-03-091-80/+56
* Use new Label type everywhereNadrieril2019-03-091-65/+45
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 10:01:03 +0000