Reorganize test cases

Some test case results were leftover from deleted test cases. Other test cases that were intended to fail actually succeed with the changes to the code that have been made since.
Beluga-lang · Aug 5, 2023 · e3254fc · e3254fc
1 parent 152bbe1
commit e3254fc
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 23 deletions.
diff --git a/.admissible-fail b/.admissible-fail
@@ -7,7 +7,6 @@
 ./t/interactive/test_split/meta_3.1.bel
 ./t/interactive/test_printhole-lf.bel
 ./t/interactive/test_split/deptypes.bel
-./t/interactive/test_split/sn2.bel
 ./t/interactive/test_split/sn3.bel
 ./t/interactive/test_split/sn-full.bel
 ./t/harpoon/nats_and_bools_tps_auto_invert.input
diff --git a/t/code/error/funpat2.bel.out b/t/code/error/funpat2.bel.out
diff --git a/t/code/error/ifguard.bel.out b/t/code/error/ifguard.bel.out
diff --git a/t/code/error/modules/module_type1 b/t/code/error/modules/module_type1
diff --git a/t/code/error/modules/module_type1.bel.out b/t/code/error/modules/module_type1.bel.out
diff --git a/t/code/error/stratify/alg-equal-ctxrel.bel.out b/t/code/error/stratify/alg-equal-ctxrel.bel.out
diff --git a/t/code/success/base/trec.bel.out b/t/code/success/base/trec.bel.out
diff --git a/t/code/error/coverage/match-param2.bel → t/code/success/coverage/match-param.bel b/t/code/error/coverage/match-param2.bel → t/code/success/coverage/match-param.bel
diff --git a/t/code/error/implicitctx.bel → t/code/success/implicitctx.bel b/t/code/error/implicitctx.bel → t/code/success/implicitctx.bel
@@ -17,9 +17,6 @@ LF list:type =
 | cons: tm -> list -> list
 ;
 
-
-
-%Implicit type/context args e.g.(g:tctx) doesn't work on ctype
 inductive LSiz:(g:tctx) [g |- list] -> [ |- nat] -> ctype =
 | EmpSiz: LSiz [g |- nil] [ |- zero]
 | SucSiz: LSiz [g |- L] [ |- N] -> LSiz [g |- cons X L] [ |- succ N]

diff --git a/t/code/error/subst-vars-simple.bel → t/code/success/subst-vars-simple.bel b/t/code/error/subst-vars-simple.bel → t/code/success/subst-vars-simple.bel
diff --git a/t/code/error/subst-vars-simple1.bel → t/code/success/subst-vars-simple1.bel b/t/code/error/subst-vars-simple1.bel → t/code/success/subst-vars-simple1.bel