summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-09-20 22:09:22 +0200
committerNadrieril2019-09-20 22:09:22 +0200
commitdc725d7d6c30227b1f22ae098c224ffe49bc21d6 (patch)
tree62747d448cdb5a33dd31b2945a757dbcc25cc9cd
parent884e1456b98737e131306a6f010db95de843a9e6 (diff)
Update dhall-lang submodule
Diffstat (limited to '')
m---------dhall-lang0
-rw-r--r--dhall/build.rs52
2 files changed, 13 insertions, 39 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 7639b4ed2fd457bfa77daabfd329fea3b25581c
+Subproject 10671c80af436cfe8719863be920894853e5e8f
diff --git a/dhall/build.rs b/dhall/build.rs
index 757eed8..384de53 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -298,13 +298,20 @@ fn main() -> std::io::Result<()> {
make_test_module(
&mut file,
TestFeature {
- module_name: "typecheck_success",
- directory: spec_tests_dir.join("typecheck/success/"),
- variant: "TypecheckSuccess",
+ module_name: "type_inference_success",
+ directory: spec_tests_dir.join("type-inference/success/"),
+ variant: "TypeInferenceSuccess",
path_filter: |path: &str| {
false
// Too slow
|| path == "prelude"
+ // TODO: projection by expression
+ || path == "unit/RecordProjectionByType"
+ || path == "unit/RecordProjectionByTypeEmpty"
+ || path == "unit/RecordProjectionByTypeJudgmentalEquality"
+ // TODO: toMap
+ || path == "unit/ToMap"
+ || path == "unit/ToMapAnnotated"
},
input_type: FileType::Text,
output_type: Some(FileType::Text),
@@ -314,9 +321,9 @@ fn main() -> std::io::Result<()> {
make_test_module(
&mut file,
TestFeature {
- module_name: "typecheck_failure",
- directory: spec_tests_dir.join("typecheck/failure/"),
- variant: "TypecheckFailure",
+ module_name: "type_inference_failure",
+ directory: spec_tests_dir.join("type-inference/failure/"),
+ variant: "TypeInferenceFailure",
path_filter: |path: &str| {
false
// TODO: Enable imports in typecheck tests
@@ -339,38 +346,5 @@ fn main() -> std::io::Result<()> {
},
)?;
- make_test_module(
- &mut file,
- TestFeature {
- module_name: "type_inference_success",
- directory: spec_tests_dir.join("type-inference/success/"),
- variant: "TypeInferenceSuccess",
- path_filter: |path: &str| {
- false
- // TODO: projection by expression
- || path == "unit/RecordProjectionByType"
- || path == "unit/RecordProjectionByTypeEmpty"
- || path == "unit/RecordProjectionByTypeJudgmentalEquality"
- // TODO: toMap
- || path == "unit/ToMap"
- || path == "unit/ToMapAnnotated"
- },
- input_type: FileType::Text,
- output_type: Some(FileType::Text),
- },
- )?;
-
- make_test_module(
- &mut file,
- TestFeature {
- module_name: "type_inference_failure",
- directory: spec_tests_dir.join("type-inference/failure/"),
- variant: "TypeInferenceFailure",
- path_filter: |_path: &str| false,
- input_type: FileType::Text,
- output_type: None,
- },
- )?;
-
Ok(())
}