summaryrefslogtreecommitdiff
path: root/dhall_core (follow)
Commit message (Expand)AuthorAgeFilesLines
* Split List literal between empty and non-emptyNadrieril2019-03-182-15/+14
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-250/+100
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-68/+30
* Use Rc consistently everywhereNadrieril2019-03-171-145/+139
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-162-72/+75
* Use Box more uniformly in ASTNadrieril2019-03-162-58/+58
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-162-11/+11
* Get rid of box patternsNadrieril2019-03-151-1/+0
* Store a vec in AppNadrieril2019-03-152-12/+27
* Revert "Start rewriting parser with slice patterns"Nadrieril2019-03-152-123/+30
* Start rewriting parser with slice patternsNadrieril2019-03-152-30/+123
* rustfmtNadrieril2019-03-141-5/+16
* Handle and parse interpolated stringsNadrieril2019-03-142-29/+154
* Implement binary decodingNadrieril2019-03-141-3/+3
* rustfmtNadrieril2019-03-121-16/+15
* Handle Some and None builtinsNadrieril2019-03-121-6/+18
* Greatly reduce parser stack usageNadrieril2019-03-121-74/+79
* Add some explanatory commentsNadrieril2019-03-111-0/+5
* Fix stack overflows in prelude testsNadrieril2019-03-111-37/+20
* Normalize lazilyNadrieril2019-03-111-0/+1
* Use Rc<str> for LabelNadrieril2019-03-101-6/+8
* Obey clippy lintsNadrieril2019-03-093-11/+15
* Remove the pervasive Label type parameterNadrieril2019-03-092-107/+65
* Use new Label type everywhereNadrieril2019-03-091-82/+37
* Use new Label type instead of &str in parserNadrieril2019-03-094-61/+105
* A whole new bunch of tests now pass !Nadrieril2019-03-091-65/+65
* rustfmtNadrieril2019-03-091-22/+31
* First import works !Nadrieril2019-03-092-1/+13
* Clean up some of the messNadrieril2019-03-081-2/+13
* Rename Expr back to its true nameNadrieril2019-03-083-127/+126
* Finally get rid of all the &'i strNadrieril2019-03-081-10/+10
* Make labels non-CopyNadrieril2019-03-081-96/+91
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-082-87/+186
* Generalise Context on its type of keysNadrieril2019-03-081-8/+10
* Make Expr generic in its type of labelsNadrieril2019-03-082-92/+93
* Revert "Start moving strs in the AST"Nadrieril2019-03-073-170/+166
* Start moving strs in the ASTNadrieril2019-03-073-166/+170
* rustfmtNadrieril2019-03-061-5/+3
* Finally get rid of old parserNadrieril2019-03-067-610/+22
* Start parsing importsNadrieril2019-03-063-18/+134
* Reorder rule in parser to match grammarNadrieril2019-03-061-108/+110
* rustfmtNadrieril2019-03-062-3/+11
* Considerably remove clutter in normalizeNadrieril2019-03-061-3/+68
* Remove FailedParse variantNadrieril2019-03-061-4/+0
* Move context to dhall_coreNadrieril2019-03-062-0/+57
* Remove doctest noise from cargo testNadrieril2019-03-061-0/+3
* Split-off normalization into its own crateNadrieril2019-03-061-286/+4
* Split-off core into its own crateNadrieril2019-03-068-0/+2631
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 15:45:12 +0000