summaryrefslogtreecommitdiff
path: root/dhall_core/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Text interpolationNadrieril2019-04-201-4/+4
|
* Text literalsNadrieril2019-04-201-2/+14
|
* A union constructor is a purely semantic valueNadrieril2019-04-193-15/+0
|
* Make App() only store one argumentNadrieril2019-04-194-16/+7
|
* Label is redundant in EnvItem::SkipNadrieril2019-04-181-2/+4
|
* Use a context for substitution in normalizationNadrieril2019-04-181-1/+7
|
* subst_shift in a single passNadrieril2019-04-182-5/+71
|
* Use argument-position impl trait for mapping functionsNadrieril2019-04-181-87/+39
|
* Remove more duplicationNadrieril2019-04-182-62/+34
|
* Avoid an unnecessary unroll()Nadrieril2019-04-182-27/+52
|
* Add even more general visitor traitNadrieril2019-04-181-55/+140
|
* Reduce duplication between mapping functionsNadrieril2019-04-182-58/+33
|
* Deprecate some thingsNadrieril2019-04-182-21/+6
|
* Merge impl blocksNadrieril2019-04-181-106/+104
|
* Consistent type variable namingNadrieril2019-04-181-33/+34
|
* Start cleaning up the mess of mapping functionsNadrieril2019-04-182-23/+130
|
* Simplify implementation of shift and subst_shiftNadrieril2019-04-181-27/+31
|
* Normalize union constructorsNadrieril2019-04-173-4/+19
|
* rustfmtNadrieril2019-04-161-1/+2
|
* Update dhall-lang submoduleNadrieril2019-04-161-6/+11
|
* Tiny rename to save myself a lot of painNadrieril2019-04-161-27/+27
|
* Handle nullary union variantsNadrieril2019-04-161-1/+8
| | | | Closes #36
* Prepare for nullary union variantsNadrieril2019-04-164-21/+51
|
* Fix union constructor typecheckingNadrieril2019-04-161-0/+6
|
* Doc tweakNadrieril2019-04-161-8/+8
|
* Handle empty optionals correctlyNadrieril2019-04-154-6/+18
| | | | Closes #78
* Remove leftover bx() functionNadrieril2019-04-151-6/+1
|
* clippyNadrieril2019-04-142-3/+3
|
* Rename iter_patterns to improved_slice_patternsNadrieril2019-04-141-1/+1
|
* Document roughly the dhall subcratesNadrieril2019-04-141-0/+5
| | | | Closes #72
* 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-131-1/+1
|
* 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
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 21:47:27 +0000