diff options
| author | Nadrieril | 2020-01-24 21:32:48 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 21:32:48 +0000 |
| commit | 9e9b556ee2212540ba43d85249df8c763aa6da2b (patch) | |
| tree | e1b3f7657e560ca8aebc1833c60b24ed5f3a3705 /dhall | |
| parent | a24f2d1367b2848779014c7bb3ecfe6bfbcff7d7 (diff) | |
Postpone fixing Foo/build builtins
Diffstat (limited to '')
| -rw-r--r-- | dhall/build.rs | 7 |
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), |