6209c9b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

javascript: added test suite

commit6209c9b858759f58bbd2d848b2caa42049fe9469 authorraichoo <raichoo@googlemail.com> dateWed 3 Jul 2013, 11:03 (13 years ago) parentdad12e6

22 files changed+240−62

compare with master

unifiedsplit

test/Makefile+50

@@ -4,6 +4,56 @@ test:

44test_java:

55 perl ./runtest.pl all --target Java

7+test_js:

8+ @perl ./runtest.pl reg001 --target node

9+ @perl ./runtest.pl reg002 --target node

10+ @perl ./runtest.pl reg003 --target node

11+ @perl ./runtest.pl reg004 --target node

12+ @perl ./runtest.pl reg004 --target node

13+ @perl ./runtest.pl reg005 --target node

14+ @perl ./runtest.pl reg006 --target node

15+ @perl ./runtest.pl reg007 --target node

16+ @perl ./runtest.pl reg008 --target node

17+ @perl ./runtest.pl reg009 --target node

18+ @perl ./runtest.pl reg010 --target node

19+ @perl ./runtest.pl reg011 --target node

20+ @perl ./runtest.pl reg012 --target node

21+ @perl ./runtest.pl reg013 --target node

22+ @perl ./runtest.pl reg014 --target node

23+ @perl ./runtest.pl reg015 --target node

24+ @#perl ./runtest.pl reg016 --target node

25+ @perl ./runtest.pl reg017 --target node

26+ @perl ./runtest.pl reg018 --target node

27+ @perl ./runtest.pl reg019 --target node

28+ @perl ./runtest.pl test001 --target node

29+ @perl ./runtest.pl test002 --target node

30+ @perl ./runtest.pl test003 --target node

31+ @#perl ./runtest.pl test004 --target node

32+ @perl ./runtest.pl test005 --target node

33+ @perl ./runtest.pl test006 --target node

34+ @perl ./runtest.pl test007 --target node

35+ @perl ./runtest.pl test008 --target node

36+ @perl ./runtest.pl test009 --target node

37+ @perl ./runtest.pl test010 --target node

38+ @perl ./runtest.pl test011 --target node

39+ @perl ./runtest.pl test012 --target node

40+ @perl ./runtest.pl test013 --target node

41+ @#perl ./runtest.pl test014 --target node

42+ @perl ./runtest.pl test015 --target node

43+ @perl ./runtest.pl test016 --target node

44+ @perl ./runtest.pl test017 --target node

45+ @#perl ./runtest.pl test018 --target node

46+ @perl ./runtest.pl test019 --target node

47+ @perl ./runtest.pl test020 --target node

48+ @#perl ./runtest.pl test021 --target node

49+ @perl ./runtest.pl test022 --target node

50+ @perl ./runtest.pl test023 --target node

51+ @perl ./runtest.pl test024 --target node

52+ @#perl ./runtest.pl test025 --target node

53+ @perl ./runtest.pl test026 --target node

54+ @perl ./runtest.pl test027 --target node

55+ @perl ./runtest.pl test028 --target node

56+

757update:

858 perl ./runtest.pl all -u

959

test/reg002/run+10−3

@@ -1,4 +1,11 @@

11#!/bin/bash

2−idris reg002.idr -o reg002

3−./reg002

4−rm -f reg002 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg002.idr --target node -o reg002.js

4+ node reg002.js

5+ rm -f reg002.js *.ibc

6+else

7+ idris reg002.idr -o reg002

8+ ./reg002

9+ rm -f reg002 *.ibc

10+fi

11+

test/reg004/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris reg004.idr -o reg004

3−./reg004

4−rm -f reg004 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg004.idr --target node -o reg004.js

4+ node reg004.js

5+ rm -f reg004.js *.ibc

6+else

7+ idris reg004.idr -o reg004

8+ ./reg004

9+ rm -f reg004 *.ibc

10+fi

test/reg005/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ reg005.idr -o reg005

3−./reg005

4−rm -f reg005 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg005.idr --target node -o reg005.js

4+ node reg005.js

5+ rm -f reg005.js *.ibc

6+else

7+ idris $@ reg005.idr -o reg005

8+ ./reg005

9+ rm -f reg005 *.ibc

10+fi

test/reg013/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ reg013.idr -o reg013

3−./reg013

4−rm -f reg013 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg013.idr --target node -o reg013.js

4+ node reg013.js

5+ rm -f reg013.js *.ibc

6+else

7+ idris $@ reg013.idr -o reg013

8+ ./reg013

9+ rm -f reg013 *.ibc

10+fi

test/reg016/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ reg016.idr -o reg016

3−./reg016

4−rm -f reg016 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg016.idr --target node -o reg016.js

4+ node reg016.js

5+ rm -f reg016.js *.ibc

6+else

7+ idris $@ reg016.idr -o reg016

8+ ./reg016

9+ rm -f reg016 *.ibc

10+fi

test/reg017/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ reg017.idr -o reg017

3−./reg017

4−rm -f reg017 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris reg017.idr --target node -o reg017.js

4+ node reg017.js

5+ rm -f reg017.js *.ibc

6+else

7+ idris $@ reg017.idr -o reg017

8+ ./reg017

9+ rm -f reg017 *.ibc

10+fi

test/test001/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test001.idr -o test001

3−./test001

4−rm -f test001 test001.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris test001.idr --target node -o test001.js

4+ node test001.js

5+ rm -f test001.js *.ibc

6+else

7+ idris $@ test001.idr -o test001

8+ ./test001

9+ rm -f test001 test001.ibc

10+fi

test/test003/run+8−2

@@ -1,5 +1,11 @@

11#!/bin/bash

22idris $@ test003a.lidr --check

3−idris $@ test003.lidr -o test003

4−./test003

3+if [[ $@ == "--target node" ]]; then

4+ idris --target node test003.lidr -o test003.js

5+ node test003.js

6+ rm -f test003.js *.ibc

7+else

8+ idris $@ test003.lidr -o test003

9+ ./test003

10+fi

511rm -f test003 test003.ibc Lit.ibc

test/test005/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test005.idr -o test005

3−./test005

4−rm -f test005 test005.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test005.idr -o test005.js

4+ node test005

5+ rm -f test005.js *.ibc

6+else

7+ idris $@ test005.idr -o test005

8+ ./test005

9+ rm -f test005 test005.ibc

10+fi

test/test006/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test006.idr -o test006

3−./test006

4−rm -f test006 test006.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test006.idr -o test006.js

4+ node test006.js

5+ rm -f test006.js *.ibc

6+else

7+ idris $@ test006.idr -o test006

8+ ./test006

9+ rm -f test006 test006.ibc

10+fi

test/test007/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test007.idr -o test007

3−./test007

4−rm -f test007 test007.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test007.idr -o test007.js

4+ node test007.js

5+ rm -f test007.js *.ibc

6+else

7+ idris $@ test007.idr -o test007

8+ ./test007

9+ rm -f test007 test007.ibc

10+fi

test/test008/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test008.idr -o test008

3−./test008

4−rm -f test008 test008.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test008.idr -o test008.js

4+ node test008.js

5+ rm -f test008.js *.ibc

6+else

7+ idris $@ test008.idr -o test008

8+ ./test008

9+ rm -f test008 test008.ibc

10+fi

test/test009/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test009.idr -o test009

3−./test009

4−rm -f test009 test009.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test009.idr -o test009.js

4+ node test009.js

5+ rm -f test009.js *.ibc

6+else

7+ idris $@ test009.idr -o test009

8+ ./test009

9+ rm -f test009 test009.ibc

10+fi

test/test011/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test011.idr -o test011

3−./test011

4−rm -f test011 test011.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test011.idr -o test011.js

4+ node test011.js

5+ rm -f test011.js *.ibc

6+else

7+ idris $@ test011.idr -o test011

8+ ./test011

9+ rm -f test011 test011.ibc

10+fi

test/test013/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test013.idr -o test013

3−./test013

4−rm -f test013 test013.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test013.idr -o test013.js

4+ node test013.js

5+ rm -f test013.js *.ibc

6+else

7+ idris $@ test013.idr -o test013

8+ ./test013

9+ rm -f test013 test013.ibc

10+fi

test/test015/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test015.idr -o test015

3−./test015

4−rm -f test015 parity.ibc test015.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test015.idr -o test015.js

4+ node test015.js

5+ rm -f test015.js *.ibc

6+else

7+ idris $@ test015.idr -o test015

8+ ./test015

9+ rm -f test015 parity.ibc test015.ibc

10+fi

test/test016/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test016.idr -o test016

3−./test016

4−rm -f test016 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test016.idr -o test016.js

4+ node test016.js

5+ rm -f test016.js *.ibc

6+else

7+ idris $@ test016.idr -o test016

8+ ./test016

9+ rm -f test016 *.ibc

10+fi

test/test019/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test019.lidr -o test019

3−./test019

4−rm -f test019 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test019.lidr -o test019.js

4+ node test019.js

5+ rm -f test019.js *.ibc

6+else

7+ idris $@ test019.lidr -o test019

8+ ./test019

9+ rm -f test019 *.ibc

10+fi

test/test020/run+10−3

@@ -1,5 +1,12 @@

11#!/bin/bash

2−idris $@ test020.idr -o test020

32idris $@ test020a.idr --check

4−./test020

5−rm -f test020 *.ibc

4+if [[ $@ == "--target node" ]]; then

5+ idris --target node test020.idr -o test020.js

6+ node test020.js

7+ rm -f test020.js *.ibc

8+else

9+ idris $@ test020.idr -o test020

10+ ./test020

11+ rm -f test020 *.ibc

12+fi

test/test027/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test027.idr -o test027

3−./test027

4−rm -f test027 *.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test027.idr -o test027.js

4+ node test027.js

5+ rm -f test027.js *.ibc

6+else

7+ idris $@ test027.idr -o test027

8+ ./test027

9+ rm -f test027 *.ibc

10+fi

test/test028/run+9−3

@@ -1,4 +1,10 @@

11#!/bin/bash

2−idris $@ test028.idr -o test028

3−./test028

4−rm -f test028 test028.ibc

2+if [[ $@ == "--target node" ]]; then

3+ idris --target node test028.idr -o test028.js

4+ node test028.js

5+ rm -f test028.js test028.ibc

6+else

7+ idris $@ test028.idr -o test028

8+ ./test028

9+ rm -f test028 test028.ibc

10+fi