From 13d6d67d83592c702e643f900c905d1199d7d4d4 Mon Sep 17 00:00:00 2001 From: Craig Roy Date: Tue, 9 Jul 2024 14:41:45 +0100 Subject: [PATCH] [tests] Remove XFail on pass.brat It doesn't import from lib.kernel anymore, isn't victim to #13 --- brat/test/Test/Compile/Hugr.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/brat/test/Test/Compile/Hugr.hs b/brat/test/Test/Compile/Hugr.hs index fba20f18..c64de26b 100644 --- a/brat/test/Test/Compile/Hugr.hs +++ b/brat/test/Test/Compile/Hugr.hs @@ -25,7 +25,7 @@ outputDir = prefix "output" -- examples that we expect to compile, but then to fail validation invalidExamples :: [FilePath] -invalidExamples = map ((++ ".brat") . ("examples" )) ["pass", "thunks"] +invalidExamples = map ((++ ".brat") . ("examples" )) ["thunks"] -- examples that we expect not to compile -- Note this includes those with remaining holes; it would be better