diff options
author | Nadrieril | 2019-08-06 21:15:20 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-06 21:42:17 +0200 |
commit | f20970a24db223f171eac2a3752f840dbf45d72b (patch) | |
tree | 5e6da01c972ea409d002971f4666bc97000199d9 /dhall/build.rs | |
parent | b3791e91b7cb73778cc21844a6999531bf537f77 (diff) |
Auto-generate typechecking tests list
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 36 |
1 files changed, 33 insertions, 3 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 2fa63c6..c78f8f9 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -87,7 +87,7 @@ fn main() -> std::io::Result<()> { |path| { // Too slow in debug mode path == "success/largeExpression" - // TODO: Inline headers are not implemented + // TODO: Inline headers || path == "success/unit/import/parenthesizeUsing" || path == "success/unit/import/inlineUsing" // TODO: projection by expression @@ -114,7 +114,7 @@ fn main() -> std::io::Result<()> { path.starts_with("failure/") // Too slow in debug mode || path == "success/largeExpression" - // TODO: Inline headers are not implemented + // TODO: Inline headers || path == "success/unit/import/inlineUsing" // TODO: projection by expression || path == "success/recordProjectionByExpression" @@ -143,7 +143,7 @@ fn main() -> std::io::Result<()> { || path == "success/multilet" // See https://github.com/pyfisch/cbor/issues/109 || path == "success/double" - // TODO: Inline headers are not implemented + // TODO: Inline headers || path == "success/unit/import/inlineUsing" // TODO: projection by expression || path == "success/recordProjectionByExpression" @@ -184,5 +184,35 @@ fn main() -> std::io::Result<()> { |_| false, )?; + make_test_module( + &mut file, + "typecheck", + &tests_dir.join("typecheck/"), + "Typecheck", + |path| { + false + || path == "failure/importBoundary" + // TODO: Inline headers + || path == "failure/customHeadersUsingBoundVariable" + // TODO: projection by expression + || path == "failure/unit/RecordProjectionByTypeFieldTypeMismatch" + || path == "failure/unit/RecordProjectionByTypeNotPresent" + }, + )?; + + make_test_module( + &mut file, + "type_inference", + &tests_dir.join("type-inference/"), + "TypeInference", + |path| { + false + // TODO: projection by expression + || path == "success/unit/RecordProjectionByType" + || path == "success/unit/RecordProjectionByTypeEmpty" + || path == "success/unit/RecordProjectionByTypeJudgmentalEquality" + }, + )?; + Ok(()) } |