summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-09rustfmtNadrieril1-16/+34
2019-03-08Clean up some of the messNadrieril1-13/+8
2019-03-08Rename Expr back to its true nameNadrieril1-73/+73
2019-03-08Finally get rid of all the &'i strNadrieril1-96/+101
2019-03-08Make labels non-CopyNadrieril1-3/+3
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-56/+70
2019-03-08Generalise Context on its type of keysNadrieril1-4/+4
2019-03-08Make Expr generic in its type of labelsNadrieril1-3/+4
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril1-1/+1
2019-03-06rustfmtNadrieril1-1/+1
2019-03-06Move context to dhall_coreNadrieril1-1/+1
2019-03-06Split-off normalization into its own crateNadrieril1-1/+2
2019-03-06Split-off core into its own crateNadrieril1-7/+7
2019-03-06rustfmtNadrieril1-230/+420
2019-03-05Merge binary operations in ASTNadrieril1-7/+8
2019-03-04Make some annotations optional in ASTNadrieril1-12/+30
2019-03-03Merge builtins in a single enumNadrieril1-33/+32
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+0
2019-02-27Switch to Rust 2018 editionNadrieril1-8/+8
2017-09-08fixed some clippy warningsAndre Bogus1-62/+61
2017-03-10Fix match on Embed(X)NanoTech1-1/+1
2017-03-10Start implementing error explanationsNanoTech1-3/+35
2017-03-10Implement more normalize and typecheck casesNanoTech1-218/+152
2017-03-10normalize: Take the input Expr by referenceNanoTech1-17/+17
2017-03-10Implement more typechecking for Prelude/List/shiftedNanoTech1-46/+82
2017-03-10subst: Take the input Exprs by referenceNanoTech1-1/+1
2017-03-10shift: Take the input Expr by referenceNanoTech1-4/+4
2017-03-10Seperate built-in types and functions from ExprNanoTech1-30/+24
2017-03-10Replace Cow<'i, str> with &'i str in ExprNanoTech1-12/+12
2017-03-10Begin implementing type checkingNanoTech1-0/+621
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 20:59:45 +0000