summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Parse a lot more of the import typesNadrieril2019-03-223-17/+91
|
* Improve binary decoding errorsNadrieril2019-03-221-14/+25
|
* Improve import handling in parserNadrieril2019-03-215-6/+44
|
* rustfmtNadrieril2019-03-211-11/+3
|
* Follow the spec for handling DoublesNadrieril2019-03-212-2/+2
|
* 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-214-7/+7
|
* Make parser implementation non-recursiveNadrieril2019-03-201-16/+1
|
* Cleanup parser codeNadrieril2019-03-201-1/+1
|
* Obsolete old parser macros; performance is now deadNadrieril2019-03-201-1/+1
|
* Handle simple parsing cases with new macrosNadrieril2019-03-201-1/+1
|
* rustfmtNadrieril2019-03-192-15/+21
|
* Test printer in parser testsNadrieril2019-03-191-0/+5
| | | | Closes #30
* Add travis integrationNadrieril2019-03-192-11/+18
|
* Implement a few more primitivesNadrieril2019-03-183-38/+65
|
* Split List literal between empty and non-emptyNadrieril2019-03-184-32/+41
|
* 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-184-241/+88
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-13/+13
|
* Use Rc consistently everywhereNadrieril2019-03-175-436/+554
|
* 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
* Split different tests features into their own filesNadrieril2019-03-154-238/+241
|
* Rework test harnessNadrieril2019-03-152-591/+594
|
* Update spec submodule and add new testsNadrieril2019-03-151-1/+172
|
* Handle and parse interpolated stringsNadrieril2019-03-145-13/+30
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-145-11/+237
| | | | | Closes #2 Closes #23
* rustfmtNadrieril2019-03-121-2/+10
|
* Handle Some and None builtinsNadrieril2019-03-122-33/+42
| | | | Closes #19
* Greatly reduce parser stack usageNadrieril2019-03-121-1/+1
|
* Fix stack overflows in prelude testsNadrieril2019-03-111-4/+4
| | | | Closes #5
* Fix List/fold implementationNadrieril2019-03-112-16/+14
|
* Update dhall-lang and reactivate prelude testsNadrieril2019-03-111-127/+127
|
* Normalize lazilyNadrieril2019-03-111-166/+212
| | | | Closes #7
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
| | | | Closes #17
* Add typecheck testsNadrieril2019-03-092-0/+178
| | | | Closes #4
* Obey clippy lintsNadrieril2019-03-095-6/+10
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-095-93/+65
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-095-88/+64
|
* Use new Label type instead of &str in parserNadrieril2019-03-092-3/+3
|
* Disable Prelude tests for nowNadrieril2019-03-091-127/+134
|
* A whole new bunch of tests now pass !Nadrieril2019-03-093-52/+54
|