summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Ensure all type errors carry normalized typesNadrieril2019-04-061-7/+4
|
* Remove an unnecessary normalizationNadrieril2019-04-061-2/+1
|
* Factor out shift/subst/shift danceNadrieril2019-04-062-14/+4
|
* Merge branch 'master' into exprfNadrieril2019-04-061-1/+1
|\
| * Get keyword rule from upstreamNadrieril2019-04-041-1/+1
| |
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-062-233/+206
| |
* | Refactor and clarify various map methodsNadrieril2019-04-011-1/+1
| |
* | Make Expr generic in LabelNadrieril2019-03-311-1/+1
| |
* | Remove evil Deref implNadrieril2019-03-312-3/+3
| |
* | Move recursion out of ExprNadrieril2019-03-313-8/+8
| |
* | Make SubExpr a newtypeNadrieril2019-03-314-78/+70
|/
* Remove some redundant namespacingNadrieril2019-03-312-31/+32
|
* Manually rustfmt like a naziNadrieril2019-03-271-2/+12
|
* Derive DhallType for structsNadrieril2019-03-262-0/+79
|
* Lay groundwork for DhallType derivingNadrieril2019-03-241-1/+0
|
* Correctly namespace interpolations in dhall_expr!()Nadrieril2019-03-242-3/+0
|
* Improve decoder errors on unknown inputsNadrieril2019-03-241-6/+2
|
* Parser import hash and headersNadrieril2019-03-242-6/+31
|
* Handle merge and record projectionNadrieril2019-03-231-5/+36
|
* oopsNadrieril2019-03-221-7/+7
|
* Parse a lot more of the import typesNadrieril2019-03-222-10/+84
|
* Improve binary decoding errorsNadrieril2019-03-221-14/+25
|
* Improve import handling in parserNadrieril2019-03-213-1/+34
|
* rustfmtNadrieril2019-03-211-11/+3
|
* Follow the spec for handling DoublesNadrieril2019-03-211-1/+1
|
* Represent Optional literals more faithfullyNadrieril2019-03-213-39/+20
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-212-7/+7
|
* Reorganize dhall_core a bitNadrieril2019-03-213-6/+6
|
* rustfmtNadrieril2019-03-191-14/+20
|
* Implement a few more primitivesNadrieril2019-03-182-17/+44
|
* Split List literal between empty and non-emptyNadrieril2019-03-183-29/+38
|
* tweaksNadrieril2019-03-181-4/+14
|
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
|
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
|
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-183-237/+87
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-13/+13
|
* Use Rc consistently everywhereNadrieril2019-03-174-427/+545
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-163-7/+10
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-163-102/+107
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-163-31/+24
| | | | Closes #21
* rustfmtNadrieril2019-03-151-26/+24
|
* Get rid of box patternsNadrieril2019-03-152-14/+13
| | | | Closes #27
* Store a vec in AppNadrieril2019-03-153-161/+147
| | | | Closes #26
* Handle and parse interpolated stringsNadrieril2019-03-142-5/+17
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-142-0/+215
| | | | | Closes #2 Closes #23
* rustfmtNadrieril2019-03-121-2/+10
|
* Handle Some and None builtinsNadrieril2019-03-121-1/+10
| | | | Closes #19
* Fix List/fold implementationNadrieril2019-03-111-4/+4
|
* Normalize lazilyNadrieril2019-03-111-166/+212
| | | | Closes #7