diff options
author | Nadrieril | 2020-04-07 11:41:46 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-07 11:41:46 +0100 |
commit | 5bf1a00fab1bb10b8e8e2b20d9c53b5c75910253 (patch) | |
tree | 2cc8b165668e5206b9c6cc09ebaf2f08ebbe8eb5 /dhall/build.rs | |
parent | 9046f2f6d3a63f907ff17afc7725183577bb1b9c (diff) |
Implement remaining record simplification
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 784ce93..893a4f9 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -308,9 +308,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "simple/integerToDouble" // TODO: fix Double/show || path == "prelude/JSON/number/1" - // TODO: Further record simplifications - || path == "simplifications/issue661" - || path == "unit/RightBiasedRecordMergeWithinRecordProjection" }), output_type: Some(FileType::Text), ..default_feature.clone() |