summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2020-01-24 21:32:48 +0000
committerNadrieril2020-01-24 21:32:48 +0000
commit9e9b556ee2212540ba43d85249df8c763aa6da2b (patch)
treee1b3f7657e560ca8aebc1833c60b24ed5f3a3705 /dhall
parenta24f2d1367b2848779014c7bb3ecfe6bfbcff7d7 (diff)
Postpone fixing Foo/build builtins
Diffstat (limited to '')
-rw-r--r--dhall/build.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index c95a26d..ed8d98b 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -276,6 +276,13 @@ fn generate_tests() -> std::io::Result<()> {
// TODO: record completion
|| path == "simple/completion"
|| path == "unit/Completion"
+ // TODO: fix variables in Foo/build
+ || path == "unit/ListBuildFoldFusion"
+ || path == "unit/ListBuildImplementation"
+ || path == "unit/NaturalBuildFoldFusion"
+ || path == "unit/NaturalBuildImplementation"
+ || path == "unit/OptionalBuildFoldFusion"
+ || path == "unit/OptionalBuildImplementation"
}),
input_type: FileType::Text,
output_type: Some(FileType::Text),