summaryrefslogtreecommitdiff
path: root/dhall_core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-18Split List literal between empty and non-emptyNadrieril2-15/+14
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-250/+100
2019-03-17Clean up some mess relating to Clone boundsNadrieril2-68/+30
2019-03-17Use Rc consistently everywhereNadrieril1-145/+139
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril2-72/+75
2019-03-16Use Box more uniformly in ASTNadrieril2-58/+58
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril2-11/+11
2019-03-15Get rid of box patternsNadrieril1-1/+0
2019-03-15Store a vec in AppNadrieril2-12/+27
2019-03-15Revert "Start rewriting parser with slice patterns"Nadrieril2-123/+30
2019-03-15Start rewriting parser with slice patternsNadrieril2-30/+123
2019-03-14rustfmtNadrieril1-5/+16
2019-03-14Handle and parse interpolated stringsNadrieril2-29/+154
2019-03-14Implement binary decodingNadrieril1-3/+3
2019-03-12rustfmtNadrieril1-16/+15
2019-03-12Handle Some and None builtinsNadrieril1-6/+18
2019-03-12Greatly reduce parser stack usageNadrieril1-74/+79
2019-03-11Add some explanatory commentsNadrieril1-0/+5
2019-03-11Fix stack overflows in prelude testsNadrieril1-37/+20
2019-03-11Normalize lazilyNadrieril1-0/+1
2019-03-10Use Rc<str> for LabelNadrieril1-6/+8
2019-03-09Obey clippy lintsNadrieril3-11/+15
2019-03-09Remove the pervasive Label type parameterNadrieril2-107/+65
2019-03-09Use new Label type everywhereNadrieril1-82/+37
2019-03-09Use new Label type instead of &str in parserNadrieril4-61/+105
2019-03-09A whole new bunch of tests now pass !Nadrieril1-65/+65
2019-03-09rustfmtNadrieril1-22/+31
2019-03-09First import works !Nadrieril2-1/+13
2019-03-08Clean up some of the messNadrieril1-2/+13
2019-03-08Rename Expr back to its true nameNadrieril3-127/+126
2019-03-08Finally get rid of all the &'i strNadrieril1-10/+10
2019-03-08Make labels non-CopyNadrieril1-96/+91
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril2-87/+186
2019-03-08Generalise Context on its type of keysNadrieril1-8/+10
2019-03-08Make Expr generic in its type of labelsNadrieril2-92/+93
2019-03-07Revert "Start moving strs in the AST"Nadrieril3-170/+166
2019-03-07Start moving strs in the ASTNadrieril3-166/+170
2019-03-06rustfmtNadrieril1-5/+3
2019-03-06Finally get rid of old parserNadrieril7-610/+22
2019-03-06Start parsing importsNadrieril3-18/+134
2019-03-06Reorder rule in parser to match grammarNadrieril1-108/+110
2019-03-06rustfmtNadrieril2-3/+11
2019-03-06Considerably remove clutter in normalizeNadrieril1-3/+68
2019-03-06Remove FailedParse variantNadrieril1-4/+0
2019-03-06Move context to dhall_coreNadrieril2-0/+57
2019-03-06Remove doctest noise from cargo testNadrieril1-0/+3
2019-03-06Split-off normalization into its own crateNadrieril1-286/+4
2019-03-06Split-off core into its own crateNadrieril8-0/+2631
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 15:17:27 +0000