diff options
author | Nadrieril | 2019-08-07 22:25:35 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-07 22:25:35 +0200 |
commit | c2cb7d38dfec05b6337aa5dcd0dc3068e73c9a58 (patch) | |
tree | ed0b3a4e878beaf3b8e059319d6cbe343ce0961b /dhall/build.rs | |
parent | 6d166d3fe0dedb66b4302cc5fb67f696f6688b80 (diff) |
Flatten nested let bindings
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 983fcad..29e86e3 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -173,6 +173,9 @@ fn main() -> std::io::Result<()> { || path == "success/unit/recordProjectionByExpression" // TODO: test is wrong || path == "success/unit/BuiltinNaturalSubtract" + // TODO: toMap + || path == "success/unit/ToMap" + || path == "success/unit/ToMapAnnotated" }, )?; |