summaryrefslogtreecommitdiff
path: root/dhall_core (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-04-11Add basic deserialization supportNadrieril2-1/+3
2019-04-08Circumvent https://github.com/rust-lang/rust/issues/59803Nadrieril1-1/+0
2019-04-08clippyNadrieril4-12/+13
2019-04-07Avoid constructing exprs manually when possibleNadrieril1-0/+2
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 traverseNadrieril2-46/+102
2019-04-06subst_shift in a single passNadrieril1-17/+13
2019-04-06Factor out shift/subst/shift danceNadrieril1-0/+10
2019-04-06rustfmtNadrieril1-2/+4
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-10/+53
2019-04-04Revert end_of_line handling to upstreamNadrieril1-3/+1
2019-04-04Import union rules from upstream grammarNadrieril1-9/+21
2019-04-04Handle Some as in upstream grammarNadrieril1-21/+22
2019-04-04Factor literal-expression back inNadrieril1-1/+1
2019-04-04Tweak double literalsNadrieril1-6/+8
2019-04-04Factor back in some rule branchesNadrieril1-45/+48
2019-04-04Tweak matching on Some/NoneNadrieril2-21/+28
2019-04-04Roll rc through parser to enable matchingNadrieril1-93/+95
2019-04-04renameNadrieril1-5/+5
2019-04-01Refactor and clarify various map methodsNadrieril2-119/+254
2019-03-31Make Expr generic in LabelNadrieril2-12/+14