summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Introduce a notion of binderNadrieril5-46/+56
2020-01-17Implement traverse_ref for ValueKindNadrieril6-2/+169
2020-01-17Parameterize ValueKind by its subnodesNadrieril4-23/+29
2020-01-17Revert "Implement PartialEq manually for ValueKind"Nadrieril1-64/+1
2020-01-17Implement PartialEq manually for ValueKindNadrieril1-1/+64
2020-01-17Construct T/Build closures in Expr spaceNadrieril3-64/+58
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril4-30/+19
2020-01-17Make TypecheckContext a named structNadrieril1-9/+11
2020-01-17TypecheckContext doesn't need RcNadrieril1-14/+18
2020-01-17TypecheckContext doesn't need PartialEqNadrieril1-9/+0
2020-01-16releaseNadrieril2-2/+2
2020-01-16Deserialize more typesNadrieril1-0/+4
2019-12-27Update dhall-lang submoduleNadrieril4-23/+9
2019-12-24Ensure normalization respects var names on the noseNadrieril3-18/+14
2019-12-24Ensure inferred type is always in normal formNadrieril4-7/+19
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril2-9/+9
2019-12-24Release new versionNadrieril2-2/+2
2019-12-24Note waiting for release of abnfNadrieril1-1/+1
2019-12-24Extend merge to work on OptionalsNadrieril10-12/+64
2019-12-24Add debug output to unhandled type error messageNadrieril79-79/+79
2019-12-23Update dhall-lang submoduleNadrieril1-10/+18
2019-12-23Update dhall-lang submoduleNadrieril3-13/+22
2019-12-23Update dhall-lang submoduleNadrieril1-1/+7
2019-12-23Add two new Integer builtinsNadrieril5-0/+20
2019-12-22Update dhall-lang submoduleNadrieril1-0/+13
2019-12-22Update abnf dependency in the hopes of fixing a bugNadrieril2-7/+5
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22rustfmtNadrieril2-7/+8
2019-12-22Implement parsing for record completionNadrieril10-8/+68
2019-12-22Update dhall-lang submoduleNadrieril3-6/+4
2019-12-22Update dhall-lang submoduleNadrieril5-1/+15
2019-12-22Put test builders in a vecNadrieril1-79/+33
2019-12-21Bump dhall versionNadrieril2-2/+2
2019-12-21Generate parser manually to make the crate publishableNadrieril4-6/+37
2019-12-21TypoNadrieril1-1/+1
2019-12-21Bump abnf_to_pest versionNadrieril1-1/+1
2019-12-21Prepare for publishing on crates.ioNadrieril3-3/+16
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril2-78/+23
2019-12-20Remove unused dependenciesNadrieril1-3/+0
2019-12-20Move ValueKind into value.rsNadrieril8-279/+269
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20Fix some commentsNadrieril2-11/+4
2019-12-20Remove Expr::as_mutNadrieril1-9/+6
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril5-14/+19
2019-12-20Reorganize printerNadrieril1-135/+132
2019-12-20Use a named struct instead of a tuple in ExprNadrieril1-10/+19
2019-12-20Remove an unused implNadrieril1-7/+1
2019-12-20Reorganize ast::exprNadrieril1-75/+76