summaryrefslogtreecommitdiff
path: root/dhall/src/phase/resolve.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-180/+0
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-4/+4
|
* 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 Halpenny2019-09-061-1/+0
|\ \ | | | | | | | | | fintan/canonicalize
| * | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-031-1/+0
| |\|
* | | Move Canonicalize into resolve.Fintan Halpenny2019-09-031-0/+70
|/ / | | | | | | Rename File to FilePath and have more consistent naming.
* | 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
| | | | | | | | For clarity, and consistency with Value
| * Reduce api surface of dhall crateNadrieril2019-08-161-4/+4
| | | | | | | | Helps detect unused code
| * 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
|/ | | | | | | | | | where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
* Include success or failure prefix in test filteringNadrieril2019-05-121-2/+2
|
* Implement binary encodingNadrieril2019-05-121-0/+1
| | | | Closes #39
* 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