summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-11Fix List/fold implementationNadrieril1-4/+4
2019-03-11Normalize lazilyNadrieril1-166/+212
2019-03-09Considerably simplify typecheck using dhall_expr!()Nadrieril1-96/+50
2019-03-09Obey clippy lintsNadrieril5-6/+10
2019-03-09Remove the pervasive Label type parameterNadrieril4-90/+64
2019-03-09Use new Label type everywhereNadrieril4-85/+61
2019-03-09Use new Label type instead of &str in parserNadrieril2-3/+3
2019-03-09A whole new bunch of tests now pass !Nadrieril2-1/+2
2019-03-09Rename dhall! to dhall_expr! for clarityNadrieril1-5/+5
2019-03-09Recursive imports work !Nadrieril1-2/+2
2019-03-09rustfmtNadrieril1-16/+34
2019-03-09First import works !Nadrieril3-51/+85
2019-03-08Clean up some of the messNadrieril2-24/+17
2019-03-08Rename Expr back to its true nameNadrieril5-83/+83
2019-03-08Finally get rid of all the &'i strNadrieril4-106/+111
2019-03-08Make labels non-CopyNadrieril2-8/+8
2019-03-08rustfmtNadrieril1-1/+1
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril4-80/+103
2019-03-08Generalise Context on its type of keysNadrieril1-4/+4
2019-03-08Make Expr generic in its type of labelsNadrieril2-4/+5
2019-03-07Make test harness less macro-yNadrieril1-0/+46
2019-03-06rustfmtNadrieril3-35/+46
2019-03-06Finally get rid of old parserNadrieril1-28/+2
2019-03-06Start parsing importsNadrieril4-5/+14
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril4-2/+186
2019-03-06rustfmtNadrieril1-1/+1
2019-03-06Move context to dhall_coreNadrieril3-58/+1
2019-03-06Split-off normalization into its own crateNadrieril2-1/+3
2019-03-06Split-off core into its own crateNadrieril8-2611/+8
2019-03-06rustfmtNadrieril7-291/+535
2019-03-06Implement normalization for some more builtinsNadrieril1-5/+16
2019-03-06rustfmtNadrieril1-167/+292
2019-03-06Add missing builtinsNadrieril1-9/+27
2019-03-05Merge binary operations in ASTNadrieril4-126/+106
2019-03-05Use core aliases for number typesNadrieril1-3/+4
2019-03-05Parse doublesNadrieril1-0/+16
2019-03-05Add literal_expression_raw backNadrieril1-29/+28
2019-03-05Remove all external calls to match_pestNadrieril1-23/+25
2019-03-05Rewrite most parse rules using rule!Nadrieril1-174/+225
2019-03-05Improve the ergonomics of matchingNadrieril1-43/+41
2019-03-05Implement more flexible matchingNadrieril1-95/+106
2019-03-05Fix error handling in macrosNadrieril1-2/+2
2019-03-05Remove @get_err entrypoints from macrosNadrieril1-37/+20
2019-03-05Prepare for more flexible matching in match_children!Nadrieril1-19/+58
2019-03-05Split branching from typing in match_children!Nadrieril1-31/+49
2019-03-05Parse single quote literalsNadrieril1-17/+54
2019-03-05Extract non-parser-specific behavior from match_children!Nadrieril1-63/+126
2019-03-05Improve error handling in match_children!Nadrieril1-15/+28
2019-03-05Allow empty match in match_children!Nadrieril2-3/+8
2019-03-05Fix in match_iter error handlingNadrieril1-1/+4