assertions.shk

-- Copyright (c) 2013, Jeremy Pinat.

------------------------------------------------------------------------------
--                                                                          --
--                               PARSER TESTS                               --
--                                                                          --
------------------------------------------------------------------------------

(with) "lib/test.shk"

(=> <>type) [
  length? 1 = not [abort] !?
  uncons >< << type? >< <<
]

------------------------------------------------------------------------------

                                  (test/run)
                                      [

--+-------------------------------------+-----------------------+-------------
--| Computation                         | Expectation           |-------------

  [ "1"       $parse                      [1]                   ] assert_equal
  [ "1"       $parse  <>type              :Number               ] assert_equal
  [ "12"      $parse                      [12]                  ] assert_equal
  [ "12"      $parse  <>type              :Number               ] assert_equal
  [ "-1"      $parse                      [-1]                  ] assert_equal
  [ "-1"      $parse  <>type              :Number               ] assert_equal
  [ "1_"      $parse                                            ] assert_error

  [ "0.1"     $parse                      [0.1]                 ] assert_equal
  [ "0.1"     $parse  <>type              :Number               ] assert_equal
  [ ".1"      $parse                                            ] assert_error
  [ "0."      $parse                                            ] assert_error
  [ "-.0"     $parse                                            ] assert_error

  [ "'a"      $parse                      ['a]                  ] assert_equal
  [ "'a"      $parse  <>type              :Character            ] assert_equal
  [ "'ab"     $parse                                            ] assert_error

  [ "\"a\""   $parse                      [['a]]                ] assert_equal
  [ "\"a\""   $parse  <>type              :List                 ] assert_equal
--+---------------------------------+---------------------------+-------------

                                      ]