import TestPilot from require 'spec.test_setup'
import T, Array from require 'alv'

describe "array", ->
  test = TestPilot '', '(import* array)\n'

  svec3 = Array 3, T.str

  it "can contain any type", ->
    COPILOT\eval_once '[1 2 3]'
    COPILOT\eval_once '[true false]'
    COPILOT\eval_once '["a"]'
    COPILOT\eval_once '[[1 2] [3 4]]'

  it "cannot contain mixed types", ->
    err = assert.has.error -> COPILOT\eval_once '[1 false]'
    assert.matches "argument error: couldn't match arguments", err

  describe "(set)", ->
    it "can swap values", ->
      rt = COPILOT\eval_once '(set ["f" "b" "c"] 0 "a")'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

    it "checks value type", ->
      err = assert.has.error -> COPILOT\eval_once '(set [1] 0 "a")'
      assert.matches "expected value of type num, not str", err

    it "checks index range", ->
      err = assert.has.error -> COPILOT\eval_once '(set [1 2] -1 0)'
      assert.matches "index '%-1' out of range!", err

      COPILOT\eval_once '(set [1 2] 0 0)'

      COPILOT\eval_once '(set [1 2] 1 0)'

      err = assert.has.error -> COPILOT\eval_once '(set [1 2] 2 0)'
      assert.matches "index '2' out of range!", err

  describe "(get)", ->
    it "can get a value", ->
      rt = COPILOT\eval_once '(get [1 2] 0)'
      assert.is.true rt\is_const!
      assert.is.equal '<num= 1>', tostring rt.result

    it "checks index range", ->
      err = assert.has.error -> COPILOT\eval_once '(get [1 2] -1)'
      assert.matches "index '%-1' out of range!", err

      COPILOT\eval_once '(get [1 2] 0)'

      COPILOT\eval_once '(get [1 2] 1)'

      err = assert.has.error -> COPILOT\eval_once '(get [1 2] 2)'
      assert.matches "index '2' out of range!", err

  describe '(head)', ->
    it "can peek a value", ->
      rt = COPILOT\eval_once '(head [1 2])'
      assert.is.true rt\is_const!
      assert.is.equal '<num= 1>', tostring rt.result

  describe '(tail)', ->
    it "gets rest of an array", ->
      rt = COPILOT\eval_once '(tail [1])'
      assert.is.true rt\is_const!
      assert.is.same (Array 0, T.num), rt.result.type
      assert.is.same {}, rt.result!

      rt = COPILOT\eval_once '(tail [1 2])'
      assert.is.true rt\is_const!
      assert.is.same (Array 1, T.num), rt.result.type
      assert.is.same { 2 }, rt.result!

      rt = COPILOT\eval_once '(tail [1 2 3 4])'
      assert.is.true rt\is_const!
      assert.is.same (Array 3, T.num), rt.result.type
      assert.is.same { 2, 3, 4 }, rt.result!

  describe '(prepend)', ->
    it "prepends to array", ->
      rt = COPILOT\eval_once '(prepend [2] 1)'
      assert.is.true rt\is_const!
      assert.is.same (Array 2, T.num), rt.result.type
      assert.is.same { 1, 2 }, rt.result!

      rt = COPILOT\eval_once '(prepend [2 3 4] 1)'
      assert.is.true rt\is_const!
      assert.is.same (Array 4, T.num), rt.result.type
      assert.is.same { 1, 2, 3, 4 }, rt.result!

  describe "(insert)", ->
    it "can insert a value", ->
      rt = COPILOT\eval_once '(insert ["b" "c"] 0 "a")'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

      rt = COPILOT\eval_once '(insert ["a" "c"] 1 "b")'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

      rt = COPILOT\eval_once '(insert ["a" "b"] 2 "c")'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

    it "checks index range", ->
      err = assert.has.error -> COPILOT\eval_once '(insert [1 2] -1 0)'
      assert.matches "index '%-1' out of range!", err

      COPILOT\eval_once '(insert [1 2] 0 0)'

      COPILOT\eval_once '(insert [1 2] 1 0)'

      COPILOT\eval_once '(insert [1 2] 2 0)'

      err = assert.has.error -> COPILOT\eval_once '(insert [1 2] 3 0)'
      assert.matches "index '3' out of range!", err

  describe "(remove)", ->
    it "can remove a value", ->
      rt = COPILOT\eval_once '(remove ["d" "a" "b" "c"] 0)'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

      rt = COPILOT\eval_once '(remove ["a" "b" "c" "d"] 3)'
      assert.is.true rt\is_const!
      assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

    it "checks index range", ->
      err = assert.has.error -> COPILOT\eval_once '(remove [1 2 3] -1)'
      assert.matches "index '%-1' out of range!", err

      err = assert.has.error -> COPILOT\eval_once '(remove [1 2 3] 3)'
      assert.matches "index '3' out of range!", err

  it "can be concatenated with (concat)", ->
    rt = COPILOT\eval_once '(concat ["a" "b"] ["c"])'
    assert.is.true rt\is_const!
    assert.is.equal svec3\mk_const({ 'a', 'b', 'c' }), rt.result

  it "size can be read using (size)", ->
    rt = COPILOT\eval_once '(size [1])'
    assert.is.true rt\is_const!
    assert.is.equal '<num= 1>', tostring rt.result

    rt = COPILOT\eval_once '(size [1 2 3])'
    assert.is.true rt\is_const!
    assert.is.equal '<num= 3>', tostring rt.result