summaryrefslogtreecommitdiff
path: root/dhall_core/src/core.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Closes #78
* 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
| | | | Closes #69
* 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
| | | | Closes #54
* `Some` is not a builtin, it's a keywordNadrieril2019-04-111-1/+0
| | | | Closes #58
* Remove premature #[inline(always)]Nadrieril2019-04-111-12/+0
| | | | Closes #57
* Add basic deserialization supportNadrieril2019-04-111-1/+0
| | | | Closes #13
* clippyNadrieril2019-04-081-7/+7
|
* 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-061-40/+86
|
* subst_shift in a single passNadrieril2019-04-061-17/+13
| | | | Closes #6
* 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
| |
* | Make Expr generic in LabelNadrieril2019-03-311-11/+13
| |
* | Generalize type of mapNadrieril2019-03-311-5/+7
| |
* | Remove evil Deref implNadrieril2019-03-311-11/+6
| |
* | Move recursion out of ExprNadrieril2019-03-311-44/+32
| |
* | Make SubExpr a newtypeNadrieril2019-03-311-12/+33
|/
* Refactor printerNadrieril2019-03-241-15/+17
| | | | | Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes
* Handle merge and record projectionNadrieril2019-03-231-5/+10
|
* Improve import handling in parserNadrieril2019-03-211-3/+3
|
* Follow the spec for handling DoublesNadrieril2019-03-211-2/+26
|
* Represent Optional literals more faithfullyNadrieril2019-03-211-4/+6
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-211-4/+4
|
* Reorganize dhall_core a bitNadrieril2019-03-211-633/+49
|
* Handle simple parsing cases with new macrosNadrieril2019-03-201-0/+1
|
* Test printer in parser testsNadrieril2019-03-191-20/+47
| | | | Closes #30
* Split List literal between empty and non-emptyNadrieril2019-03-181-13/+12
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-250/+100
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-171-61/+23
|
* Use Rc consistently everywhereNadrieril2019-03-171-145/+139
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-39/+41
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-161-35/+43
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-9/+9
| | | | Closes #21
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 09:08:04 +0000