concept-partial-fail: test slice failure

Author: keiravillekode

Dockerfile

@@ -33,7 +33,7 @@ RUN sed -i 's#-i="\$BOOT_IMAGE"#-i="$BOOT_IMAGE" -exclude="'"${FACTOR_EXCLUDE}"'
 RUN ./build.sh net-bootstrap
 
 # Precompile tools.test AND the common exercise vocabs into factor.image, then re-save it.
-RUN ./factor -e='USING: accessors arrays ascii assocs bit-arrays calendar calendar.english circular combinators combinators.short-circuit command-line concurrency.combinators concurrency.locks continuations debugger deques destructors disjoint-sets dlists formatting fry generic grouping hash-sets hashtables heaps infix io io.encodings.utf8 io.files io.streams.string kernel lexer locals macros make math math.bitwise math.combinatorics math.constants math.functions math.order math.parser math.primes math.statistics namespaces pair-rocket prettyprint.config quotations qw random random.mersenne-twister ranges regexp sequences sequences.repeating sets sorting source-files.errors.debugger splitting splitting.monotonic strings system tools.test tr typed unicode vectors vocabs vocabs.loader memory ; save'
+RUN ./factor -e='USING: accessors arrays ascii assocs bit-arrays calendar calendar.english circular combinators combinators.short-circuit command-line concurrency.combinators concurrency.locks continuations debugger deques destructors disjoint-sets dlists formatting fry generic grouping hash-sets hashtables heaps infix inspector io io.encodings.utf8 io.files io.streams.string kernel lexer locals macros make math math.bitwise math.combinatorics math.constants math.functions math.order math.parser math.primes math.statistics namespaces pair-rocket prettyprint.config quotations qw random random.mersenne-twister ranges regexp sequences sequences.repeating sets sorting source-files.errors.debugger splitting splitting.monotonic strings system tools.test tr typed unicode vectors vocabs vocabs.loader memory ; save'
 
 # Remove files not needed at runtime
 RUN rm -rf .git build vm src misc Factor.app \

tests/concept-partial-fail/concept-partial-fail/concept-partial-fail-tests.factor

@@ -11,3 +11,8 @@ STOP-HERE
 TASK: 2 cubing
 { 27 } [ "cubing 3" print 3 cube ] unit-test
 { 64 } [ 4 cube ] unit-test
+
+TASK: 3 dropping the first element
+! `{ } but-first` is `{ } rest`, which throws a slice-error. The runner must
+! report the readable summary, not a bare `T{ slice-error ... }`.
+{ { } } [ { } but-first ] unit-test

tests/concept-partial-fail/concept-partial-fail/concept-partial-fail.factor

@@ -1,6 +1,8 @@
-USING: kernel math ;
+USING: kernel math sequences ;
 IN: concept-partial-fail
 
 : square ( n -- n^2 ) dup * ;
 
 : cube ( n -- n^3 ) dup dup * + ;
+
+: but-first ( seq -- rest ) rest ;

tests/concept-partial-fail/expected_results.json

@@ -30,6 +30,13 @@
       "test_code": "{ 64 } [ 4 cube ] unit-test",
       "task_id": 2,
       "message": "=== Expected:\n64\n=== Got:\n20"
+    },
+    {
+      "name": "Test 5",
+      "status": "error",
+      "test_code": "{ { } } [ { } but-first ] unit-test",
+      "task_id": 3,
+      "message": "Cannot create slice: from > to\nfrom 1\nto   0\nseq  { }"
     }
   ]
 }