summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-06Only need to store OpKind in NirNadrieril2-82/+77
2020-04-06Fix normalization bugNadrieril1-49/+49
2020-04-06oopsNadrieril1-1/+1
2020-04-06Avoid a few allocationsNadrieril2-16/+20
2020-04-06Factor our operations in normalizationNadrieril2-300/+257
2020-04-06Factor out operations in typecheckNadrieril2-417/+438
2020-04-06Split off operations from main expr enumNadrieril11-353/+424
2020-04-05Fix import bugNadrieril2-15/+12
2020-04-05Check code hashes in importNadrieril6-18/+55
2020-04-05Add semantic-hash testsNadrieril3-1/+32
2020-04-05Release dhall version 0.5.0Nadrieril2-2/+2
2020-04-05Release abnf_to_pest version 0.5.0Nadrieril1-1/+1
2020-04-05Setup cargo-releaseNadrieril1-1/+2
2020-04-05Fix clippy warningsNadrieril3-9/+9
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-1/+1
2020-03-31Ensure version numbers are kept in syncNadrieril2-0/+5
2020-03-31Introduce option builderNadrieril4-6/+15
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril3-230/+4
2020-03-31Brutally make all of dhall pubNadrieril28-124/+125
2020-03-31Revert "Start overengineering SimpleVal/Ty"Nadrieril1-120/+31
2020-03-31Start overengineering SimpleVal/TyNadrieril1-31/+120
2020-03-31Nir::normalize isn't usefulNadrieril4-90/+3
2020-03-31Improve handling of builtin types in NirNadrieril5-86/+66
2020-03-31Move conversion to SimpleVal/Ty to simple moduleNadrieril3-84/+84
2020-03-31Use dhall::Value more in serdeNadrieril1-1/+1
2020-03-31Remove top-level Expr aliasesNadrieril8-45/+32
2020-03-31Rename LitKind to NumKindNadrieril11-101/+101
2020-03-31Limit dependency on NormalizedNadrieril2-84/+42
2020-03-31Remove Normalized and friends from public APINadrieril3-31/+20
2020-03-31Add new Value type in APINadrieril2-6/+62
2020-03-31Add SimpleType to mirror SimpleValueNadrieril3-3/+103
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril3-2/+71
2020-03-31Fix indexing for spans that go to the end of the inputNadrieril1-5/+7
2020-03-31Upgrade annotate-snippets versionNadrieril114-124/+116
2020-03-20Add coverage gathering with grcovNadrieril2-9/+19
2020-03-20Reduce duplication in build.rsNadrieril1-37/+40
2020-03-20Remove more unnecessary parens in printerNadrieril20-27/+52
2020-03-20Commit output of printerNadrieril242-38/+289
2020-03-20Parse RFC3986 URLsNadrieril5-28/+27
2020-03-18Update to latest pest_consume to remove spurious clippy warningNadrieril1-1/+0
2020-03-18Cut releaseNadrieril2-2/+2
2020-03-17Remove never_type featureNadrieril4-19/+19
2020-03-17Upgrade some dependenciesNadrieril1-3/+3
2020-03-17Run clippyNadrieril17-128/+177
2020-03-17Circumvent weird rustfmt inconsistencyNadrieril1-2/+5
2020-03-12Upstream the `with` grammar tweakNadrieril3-15/+2
2020-03-11Implement record punsNadrieril6-2/+16
2020-03-10Upstream all local testsNadrieril148-201/+3
2020-03-10Add support for `with` keywordNadrieril8-4/+68
2020-03-05Forgot to commit test outputNadrieril1-0/+1