summaryrefslogtreecommitdiff
path: root/dhall/src/phase/resolve.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Generate import tests automaticallyNadrieril2019-11-111-47/+0
* Run `cargo fmt`Nadrieril2019-11-111-46/+48
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-061-19/+22
|\
| * Resolve imports by mutating Expr instead of cloning itNadrieril2019-09-031-19/+22
* | Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...Fintan Halpenny2019-09-061-1/+0
|\ \
| * | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-031-1/+0
| |\|
* | | Move Canonicalize into resolve.Fintan Halpenny2019-09-031-0/+70
|/ /
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-021-13/+21
|\|
| * Rework test harness to prepare for new types of testsNadrieril2019-08-301-2/+11
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-2/+2
| * Reduce api surface of dhall crateNadrieril2019-08-161-4/+4
| * Disable some unused unstable featuresNadrieril2019-08-151-2/+1
| * Implement inline headers parsingNadrieril2019-08-131-4/+4
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-4/+15
|\|
| * Update dhall-lang submoduleNadrieril2019-08-071-0/+3
| * Remove an annoying redundancy in the test harnessNadrieril2019-08-071-2/+2
| * Add some new tests and implement import alternativesNadrieril2019-08-061-2/+2
| * Update dhall-lang submoduleNadrieril2019-08-061-0/+2
| * Inline headersNadrieril2019-08-061-0/+6
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-5/+6
|/
* Include success or failure prefix in test filteringNadrieril2019-05-121-2/+2
* Implement binary encodingNadrieril2019-05-121-0/+1
* Make visibilities more consistentNadrieril2019-05-091-3/+3
* Consolidate errors in the error moduleNadrieril2019-05-061-9/+2
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+139