diff options
| m--------- | dhall-lang | 0 | ||||
| -rw-r--r-- | dhall/build.rs | 1 | ||||
| -rw-r--r-- | dhall/src/phase/resolve.rs | 3 |
3 files changed, 4 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject 95dd43037ce516907b0919a6cf2e8a9089b67f7 +Subproject 9f259cd68870b912fbf2f2a08cd63dc3ccba9dc diff --git a/dhall/build.rs b/dhall/build.rs index 29e86e3..b6df3d0 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -259,6 +259,7 @@ fn main() -> std::io::Result<()> { || path == "success/unit/RecordProjectionByTypeJudgmentalEquality" // TODO: toMap || path == "success/unit/ToMap" + || path == "success/unit/ToMapAnnotated" }, )?; diff --git a/dhall/src/phase/resolve.rs b/dhall/src/phase/resolve.rs index 0b29513..abcee7e 100644 --- a/dhall/src/phase/resolve.rs +++ b/dhall/src/phase/resolve.rs @@ -125,12 +125,15 @@ mod spec_tests { // import_success!(success_alternativeHashMismatch, "alternativeHashMismatch"); // import_success!(success_alternativeNatural, "alternativeNatural"); // import_success!(success_alternativeParseError, "alternativeParseError"); + // import_success!(success_alternativeTypeError, "alternativeTypeError"); + // import_success!(success_asLocation, "asLocation"); // import_success!(success_asText, "asText"); // import_success!(success_customHeaders, "customHeaders"); import_success!(success_fieldOrder, "fieldOrder"); // note: this one needs special setup with env variables // import_success!(success_hashFromCache, "hashFromCache"); // import_success!(success_headerForwarding, "headerForwarding"); + // import_success!(success_nestedHash, "nestedHash"); // import_success!(success_noHeaderForwarding, "noHeaderForwarding"); // import_failure!(failure_alternativeEnv, "alternativeEnv"); // import_failure!(failure_alternativeEnvMissing, "alternativeEnvMissing"); |