summaryrefslogtreecommitdiff
path: root/dhall_core/src/core.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-563/+0
* Remove shift0Nadrieril2019-05-021-23/+17
* Fix shifting. This completely destroys sharing so performance is dead.Nadrieril2019-04-301-1/+3
* Don't shift by mutable refNadrieril2019-04-291-7/+19
* Properly substitute when typing AppNadrieril2019-04-291-8/+15
* Remove now obsolete subst_shiftNadrieril2019-04-221-42/+1
* Prepare for interop between two contextsNadrieril2019-04-211-13/+21
* An empty optional value is purely semanticNadrieril2019-04-201-3/+1
* A union constructor is a purely semantic valueNadrieril2019-04-191-2/+0
* Make App() only store one argumentNadrieril2019-04-191-1/+1
* subst_shift in a single passNadrieril2019-04-181-5/+57
* Use argument-position impl trait for mapping functionsNadrieril2019-04-181-87/+39
* Remove more duplicationNadrieril2019-04-181-32/+34
* Avoid an unnecessary unroll()Nadrieril2019-04-181-3/+1
* Reduce duplication between mapping functionsNadrieril2019-04-181-57/+33
* Deprecate some thingsNadrieril2019-04-181-20/+5
* Merge impl blocksNadrieril2019-04-181-106/+104
* Consistent type variable namingNadrieril2019-04-181-33/+34
* Start cleaning up the mess of mapping functionsNadrieril2019-04-181-21/+90
* Simplify implementation of shift and subst_shiftNadrieril2019-04-181-27/+31
* Normalize union constructorsNadrieril2019-04-171-0/+2
* Prepare for nullary union variantsNadrieril2019-04-161-4/+4
* Fix union constructor typecheckingNadrieril2019-04-161-0/+6
* Doc tweakNadrieril2019-04-161-8/+8
* Handle empty optionals correctlyNadrieril2019-04-151-0/+4
* Remove leftover bx() functionNadrieril2019-04-151-6/+1
* Remove unused ExprF::as_refNadrieril2019-04-141-47/+0
* Improve visitor trait hierarchyNadrieril2019-04-141-8/+13
* Remove leftover commentNadrieril2019-04-141-42/+0
* Transform more mapping functions to use the Visitor traitNadrieril2019-04-141-73/+21
* Rewrite map methods with Visitor traitsNadrieril2019-04-141-110/+34
* docs: mark blocks that do not contain Rust code as textNadrieril2019-04-121-1/+1
* Remove any remains from the standard or `dhall-haskell`Nadrieril2019-04-121-145/+26
* Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril2019-04-121-0/+33
* Avoid use of ExprF::as_ref when not neededNadrieril2019-04-111-64/+37
* Respect import boundariesNadrieril2019-04-111-20/+46
* `Some` is not a builtin, it's a keywordNadrieril2019-04-111-1/+0
* Remove premature #[inline(always)]Nadrieril2019-04-111-12/+0
* Add basic deserialization supportNadrieril2019-04-111-1/+0
* clippyNadrieril2019-04-081-7/+7
* Add Sort type universeNadrieril2019-04-061-0/+1
* Massage import loading into new APINadrieril2019-04-061-0/+39
* Factor out the recursion when possible in typecheckNadrieril2019-04-061-0/+21
* Upgrade map to traverseNadrieril2019-04-061-40/+86
* subst_shift in a single passNadrieril2019-04-061-17/+13
* Factor out shift/subst/shift danceNadrieril2019-04-061-0/+10
* Merge branch 'master' into exprfNadrieril2019-04-061-0/+19
|\
| * Tweak matching on Some/NoneNadrieril2019-04-041-0/+19
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-061-10/+53
* | Refactor and clarify various map methodsNadrieril2019-04-011-114/+235
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:09:05 +0000