summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* release: dhall version 0.10.0Nadrieril2021-02-041-1/+1
* chore: fix clippy warningsNadrieril2021-01-222-8/+6
* tweak: factor a bitNadrieril2020-12-081-24/+25
* fix: fix import ordering issueNadrieril2020-12-081-7/+7
* Soothe clippyNadrieril2020-12-071-0/+1
* Resolve imports and alternatives outside of the ast traversalNadrieril2020-12-076-130/+294
* Defer name errors to typecheckingNadrieril2020-12-074-5/+13
* Avoid storing an import before we checked its hashNadrieril2020-12-072-23/+28
* Unify `skip_resolve_expr` with normal resolutionNadrieril2020-12-076-39/+74
* Pass import results via the global contextNadrieril2020-12-074-13/+19
* Thread cx everywhere else imports are readNadrieril2020-12-077-69/+68
* Tag cx ids with the cx lifetimeNadrieril2020-12-073-19/+31
* Thread cx through normalizationNadrieril2020-12-0715-347/+395
* Thread cx through typecheckNadrieril2020-12-078-28/+65
* Improve ergonomics of `Ctxt`Nadrieril2020-12-072-55/+55
* Make global store of imports and import resultsNadrieril2020-12-074-62/+200
* An import location is not independent from the import modeNadrieril2020-12-062-117/+107
* Prepare `ImportLocation` for more fieldsNadrieril2020-12-062-38/+82
* If can return a typeBasile Henry2020-11-271-2/+2
* release: dhall version 0.9.0Nadrieril2020-11-201-1/+1
* Remove NirInternalNadrieril2020-11-032-50/+23
* Typecheck `with` using mutationNadrieril2020-11-033-45/+25
* Normalize `with` by mutation.Nadrieril2020-11-034-57/+66
* Try to keep ownership of `Nir`s when convenientNadrieril2020-11-032-55/+52
* Merge remote-tracking branch 'upstream/master' into text-replaceBasile Henry2020-11-0313-736/+328
|\
| * Handle record type properlyBasile Henry2020-11-021-1/+1
| * Inline helper functionBasile Henry2020-11-021-8/+4
| * Refactor following PR reviewBasile Henry2020-11-022-29/+20
| * Handle partially abstract withBasile Henry2020-11-011-8/+29
| * Implement normalization for With opBasile Henry2020-11-011-2/+43
| * Implement type checking for With opBasile Henry2020-11-012-31/+52
| * fix: clippyNadrieril2020-11-012-21/+18
| * feat: add location to import error messagesNadrieril2020-11-011-2/+10
| * Ensure that the hash always gets checkedNadrieril2020-11-012-19/+40
| * Typed and TypedHir are the sameNadrieril2020-11-013-33/+26
| * Untangle caching codeNadrieril2020-11-0110-661/+155
| * Store file cache in ImportEnvNadrieril2020-11-014-21/+22
| * Untangle ImportEnv::handle_importNadrieril2020-11-012-29/+37
* | Allow `Text/replace ` to support an abstract haystackBasile Henry2020-11-011-22/+28
|/
* Update annotate-snippets dependencyNadrieril2020-10-301-12/+13
* Roll our own Value for binary decodingNadrieril2020-10-301-12/+162
* Don't use serde_cbor::Value in binary encodingNadrieril2020-10-301-40/+40
* release: dhall version 0.8.0Nadrieril2020-10-281-1/+1
* No need to escape underscores in pretty-printingNadrieril2020-10-281-1/+3
* Prefer u64/i64 to usize/isizeNadrieril2020-10-283-9/+8
* Make `SimpleValue` deserializable within other typesNadrieril2020-10-271-0/+1
* Release dhall version 0.7.4Nadrieril2020-10-251-1/+1
* Refactor Text/replace evalBasile Henry2020-10-251-42/+29
* Implement Text/replaceBasile Henry2020-10-252-2/+64
* Release dhall version 0.7.2Nadrieril2020-10-241-1/+1