jssm 5.44.0 → 5.46.0

package/src/ts/tests/array_box_if_string.spec.ts

@@ -1,30 +0,0 @@
-
-import { array_box_if_string } from '../jssm_util';
-
-
-
-
-
-const testData = [
-  [ 0,         0         ],
-  [ true,      true      ],
-  [ "a",       ["a"]     ],
-  [ ["a"],     ["a"]     ],
-  [ [],        []        ],
-  [ undefined, undefined ]
-];
-
-
-
-
-
-describe('array_box_if_string/1', () => {
-
-  testData.map( ([src, dest]) =>
-    test(`${JSON.stringify(src)} generates ${JSON.stringify(dest)}`, () =>
-      expect( array_box_if_string(src) )
-        .toEqual(dest) ) );
-
-});
-
-// stochable

package/src/ts/tests/array_transitions.spec.ts

@@ -1,129 +0,0 @@
-
-/* eslint-disable max-len */
-
-import * as jssm from '../jssm';
-
-
-
-
-
-describe('Array basics', () => {
-
-
-
-  describe('array of one', () => {
-
-    const aLeft = [
-      {main_path: false,forced_only: false,"from":"a","to":"d","kind":"legal"}
-    ];
-
-    test('[a]->d;', () => expect( jssm.compile(jssm.parse('[a]->d;')).transitions ).toEqual(aLeft) );
-
-  });
-
-
-
-  describe('array of one', () => {
-
-    const aLeft = [
-      {main_path: false,forced_only: false,"from":"a","to":"d","kind":"legal"}
-    ];
-
-    test('[a]->d;', () => expect( jssm.compile(jssm.parse('[a]->d;')).transitions ).toEqual(aLeft) );
-
-  });
-
-
-
-});
-
-
-
-
-
-describe('Array sides', () => {
-
-
-
-  describe('array on left', () => {
-
-    const aLeft = [
-      {main_path: false,forced_only: false,"from":"a","to":"d","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"b","to":"d","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"c","to":"d","kind":"legal"}
-    ];
-
-    test('[a b c]->d;', () => expect( jssm.compile(jssm.parse('[a b c]->d;')).transitions ).toEqual(aLeft) );
-
-  });
-
-
-
-  describe('array on right', () => {
-
-    const aRight = [
-      {main_path: false,forced_only: false,"from":"a","to":"b","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"c","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"d","kind":"legal"}
-    ];
-
-    test('a->[b c d];', () => expect( jssm.compile(jssm.parse('a->[b c d];')).transitions ).toEqual(aRight) );
-
-  });
-
-
-
-  describe('array on both sides', () => {
-
-    const aBoth = [
-      {main_path: false,forced_only: false,"from":"a","to":"x","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"y","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"z","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"b","to":"x","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"b","to":"y","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"b","to":"z","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"c","to":"x","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"c","to":"y","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"c","to":"z","kind":"legal"}
-    ];
-
-    test('[a b c]->[x y z];', () => expect( jssm.compile(jssm.parse('[a b c]->[x y z];')).transitions ).toEqual(aBoth) );
-
-  });
-
-
-
-  describe('array in middle', () => {
-
-    const aBoth = [
-      {main_path: false,forced_only: false,"from":"a","to":"x","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"y","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"a","to":"z","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"x","to":"b","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"y","to":"b","kind":"legal"},
-      {main_path: false,forced_only: false,"from":"z","to":"b","kind":"legal"}
-    ];
-
-    test('a->[x y z]->b;', () => expect( jssm.compile(jssm.parse('a->[x y z]->b;')).transitions ).toEqual(aBoth) );
-
-  });
-
-
-
-});
-
-
-
-
-
-describe('array of zero must throw', () => {
-
-  const aLeft = [];
-
-  test('On left []->d;',      () => expect( () => jssm.compile( jssm.parse('[]->d;')    ).transitions ).toThrow() );
-  test('On right d->[];',     () => expect( () => jssm.compile( jssm.parse('d->[];')    ).transitions ).toThrow() );
-  test('On both []->[];',     () => expect( () => jssm.compile( jssm.parse('[]->[];')   ).transitions ).toThrow() );
-  test('In middle d->[]->e;', () => expect( () => jssm.compile( jssm.parse('d->[]->e;') ).transitions ).toThrow() );
-  test('In loop d->[]->d;',   () => expect( () => jssm.compile( jssm.parse('d->[]->d;') ).transitions ).toThrow() );
-
-});

package/src/ts/tests/arrow unicode.spec.ts

@@ -1,88 +0,0 @@
- /* eslint-disable max-len */
-
-import * as jssm from '../jssm';
-
-
-
-
-
-test.todo('Re-enable the unicode arrow blocks once we work that into the machine');
-
-// describe('arrow_direction', () => {
-
-//   test('verify ←', () => expect(jssm.arrow_direction('←')).toBe('left'));
-//   test('verify ⇐', () => expect(jssm.arrow_direction('⇐')).toBe('left'));
-//   test('verify ↚', () => expect(jssm.arrow_direction('↚')).toBe('left'));
-
-//   test('verify →', () => expect(jssm.arrow_direction('→')).toBe('right'));
-//   test('verify ⇒', () => expect(jssm.arrow_direction('⇒')).toBe('right'));
-//   test('verify ↛', () => expect(jssm.arrow_direction('↛')).toBe('right'));
-
-//   test('verify ↔', () => expect(jssm.arrow_direction('↔')).toBe('both'));
-//   test('verify ⇔', () => expect(jssm.arrow_direction('⇔')).toBe('both'));
-//   test('verify ↮', () => expect(jssm.arrow_direction('↮')).toBe('both'));
-
-//   test('verify ←⇒', () => expect(jssm.arrow_direction('←⇒')).toBe('both'));
-//   test('verify ⇐→', () => expect(jssm.arrow_direction('⇐→')).toBe('both'));
-//   test('verify ←↛', () => expect(jssm.arrow_direction('←↛')).toBe('both'));
-//   test('verify ↚→', () => expect(jssm.arrow_direction('↚→')).toBe('both'));
-//   test('verify ⇐↛', () => expect(jssm.arrow_direction('⇐↛')).toBe('both'));
-//   test('verify ↚⇒', () => expect(jssm.arrow_direction('↚⇒')).toBe('both'));
-
-// });
-
-
-
-
-
-// describe('arrow_left_kind', () => {
-
-//   test('verify →', () => expect(jssm.arrow_left_kind('→')).toBe('none'));
-//   test('verify ⇒', () => expect(jssm.arrow_left_kind('⇒')).toBe('none'));
-//   test('verify ↛', () => expect(jssm.arrow_left_kind('↛')).toBe('none'));
-
-//   test('verify ←', () => expect(jssm.arrow_left_kind('←')).toBe('legal'));
-//   test('verify ↔', () => expect(jssm.arrow_left_kind('↔')).toBe('legal'));
-//   test('verify ←⇒', () => expect(jssm.arrow_left_kind('←⇒')).toBe('legal'));
-//   test('verify ←↛', () => expect(jssm.arrow_left_kind('←↛')).toBe('legal'));
-
-//   test('verify ⇐', () => expect(jssm.arrow_left_kind('⇐')).toBe('main'));
-//   test('verify ⇔', () => expect(jssm.arrow_left_kind('⇔')).toBe('main'));
-//   test('verify ⇐→', () => expect(jssm.arrow_left_kind('⇐→')).toBe('main'));
-//   test('verify ⇐↛', () => expect(jssm.arrow_left_kind('⇐↛')).toBe('main'));
-
-//   test('verify ↚', () => expect(jssm.arrow_left_kind('↚')).toBe('forced'));
-//   test('verify ↮', () => expect(jssm.arrow_left_kind('↮')).toBe('forced'));
-//   test('verify ↚→', () => expect(jssm.arrow_left_kind('↚→')).toBe('forced'));
-//   test('verify ↚⇒', () => expect(jssm.arrow_left_kind('↚⇒')).toBe('forced'));
-
-// });
-
-
-
-
-
-// describe('arrow_right_kind', () => {
-
-//   test('verify ←', () => expect(jssm.arrow_right_kind('←')).toBe('none'));
-//   test('verify ⇐', () => expect(jssm.arrow_right_kind('⇐')).toBe('none'));
-//   test('verify ↚', () => expect(jssm.arrow_right_kind('↚')).toBe('none'));
-
-//   test('verify →', () => expect(jssm.arrow_right_kind('→')).toBe('legal'));
-//   test('verify ↔', () => expect(jssm.arrow_right_kind('↔')).toBe('legal'));
-//   test('verify ⇐→', () => expect(jssm.arrow_right_kind('⇐→')).toBe('legal'));
-//   test('verify ↚→', () => expect(jssm.arrow_right_kind('↚→')).toBe('legal'));
-
-//   test('verify ⇒', () => expect(jssm.arrow_right_kind('⇒')).toBe('main'));
-//   test('verify ⇔', () => expect(jssm.arrow_right_kind('⇔')).toBe('main'));
-//   test('verify ←⇒', () => expect(jssm.arrow_right_kind('←⇒')).toBe('main'));
-//   test('verify ↚⇒', () => expect(jssm.arrow_right_kind('↚⇒')).toBe('main'));
-
-//   test('verify ↛', () => expect(jssm.arrow_right_kind('↛')).toBe('forced'));
-//   test('verify ↮', () => expect(jssm.arrow_right_kind('↮')).toBe('forced'));
-//   test('verify ←↛', () => expect(jssm.arrow_right_kind('←↛')).toBe('forced'));
-//   test('verify ⇐↛', () => expect(jssm.arrow_right_kind('⇐↛')).toBe('forced'));
-
-// });
-
-// // stochable

package/src/ts/tests/arrow.spec.ts

@@ -1,124 +0,0 @@
-
-/* eslint-disable max-len */
-
-import * as jssm from '../jssm';
-
-
-
-
-
-describe('arrow_direction', () => {
-
-  const lefts  = ['<-', '<=', '<~', '←', '⇐', '↚'],
-        rights = ['->', '=>', '~>', '→', '⇒', '↛'],
-        boths  = ['<->', '<=>', '<~>',
-                  '<-=>', '<-~>', '<=->', '<=~>', '<~->', '<~=>',
-                  '←⇒',   '←↛',   '⇐→',   '⇐↛',   '↚→',   '↚⇒',
-                  '←=>',  '←~>',  '⇐->',  '⇐~>',  '↚->',  '↚=>',
-                  '<-⇒',  '<-↛',  '<=→',  '<=↛',  '<~→',  '<~⇒'  ],
-
-        check  = (lab, dir) =>
-                   it(lab, () =>
-                     expect( jssm.arrow_direction(lab) ).toBe(dir) );
-
-  lefts.map(  e => check(e, 'left')  );
-  rights.map( e => check(e, 'right') );
-  boths.map(  e => check(e, 'both')  );
-
-  test.todo('Bunch of commented out tests here, not clear why');
-
-/*
-  test('<-',   () => expect(jssm.arrow_direction('<-')   ).toBe('left') );
-  test('<=',   () => expect(jssm.arrow_direction('<=')   ).toBe('left') );
-  test('<~',   () => expect(jssm.arrow_direction('<~')   ).toBe('left') );
-
-  test('->',   () => expect(jssm.arrow_direction('->')   ).toBe('right') );
-  test('=>',   () => expect(jssm.arrow_direction('=>')   ).toBe('right') );
-  test('~>',   () => expect(jssm.arrow_direction('~>')   ).toBe('right') );
-
-  test('<->',  () => expect(jssm.arrow_direction('<->')  ).toBe('both') );
-  test('<=>',  () => expect(jssm.arrow_direction('<=>')  ).toBe('both') );
-  test('<~>',  () => expect(jssm.arrow_direction('<~>')  ).toBe('both') );
-
-  test('<-=>', () => expect(jssm.arrow_direction('<-=>') ).toBe('both') );
-  test('<=->', () => expect(jssm.arrow_direction('<=->') ).toBe('both') );
-  test('<-~>', () => expect(jssm.arrow_direction('<-~>') ).toBe('both') );
-  test('<~->', () => expect(jssm.arrow_direction('<~->') ).toBe('both') );
-  test('<=~>', () => expect(jssm.arrow_direction('<=~>') ).toBe('both') );
-  test('<~=>', () => expect(jssm.arrow_direction('<~=>') ).toBe('both') );
-*/
-
-});
-
-
-
-
-
-describe('arrow_left_kind', () => {
-
-  test('->',   () => expect(jssm.arrow_left_kind('->')   ).toBe('none') );
-  test('=>',   () => expect(jssm.arrow_left_kind('=>')   ).toBe('none') );
-  test('~>',   () => expect(jssm.arrow_left_kind('~>')   ).toBe('none') );
-
-  test('<-',   () => expect(jssm.arrow_left_kind('<-')   ).toBe('legal') );
-  test('<->',  () => expect(jssm.arrow_left_kind('<->')  ).toBe('legal') );
-  test('<-=>', () => expect(jssm.arrow_left_kind('<-=>') ).toBe('legal') );
-  test('<-~>', () => expect(jssm.arrow_left_kind('<-~>') ).toBe('legal') );
-
-  test('<=',   () => expect(jssm.arrow_left_kind('<=')   ).toBe('main') );
-  test('<=>',  () => expect(jssm.arrow_left_kind('<=>')  ).toBe('main') );
-  test('<=->', () => expect(jssm.arrow_left_kind('<=->') ).toBe('main') );
-  test('<=~>', () => expect(jssm.arrow_left_kind('<=~>') ).toBe('main') );
-
-  test('<~',   () => expect(jssm.arrow_left_kind('<~')   ).toBe('forced') );
-  test('<~>',  () => expect(jssm.arrow_left_kind('<~>')  ).toBe('forced') );
-  test('<~->', () => expect(jssm.arrow_left_kind('<~->') ).toBe('forced') );
-  test('<~=>', () => expect(jssm.arrow_left_kind('<~=>') ).toBe('forced') );
-
-});
-
-
-
-
-
-describe('arrow_right_kind', () => {
-
-  test('<-',   () => expect(jssm.arrow_right_kind('<-')   ).toBe('none') );
-  test('<=',   () => expect(jssm.arrow_right_kind('<=')   ).toBe('none') );
-  test('<~',   () => expect(jssm.arrow_right_kind('<~')   ).toBe('none') );
-
-  test('->',   () => expect(jssm.arrow_right_kind('->')   ).toBe('legal') );
-  test('<->',  () => expect(jssm.arrow_right_kind('<->')  ).toBe('legal') );
-  test('<=->', () => expect(jssm.arrow_right_kind('<=->') ).toBe('legal') );
-  test('<~->', () => expect(jssm.arrow_right_kind('<~->') ).toBe('legal') );
-
-  test('=>',   () => expect(jssm.arrow_right_kind('=>')   ).toBe('main') );
-  test('<=>',  () => expect(jssm.arrow_right_kind('<=>')  ).toBe('main') );
-  test('<-=>', () => expect(jssm.arrow_right_kind('<-=>') ).toBe('main') );
-  test('<~=>', () => expect(jssm.arrow_right_kind('<~=>') ).toBe('main') );
-
-  test('~>',   () => expect(jssm.arrow_right_kind('~>')   ).toBe('forced') );
-  test('<~>',  () => expect(jssm.arrow_right_kind('<~>')  ).toBe('forced') );
-  test('<-~>', () => expect(jssm.arrow_right_kind('<-~>') ).toBe('forced') );
-  test('<=~>', () => expect(jssm.arrow_right_kind('<=~>') ).toBe('forced') );
-
-});
-
-
-
-
-
-describe('arrow error catchery', () => {
-
-  test('unknown arrow direction throws', () =>
-    expect( () => jssm.arrow_direction('boop' as any) ).toThrow() );
-
-  test('unknown arrow left kind throws', () =>
-    expect( () => jssm.arrow_left_kind('boop' as any) ).toThrow() );
-
-  test('unknown arrow right kind throws', () =>
-    expect( () => jssm.arrow_right_kind('boop' as any) ).toThrow() );
-
-});
-
-// stochable

package/src/ts/tests/colors.spec.ts

@@ -1,58 +0,0 @@
-
-import { NamedColors } from './constants.spec';
-import { sm }          from '../jssm';
-
-
-
-
-
-describe('Colors', () => {
-
-/* eslint-disable max-nested-callbacks */
-
-  const ColorSets = [
-    { label: "Named colors",  dataset: NamedColors },
-    { label: "Direct colors", dataset: [ '#ABC', '#ABCF', '#AABBCC', '#AABBCCFF' ] }
-  ];
-
-  ColorSets.map( ({label, dataset}) =>
-
-    dataset.map(col => {
-
-      // edge things
-      ['edge_color'].map(prop =>
-        [col, col.toLowerCase()].map(repres =>
-          test(`${label} - Color "${repres}" parses as ${prop}`, () =>
-
-            expect( () => {
-              const _foo = sm`machine_name: bob; a-> { ${prop}: ${repres}; } b;`;
-            }).not.toThrow()
-
-          )
-        )
-      );
-
-      // state things
-      ['color', 'background-color', 'text-color', 'border-color'].map(prop =>
-        [col, col.toLowerCase()].map(repres =>
-          test(`${label} - Color "${repres}" parses as ${prop}`, () =>
-
-            expect( () => {
-              const _foo = sm`machine_name: bob; state a: { ${prop}: ${repres}; }; a -> b;`;
-            }).not.toThrow()
-
-          )
-        )
-      );
-
-    })
-  );
-
-/* eslint-enable max-nested-callbacks */
-
-});
-
-// TODO FIXME COMEBACK tests for the other color types
-// TODO FIXME COMEBACK check that the named colors are coming out sensibly
-
-// TODO FIXME COMEBACK STOCHABLE assert that #f00, #ff0000, #f00f, #ff0000ff, and red all parse as the same color

package/src/ts/tests/comment.spec.ts

@@ -1,134 +0,0 @@
-
-/* eslint-disable max-len */
-
-import * as jssm from '../jssm';
-
-
-
-
-
-describe('block strategies', () => {
-
-  const AtoB    = [{"key": "transition", "from": "a", "se": {"kind": "->","to": "b"}}],
-
-        is_AB   = str =>
-                    test(str, () => expect(jssm.parse(str)).toEqual(AtoB) ),
-
-        ABCD    = [{"key": "transition", "from": "a", "se": {"kind": "->","to": "b"}},
-                   {"key": "transition", "from": "c", "se": {"kind": "->","to": "d"}}],
-
-        is_ABCD = str =>
-                    test(str, () => expect(jssm.parse(str)).toEqual(ABCD) );
-
-  describe('empty block comments in left middle', () => {
-    is_AB('a/**/->b;');
-    is_AB('a /**/->b;');
-    is_AB('a/**/ ->b;');
-    is_AB('a /**/ ->b;');
-    is_AB('a\n/**/->b;');
-    is_AB('a/**/\n->b;');
-    is_AB('a\n/**/\n->b;');
-  });
-
-  describe('empty block comments in right middle', () => {
-    is_AB('a->/**/b;');
-    is_AB('a-> /**/b;');
-    is_AB('a->/**/ b;');
-    is_AB('a-> /**/ b;');
-    is_AB('a->\n/**/b;');
-    is_AB('a->/**/\nb;');
-    is_AB('a->\n/**/\nb;');
-  });
-
-  describe('non-empty block comments in left middle', () => {
-    is_AB('a/* hello */->b;');
-    is_AB('a /* hello */->b;');
-    is_AB('a/* hello */ ->b;');
-    is_AB('a /* hello */ ->b;');
-    is_AB('a\n/* hello */ ->b;');
-    is_AB('a/* hello */\n->b;');
-    is_AB('a\n/* hello */\n->b;');
-  });
-
-  describe('empty block comments before', () => {
-    is_AB('/**/a->b;');
-    is_AB('/**/ a->b;');
-  });
-
-  describe('empty block comments inbetween', () => {
-    is_ABCD('a->b;/**/c->d;');
-    is_ABCD('a->b; /**/c->d;');
-    is_ABCD('a->b;/**/ c->d;');
-    is_ABCD('a->b; /**/ c->d;');
-  });
-
-  describe('empty block comments after / at end', () => {
-    is_AB('a->b;/**/');
-    is_AB('a->b; /**/');
-  });
-
-  describe('block commented code', () => {
-    is_AB('a->b;/* c->d; */');
-    is_AB('a->b;\n/*c -> d;*/\n');
-    is_ABCD('a->b;/* e->f; */c->d;');
-    is_ABCD('a->b;\n/*e -> f;*/\nc->d;');
-    is_ABCD('a->b;\n/*e -> f;*/\nc->d;\n');
-  });
-
-});
-
-
-
-
-
-describe('line strategies', () => {
-
-  const AtoB    = [{"key": "transition", "from": "a", "se": {"kind": "->","to": "b"}}],
-
-        is_AB   = str =>
-                    test(str, () => expect(jssm.parse(str)).toEqual(AtoB) ),
-
-        ABCD    = [{"key": "transition", "from": "a", "se": {"kind": "->","to": "b"}},
-                   {"key": "transition", "from": "c", "se": {"kind": "->","to": "d"}}],
-
-        is_ABCD = str =>
-                    test(str, () => expect(jssm.parse(str)).toEqual(ABCD) );
-
-  describe('empty line comments at end', () => {
-    is_AB('a->b;//');
-    is_AB('a->b; //');
-    is_AB('a->b;//\n');
-    is_AB('a->b; //\n');
-  });
-
-  describe('non-empty line comments at end', () => {
-    is_AB('a->b;// hello');
-    is_AB('a->b; // hello');
-    is_AB('a->b;// hello\n');
-    is_AB('a->b; // hello\n');
-  });
-
-  describe('empty line comments at beginning', () => {
-    is_AB('//\na->b;');
-  });
-
-  describe('non-empty line comments at beginning', () => {
-    is_AB('// hello\na->b;');
-  });
-
-  describe('empty line comments inbetween', () => {
-    is_ABCD('a->b;//\nc->d;');
-  });
-
-  describe('non-empty line comments inbetween', () => {
-    is_ABCD('a->b;// hello\nc->d;');
-  });
-
-  describe('line commented code', () => {
-    is_AB(  'a->b;// c->d;');
-    is_AB(  'a->b;\n//c -> d;\n');
-    is_ABCD('a->b;// e->f;\nc->d;');
-    is_ABCD('a->b;\n//e -> f;\nc->d;');
-  });
-
-});

package/src/ts/tests/compile.spec.ts

@@ -1,79 +0,0 @@
-
-/* eslint-disable max-len */
-
-import * as jssm from '../jssm';
-
-const sm = jssm.sm;
-
-
-
-
-
-describe('compile/1', () => {
-
-  describe('a->b;', () => {
-    const a_to_b_str = `a->b;`;
-    test('doesn\'t throw', () => expect( () => {
-      jssm.compile(jssm.parse(a_to_b_str));
-    }).not.toThrow() );
-  });
-
-  describe('a->b->c;', () => {
-    const a_to_b_to_c_str = `a->b->c;`;
-    test('doesn\'t throw', () => expect( () => {
-      jssm.compile(jssm.parse(a_to_b_to_c_str));
-    }).not.toThrow() );
-  });
-
-  describe('template tokens', () => {
-    const a_through_e_token_str = `a->${'b'}->c->${'d'}->e;`;
-    test('doesn\'t throw', () => expect( () => {
-      jssm.compile(jssm.parse(a_through_e_token_str));
-    }).not.toThrow() );
-  });
-
-  describe('all arrows', () => {
-    const all_arrows = `a -> b => c ~> d <-> e <=> f <~> g <-=> h <=-> i <~-> j <-~> k <=~> l <~=> m <- n <= o <~ p;`;
-    test('doesn\'t throw', () => expect( () => {
-      jssm.compile(jssm.parse(all_arrows));
-    }).not.toThrow() );
-  });
-
-  describe('all unicode arrows', () => {
-    const all_arrows = `a ← b ⇐ c ↚ d → e ⇒ f ↛ g ↔ h ⇔ i ↮ j ←⇒ k ⇐→ l ←↛ m ↚→ n ⇐↛ o ↚⇒ p;`;
-    test('doesn\'t throw', () => expect( () => {
-      jssm.compile(jssm.parse(all_arrows));
-    }).not.toThrow() );
-  });
-
-});
-
-
-
-
-
-describe('error catchery', () => {
-
-  test.todo('uncomment the compile spec tests once they\'re understood');
-
-  describe('unknown rule', () => {
-    test('throws', () => expect( () => {
-      jssm.compile( [{"key":"FAKE_RULE","from":"a","se":{"kind":"->","to":"b"}}] as any );
-    } ).toThrow() );
-  });
-
-  describe('unnamed state_declaration', () => {
-    test('throws', () => expect( () => {
-      jssm.compile( [{"key":"state_declaration"}] as any );
-    } ).toThrow() );
-  });
-
-  describe('unknown state property', () => {
-    test('throws', () => expect( () => {
-      sm`a->b; c: { foo: red; };`;
-    } ).toThrow() );
-  });
-
-});
-
-// stochable