summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/expr.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-29Properly substitute when typing AppNadrieril1-8/+15
2019-04-22Remove now obsolete subst_shiftNadrieril1-42/+1
2019-04-21Prepare for interop between two contextsNadrieril1-13/+21
2019-04-20An empty optional value is purely semanticNadrieril1-3/+1
2019-04-19A union constructor is a purely semantic valueNadrieril1-2/+0
2019-04-19Make App() only store one argumentNadrieril1-1/+1
2019-04-18subst_shift in a single passNadrieril1-5/+57
2019-04-18Use argument-position impl trait for mapping functionsNadrieril1-87/+39
2019-04-18Remove more duplicationNadrieril1-32/+34
2019-04-18Avoid an unnecessary unroll()Nadrieril1-3/+1
2019-04-18Reduce duplication between mapping functionsNadrieril1-57/+33
2019-04-18Deprecate some thingsNadrieril1-20/+5
2019-04-18Merge impl blocksNadrieril1-106/+104
2019-04-18Consistent type variable namingNadrieril1-33/+34
2019-04-18Start cleaning up the mess of mapping functionsNadrieril1-21/+90
2019-04-18Simplify implementation of shift and subst_shiftNadrieril1-27/+31
2019-04-17Normalize union constructorsNadrieril1-0/+2
2019-04-16Prepare for nullary union variantsNadrieril1-4/+4
2019-04-16Fix union constructor typecheckingNadrieril1-0/+6
2019-04-16Doc tweakNadrieril1-8/+8
2019-04-15Handle empty optionals correctlyNadrieril1-0/+4
2019-04-15Remove leftover bx() functionNadrieril1-6/+1
2019-04-14Remove unused ExprF::as_refNadrieril1-47/+0
2019-04-14Improve visitor trait hierarchyNadrieril1-8/+13
2019-04-14Remove leftover commentNadrieril1-42/+0
2019-04-14Transform more mapping functions to use the Visitor traitNadrieril1-73/+21
2019-04-14Rewrite map methods with Visitor traitsNadrieril1-110/+34
2019-04-12docs: mark blocks that do not contain Rust code as textNadrieril1-1/+1
2019-04-12Remove any remains from the standard or `dhall-haskell`Nadrieril1-145/+26
2019-04-12Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril1-0/+33
2019-04-11Avoid use of ExprF::as_ref when not neededNadrieril1-64/+37
2019-04-11Respect import boundariesNadrieril1-20/+46
2019-04-11`Some` is not a builtin, it's a keywordNadrieril1-1/+0
2019-04-11Remove premature #[inline(always)]Nadrieril1-12/+0
2019-04-11Add basic deserialization supportNadrieril1-1/+0
2019-04-08clippyNadrieril1-7/+7
2019-04-06Add Sort type universeNadrieril1-0/+1
2019-04-06Massage import loading into new APINadrieril1-0/+39
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-0/+21
2019-04-06Upgrade map to traverseNadrieril1-40/+86
2019-04-06subst_shift in a single passNadrieril1-17/+13
2019-04-06Factor out shift/subst/shift danceNadrieril1-0/+10
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-10/+53
2019-04-04Tweak matching on Some/NoneNadrieril1-0/+19
2019-04-01Refactor and clarify various map methodsNadrieril1-114/+235
2019-03-31Make Expr generic in LabelNadrieril1-11/+13
2019-03-31Generalize type of mapNadrieril1-5/+7
2019-03-31Remove evil Deref implNadrieril1-11/+6
2019-03-31Move recursion out of ExprNadrieril1-44/+32
2019-03-31Make SubExpr a newtypeNadrieril1-12/+33
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:28:10 +0000