diff options
author | Nadrieril | 2020-02-05 18:33:18 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-05 18:33:18 +0000 |
commit | 853807b68a8ec8928a4d497fc7ce2b3676036eed (patch) | |
tree | f4f9701a72d0989a0d1ae7c07acb7a95d789d905 /dhall/build.rs | |
parent | de7664d9dda95dd16742bc30e16a967c43d687ee (diff) |
Normalize toMap
Diffstat (limited to '')
-rw-r--r-- | dhall/build.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index ab709b8..b6c30be 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -260,10 +260,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/RecordProjectionByTypeNormalizeProjection" // TODO: fix Double/show || path == "prelude/JSON/number/1" - // TODO: toMap - || path == "unit/EmptyToMap" - || path == "unit/ToMap" - || path == "unit/ToMapWithType" // TODO: Further record simplifications || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0" || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1" |