Skip to content

Latest commit

 

History

History
383 lines (297 loc) · 6.52 KB

File metadata and controls

383 lines (297 loc) · 6.52 KB

I/O List

** -*- koshu -*-

|== A : id --unknown

Command koshu abort-assert.k exits with 2 and produces:

**
**  ABORTED  Unknown option
**  -------- ---------------------- ---------
**  Detail   Unknown parameter name
**           unknown
**
**  Source   3.0 abort-assert.k
**             |== A : id --unknown .. assert
**
**  Command  koshu
**           abort-assert.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : source /x /y

Command koshu abort-attr.k exits with 2 and produces:

**
**  ABORTED  Unexpected attribute
**  -------- ---------------------- ---------
**  Detail   Require one word
**
**  Source   3.15 abort-attr.k
**             |== A : source
**                 /x /y            .. attr
**
**           3.8 abort-attr.k
**             |== A :
**                 source /x /y     .. relmap
**
**           3.0 abort-attr.k
**             |== A : source /x /y .. assert
**
**  Command  koshu
**           abort-attr.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : add /x ( <1> and
               ( <0> or 0 ))

Command koshu abort-calc.k exits with 2 and produces:

**
**  ABORTED  Type unmatch
**  -------- -------------------------- ---------
**  Detail   decimal
**
**  Source   3.8 abort-calc.k
**             |== A :
**                 add /x ( <1> and     .. run
**
**           3.0 abort-calc.k
**             |== A : add /x ( <1> and .. assert
**
**  Command  koshu
**           abort-calc.k
**
**  Exit with status 2
**
** -*- koshu -*-

| A : add /x 0

Command koshu abort-clause.k exits with 2 and produces:

**
**  ABORTED  Unknown clause
**  -------- ------------------ ---------
**  Source   3.0 abort-clause.k
**             | A : add /x 0   .. clause
**
**  Command  koshu
**           abort-clause.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : meet meet

Command koshu abort-lexmap.k exits with 2 and produces:

**
**  ABORTED  Unexpected attribute
**  -------- --------------------- ---------
**  Detail   Require one attribute
**
**  Source   3.13 abort-lexmap.k
**             |== A : meet
**                 meet            .. lexmap
**
**           3.8 abort-lexmap.k
**             |== A :
**                 meet meet       .. lexmap
**
**           3.0 abort-lexmap.k
**             |== A : meet meet   .. assert
**
**  Command  koshu
**           abort-lexmap.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : add /x ( /y )

Command koshu abort-position.k exits with 2 and produces:

**
**  ABORTED  Unknown term name
**  -------- ----------------------- ---------------
**  Detail   Unknown
**             /y
**           in the terms
**             (no terms)
**
**  Source   3.17 abort-position.k
**             |== A : add /x (
**                 /y )              .. cox-position
**
**           3.8 abort-position.k
**             |== A :
**                 add /x ( /y )     .. run
**
**           3.0 abort-position.k
**             |== A : add /x ( /y ) .. assert
**
**  Command  koshu
**           abort-position.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : source R /x /y
      | check-term -has /x -but /z

Command koshu abort-relmap.k exits with 2 and produces:

**
**  ABORTED  Unmatch any patterns
**  -------- ------------------------------ ---------
**  Detail   Unknown -but -has
**           Unknown -but
**           Unknown -has
**
**  Source   4.8 abort-relmap.k
**             |
**               check-term -has /x -but /z .. lexmap
**
**           3.8 abort-relmap.k
**             |== A :
**                 source R /x /y           .. lexmap
**
**           3.0 abort-relmap.k
**             |== A : source R /x /y       .. assert
**
**  Command  koshu
**           abort-relmap.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : keep 1

Command koshu abort-run.k exits with 2 and produces:

**
**  ABORTED  Require Boolean
**  -------- ---------------- ---------
**  Source   3.8 abort-run.k
**             |== A :
**                 keep 1     .. run
**
**           3.0 abort-run.k
**             |== A : keep 1 .. assert
**
**  Command  koshu
**           abort-run.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : source R /x /y
      | rename /x /a /y /b

Command koshu abort-specialize.k exits with 2 and produces:

**
**  ABORTED  Unknown term name
**  -------- ------------------------ -------------
**  Detail   Unknown
**             /a
**             /b
**           in the terms
**             /x
**             /y
**
**  Source   4.8 abort-specialize.k
**             |
**               rename /x /a /y /b   .. specialize
**
**           3.0 abort-specialize.k
**             |== A : source R /x /y .. assert
**
**  Command  koshu
**           abort-specialize.k
**
**  Exit with status 2
**
** -*- koshu -*-

|== A : add /x 0
      | add /y ( if /x = 0 ->
                 ( if 1 -> 2 -> 3 ))

Command koshu abort-syntax.k exits with 2 and produces:

**
**  ABORTED  Unexpected attribute
**  -------- ------------------------- -------------
**  Detail   Expect E -> E
**
**  Source   5.22 abort-syntax.k
**             ( if
**                 1 -> 2 -> 3 ))      .. if
**
**           5.17 abort-syntax.k
**             ( if 1 -> 2 -> 3 ))     .. cox-syntax
**
**           4.15 abort-syntax.k
**             | add /y
**                 ( if /x = 0 ->      .. cox-syntax
**
**           4.8 abort-syntax.k
**             |
**               add /y ( if /x = 0 -> .. relmap
**
**           3.0 abort-syntax.k
**             |== A : add /x 0        .. assert
**
**  Command  koshu
**           abort-syntax.k
**
**  Exit with status 2
**

command

This document is produced by the command:

koshu-inout.sh -r -g koshu