summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-21Reorganize dhall_core a bitNadrieril1-1/+1
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-1/+1
2019-03-17Use Rc consistently everywhereNadrieril1-3/+4
2019-03-09Obey clippy lintsNadrieril1-2/+2
2019-03-09Remove the pervasive Label type parameterNadrieril1-1/+1
2019-03-09Use new Label type everywhereNadrieril1-3/+2
2019-03-09Use new Label type instead of &str in parserNadrieril1-2/+2
2019-03-09First import works !Nadrieril1-1/+2
2019-03-08Rename Expr back to its true nameNadrieril1-1/+1
2019-03-08Finally get rid of all the &'i strNadrieril1-1/+1
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-1/+1
2019-03-06Finally get rid of old parserNadrieril1-28/+2
2019-03-06Start parsing importsNadrieril1-3/+1
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-8/+27
2019-03-02Add parser/failure tests from specNadrieril1-1/+1
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+0
2019-02-27Add one test from the specNadrieril1-17/+2
2019-02-27Switch to Rust 2018 editionNadrieril1-7/+5
2019-02-27Revert "Try to update to latest nom"Nadrieril1-1/+1
2019-02-27Try to update to latest nomNadrieril1-1/+1
2019-02-27Update dependenciesNadrieril1-1/+2
2017-09-08fixed some clippy warningsAndre Bogus1-3/+3
2017-03-10Start implementing error explanationsNanoTech1-23/+28
2017-03-10Implement more list functionsNanoTech1-0/+2
2017-03-10normalize: Take the input Expr by referenceNanoTech1-1/+1
2017-03-10impl Display for ExprNanoTech1-1/+10
2017-03-10Begin implementing type checkingNanoTech1-7/+13
2017-03-10Colored error messagesNanoTech1-9/+38
2017-03-10rustc-style error messagesNanoTech1-3/+29
2017-03-10Print some error contextNanoTech1-2/+8
2017-03-10Read and parse stdinNanoTech1-3/+6