Failing test checklist

[jacobpake]

Collecting all of the failing tests in one place, plan to link each to an issue

To do

• frontend/tests/cases/positive/indexed/infer-kinds.gr Coeffect Kind inferrence #299
• frontend/tests/cases/positive/security/level_pos3.gr level_pos3.gr test failure #314
• frontend/tests/cases/rewrite/split-in-box.gr split-in-box.gr rewrite test error #313
• frontend/tests/cases/synthesis/graded-base/list/drop.gr Synthesis and rewriter tests #281
• frontend/tests/cases/synthesis/graded-base/misc/either.gr Synthesis and rewriter tests #281
• examples/effects_nondet.gr Effect / Set failures, incomplete quantifiers #312
• examples/effects_state.gr Effect / Set failures, incomplete quantifiers #312
• frontend/tests/cases/positive/effect-handlers/effects_state.gr Effect / Set failures, incomplete quantifiers #312

Done

• tests/hspec/Language/Granule/Synthesis/SynthSpec.hs:161:13 One test for granule-frontend fails in 0.9.5.0 #240
• examples/Capabilities.gr examples/Capabilities.gr doesn't typecheck #262
• examples/set.gr
• examples/uniqueness.gr
• frontend/tests/cases/positive/graded/sets-ordering.gr
• frontend/tests/cases/positive/graded/sets.gr
• frontend/tests/cases/positive/unique/copyUniqueArray.gr Drop on floatArray is missing runtime support. #265
• frontend/tests/cases/rewrite/head.gr