diff options
author | Nadrieril | 2020-03-04 21:54:34 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 104a8a4a0632ee69e642521ea03239af88366346 (patch) | |
tree | 4e5c28561d449eb397ccb1be0754e6cc8bb5f509 /dhall/build.rs | |
parent | 31cefbdf0364a3d224420365049885051734669b (diff) |
Implement conservative sanity checking
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 4bd56a3..4b6e52b 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -274,8 +274,6 @@ fn generate_tests() -> std::io::Result<()> { false // TODO: import hash || path == "hashMismatch" - // TODO: remote imports CORS/sanity check - || path == "referentiallyInsane" // TODO: import headers || path == "customHeadersUsingBoundVariable" }), |