summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Replace all bulk shifting by a single shiftNadrieril4-98/+8
2020-01-17Use alpha variables everywhereNadrieril3-27/+34
2020-01-17Implement bulk shiftingNadrieril5-67/+163
2020-01-17Tweak: handle empty lists in typeckNadrieril2-20/+14
2020-01-17Simplify a bitNadrieril3-33/+42
2020-01-17Remove Shift/Subst traitsNadrieril6-227/+115
2020-01-17Simplify Shift and Subst instancesNadrieril3-273/+39
2020-01-17Remove binder idsNadrieril5-156/+28
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril5-40/+75
2020-01-17Simplify Value::to_exprNadrieril2-78/+52
2020-01-17Use binder ids for Value equalityNadrieril2-8/+74
2020-01-17Store corresponding binder id in AlphaVarNadrieril2-11/+16
2020-01-17Assign a unique id to each binderNadrieril2-5/+25
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-16releaseNadrieril1-1/+1
2020-01-16Deserialize more typesNadrieril1-0/+4
2019-12-27Update dhall-lang submoduleNadrieril1-8/+7
2019-12-24Ensure normalization respects var names on the noseNadrieril2-18/+13
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 versionNadrieril1-1/+1
2019-12-24Extend merge to work on OptionalsNadrieril5-5/+47
2019-12-24Add debug output to unhandled type error messageNadrieril1-1/+1
2019-12-23Update dhall-lang submoduleNadrieril1-10/+18
2019-12-23Update dhall-lang submoduleNadrieril2-13/+14
2019-12-23Add two new Integer builtinsNadrieril5-0/+20
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22rustfmtNadrieril2-7/+8
2019-12-22Implement parsing for record completionNadrieril9-8/+52
2019-12-22Update dhall-lang submoduleNadrieril1-0/+2
2019-12-22Update dhall-lang submoduleNadrieril2-1/+10
2019-12-21Bump dhall versionNadrieril1-1/+1
2019-12-21Generate parser manually to make the crate publishableNadrieril1-3/+9
2019-12-21Prepare for publishing on crates.ioNadrieril1-0/+1
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril1-77/+22
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