summaryrefslogtreecommitdiff
path: root/dhall_core (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Document roughly the dhall subcratesNadrieril2019-04-141-0/+5
| | | | Closes #72
* Use upstream pestNadrieril2019-04-141-1/+1
|
* Merge pull request #68 from basile-henry/cache-importsNadrieril Feneanar2019-04-141-8/+8
|\ | | | | Cache imports
| * Cache importsBasile Henry2019-04-141-8/+8
| |
* | Document why Visitor is neededNadrieril2019-04-141-0/+12
|/
* Remove unused ExprF::as_refNadrieril2019-04-141-47/+0
|
* Improve visitor trait hierarchyNadrieril2019-04-142-87/+226
|
* Remove leftover commentNadrieril2019-04-141-42/+0
|
* Transform more mapping functions to use the Visitor traitNadrieril2019-04-142-73/+173
|
* Rewrite map methods with Visitor traitsNadrieril2019-04-143-110/+261
| | | | Closes #69
* Rework Expr printer with better separation of concernsNadrieril2019-04-131-142/+136
|
* Fix `let` parsingNadrieril2019-04-131-1/+1
|
* Clarify role of dhall_generated_parser crateNadrieril2019-04-132-2/+2
|
* Remove some leftover dependenciesNadrieril2019-04-121-1/+0
|
* docs: mark blocks that do not contain Rust code as textNadrieril2019-04-121-1/+1
|
* Clarify licenseNadrieril2019-04-121-0/+1
| | | | Closes #61
* Remove any remains from the standard or `dhall-haskell`Nadrieril2019-04-121-145/+26
|
* oopsNadrieril2019-04-121-2/+4
|
* Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril2019-04-122-81/+153
|
* Avoid use of ExprF::as_ref when not neededNadrieril2019-04-112-75/+41
|
* Respect import boundariesNadrieril2019-04-111-20/+46
| | | | Closes #54
* `Some` is not a builtin, it's a keywordNadrieril2019-04-113-3/+0
| | | | Closes #58
* Remove premature #[inline(always)]Nadrieril2019-04-111-12/+0
| | | | Closes #57
* Add basic deserialization supportNadrieril2019-04-112-1/+3
| | | | Closes #13
* Circumvent https://github.com/rust-lang/rust/issues/59803Nadrieril2019-04-081-1/+0
|
* clippyNadrieril2019-04-084-12/+13
|
* Avoid constructing exprs manually when possibleNadrieril2019-04-071-0/+2
|
* Add Sort type universeNadrieril2019-04-061-0/+1
|
* Massage import loading into new APINadrieril2019-04-061-0/+39
| | | | Closes #9
* Factor out the recursion when possible in typecheckNadrieril2019-04-061-0/+21
|
* Upgrade map to traverseNadrieril2019-04-062-46/+102
|
* subst_shift in a single passNadrieril2019-04-061-17/+13
| | | | Closes #6
* Factor out shift/subst/shift danceNadrieril2019-04-061-0/+10
|
* rustfmtNadrieril2019-04-061-2/+4
|
* Merge branch 'master' into exprfNadrieril2019-04-062-167/+192
|\
| * Revert end_of_line handling to upstreamNadrieril2019-04-041-3/+1
| |
| * Import union rules from upstream grammarNadrieril2019-04-041-9/+21
| |
| * Handle Some as in upstream grammarNadrieril2019-04-041-21/+22
| |
| * Factor literal-expression back inNadrieril2019-04-041-1/+1
| |
| * Tweak double literalsNadrieril2019-04-041-6/+8
| |
| * Factor back in some rule branchesNadrieril2019-04-041-45/+48
| |
| * Tweak matching on Some/NoneNadrieril2019-04-042-21/+28
| |
| * Roll rc through parser to enable matchingNadrieril2019-04-041-93/+95
| |
| * renameNadrieril2019-04-041-5/+5
| |
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-061-10/+53
| |
* | Refactor and clarify various map methodsNadrieril2019-04-012-119/+254
| |
* | Make Expr generic in LabelNadrieril2019-03-312-12/+14
| |
* | Generalize type of mapNadrieril2019-03-311-5/+7
| |
* | Remove evil Deref implNadrieril2019-03-312-11/+16
| |
* | Move recursion out of ExprNadrieril2019-03-314-152/+141
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 12:27:35 +0000