summaryrefslogtreecommitdiff
path: root/dhall_core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-19A union constructor is a purely semantic valueNadrieril3-15/+0
2019-04-19Make App() only store one argumentNadrieril4-16/+7
2019-04-18Label is redundant in EnvItem::SkipNadrieril1-2/+4
2019-04-18Use a context for substitution in normalizationNadrieril1-1/+7
2019-04-18subst_shift in a single passNadrieril2-5/+71
2019-04-18Use argument-position impl trait for mapping functionsNadrieril1-87/+39
2019-04-18Remove more duplicationNadrieril2-62/+34
2019-04-18Avoid an unnecessary unroll()Nadrieril2-27/+52
2019-04-18Add even more general visitor traitNadrieril1-55/+140
2019-04-18Reduce duplication between mapping functionsNadrieril2-58/+33
2019-04-18Deprecate some thingsNadrieril2-21/+6
2019-04-18Merge impl blocksNadrieril1-106/+104
2019-04-18Consistent type variable namingNadrieril1-33/+34
2019-04-18Start cleaning up the mess of mapping functionsNadrieril2-23/+130
2019-04-18Simplify implementation of shift and subst_shiftNadrieril1-27/+31
2019-04-17Normalize union constructorsNadrieril3-4/+19
2019-04-16rustfmtNadrieril1-1/+2
2019-04-16Update dhall-lang submoduleNadrieril1-6/+11
2019-04-16Tiny rename to save myself a lot of painNadrieril1-27/+27
2019-04-16Handle nullary union variantsNadrieril1-1/+8
2019-04-16Prepare for nullary union variantsNadrieril4-21/+51
2019-04-16Fix union constructor typecheckingNadrieril1-0/+6
2019-04-16Doc tweakNadrieril1-8/+8
2019-04-15Handle empty optionals correctlyNadrieril4-6/+18
2019-04-15Remove leftover bx() functionNadrieril1-6/+1
2019-04-14clippyNadrieril2-3/+3
2019-04-14Use crates.io improved_slice_patterns on top of path depNadrieril1-1/+1
2019-04-14Rename iter_patterns to improved_slice_patternsNadrieril2-2/+2
2019-04-14Document roughly the dhall subcratesNadrieril1-0/+5
2019-04-14Use upstream pestNadrieril1-1/+1
2019-04-14Document why Visitor is neededNadrieril1-0/+12
2019-04-14Cache importsBasile Henry1-8/+8
2019-04-14Remove unused ExprF::as_refNadrieril1-47/+0
2019-04-14Improve visitor trait hierarchyNadrieril2-87/+226
2019-04-14Remove leftover commentNadrieril1-42/+0
2019-04-14Transform more mapping functions to use the Visitor traitNadrieril2-73/+173
2019-04-14Rewrite map methods with Visitor traitsNadrieril3-110/+261
2019-04-13Rework Expr printer with better separation of concernsNadrieril1-142/+136
2019-04-13Fix `let` parsingNadrieril1-1/+1
2019-04-13Clarify role of dhall_generated_parser crateNadrieril2-2/+2
2019-04-12Remove some leftover dependenciesNadrieril1-1/+0
2019-04-12docs: mark blocks that do not contain Rust code as textNadrieril1-1/+1
2019-04-12Clarify licenseNadrieril1-0/+1
2019-04-12Remove any remains from the standard or `dhall-haskell`Nadrieril1-145/+26
2019-04-12oopsNadrieril1-2/+4
2019-04-12Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril2-81/+153
2019-04-11Avoid use of ExprF::as_ref when not neededNadrieril2-75/+41
2019-04-11Respect import boundariesNadrieril1-20/+46
2019-04-11`Some` is not a builtin, it's a keywordNadrieril3-3/+0
2019-04-11Remove premature #[inline(always)]Nadrieril1-12/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 21:56:27 +0000