summaryrefslogtreecommitdiff
path: root/dhall/tests/common/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-4/+1
2019-03-17Use Rc consistently everywhereNadrieril1-9/+9
2019-03-15Split different tests features into their own filesNadrieril1-1/+2
2019-03-15Rework test harnessNadrieril1-54/+30
2019-03-14Handle and parse interpolated stringsNadrieril1-3/+5
2019-03-14Implement binary decodingNadrieril1-3/+13
2019-03-12Greatly reduce parser stack usageNadrieril1-1/+1
2019-03-09Add typecheck testsNadrieril1-0/+21
2019-03-09Remove the pervasive Label type parameterNadrieril1-3/+1
2019-03-09Use new Label type everywhereNadrieril1-3/+3
2019-03-09First import works !Nadrieril1-23/+8
2019-03-08Rename Expr back to its true nameNadrieril1-1/+1
2019-03-08Finally get rid of all the &'i strNadrieril1-2/+3
2019-03-08rustfmtNadrieril1-4/+8
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-3/+3
2019-03-07Make test harness less macro-yNadrieril1-59/+80
2019-03-06Finally get rid of old parserNadrieril1-7/+2
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril1-1/+0
2019-03-06Split-off normalization into its own crateNadrieril1-0/+1
2019-03-06Split-off core into its own crateNadrieril1-0/+1
2019-03-06rustfmtNadrieril1-20/+35
2019-03-06Implement normalization for some more builtinsNadrieril1-6/+36
2019-03-05Update test listNadrieril1-1/+1
2019-03-05Allow branching in match_children! macroNadrieril1-0/+1
2019-03-03Use normalization tests to test the parser tooNadrieril1-8/+19
2019-03-03Parse more of the ASTNadrieril1-3/+2
2019-03-03Brutally increase stack sizeNadrieril1-1/+5
2019-03-03Parse more AST nodesNadrieril1-2/+5
2019-03-02Add parser/failure tests from specNadrieril1-1/+7
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-1/+1
2019-02-28Start rewriting parser in pestNadrieril1-4/+10
2019-02-27Add all normalization tests that passNadrieril1-10/+16
2019-02-27Add Natural/Show builtinNadrieril1-7/+20
2019-02-27Add one test from the specNadrieril1-0/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-03 04:04:37 +0000