git.iko.soy/Idris-dev

on master help sign in

test/reg002/run+3−10

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

11#!/bin/bash

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−

2+idris reg002.idr -o reg002

3+./reg002

4+rm -f reg002 *.ibc

test/reg004/run+3−9

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

11#!/bin/bash

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

2+idris reg004.idr -o reg004

3+./reg004

4+rm -f reg004 *.ibc

test/reg005/run+3−9

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

11#!/bin/bash

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

2+idris $@ reg005.idr -o reg005

3+./reg005

4+rm -f reg005 *.ibc

test/reg013/run+3−9

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

11#!/bin/bash

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

2+idris $@ reg013.idr -o reg013

3+./reg013

4+rm -f reg013 *.ibc

test/reg016/run+3−9

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

11#!/bin/bash

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

2+idris $@ reg016.idr -o reg016

3+./reg016

4+rm -f reg016 *.ibc

test/reg017/run+3−9

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

11#!/bin/bash

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

2+idris $@ reg017.idr -o reg017

3+./reg017

4+rm -f reg017 *.ibc

test/test001/run+3−9

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

11#!/bin/bash

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

2+idris $@ test001.idr -o test001

3+./test001

4+rm -f test001 test001.ibc

test/test003/run+2−8

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

11#!/bin/bash

22idris $@ test003a.lidr --check

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

3+idris $@ test003.lidr -o test003

4+./test003

115rm -f test003 test003.ibc Lit.ibc

test/test005/run+3−9

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

11#!/bin/bash

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

2+idris $@ test005.idr -o test005

3+./test005

4+rm -f test005 test005.ibc

test/test006/run+3−9

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

11#!/bin/bash

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

2+idris $@ test006.idr -o test006

3+./test006

4+rm -f test006 test006.ibc

test/test007/run+3−9

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

11#!/bin/bash

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

2+idris $@ test007.idr -o test007

3+./test007

4+rm -f test007 test007.ibc

test/test008/run+3−9

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

11#!/bin/bash

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

2+idris $@ test008.idr -o test008

3+./test008

4+rm -f test008 test008.ibc

test/test009/run+3−9

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

11#!/bin/bash

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

2+idris $@ test009.idr -o test009

3+./test009

4+rm -f test009 test009.ibc

test/test011/run+3−9

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

11#!/bin/bash

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

2+idris $@ test011.idr -o test011

3+./test011

4+rm -f test011 test011.ibc

test/test013/run+3−9

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

11#!/bin/bash

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

2+idris $@ test013.idr -o test013

3+./test013

4+rm -f test013 test013.ibc

test/test015/run+3−9

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

11#!/bin/bash

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

2+idris $@ test015.idr -o test015

3+./test015

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

test/test016/run+3−9

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

11#!/bin/bash

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

2+idris $@ test016.idr -o test016

3+./test016

4+rm -f test016 *.ibc

test/test019/run+3−9

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

11#!/bin/bash

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

2+idris $@ test019.lidr -o test019

3+./test019

4+rm -f test019 *.ibc

test/test020/run+3−10

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

11#!/bin/bash

2+idris $@ test020.idr -o test020

23idris $@ test020a.idr --check

3−

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

4+./test020

5+rm -f test020 *.ibc

test/test027/run+3−9

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

11#!/bin/bash

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

2+idris $@ test027.idr -o test027

3+./test027

4+rm -f test027 *.ibc

test/test028/run+3−9

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

11#!/bin/bash

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

2+idris $@ test028.idr -o test028

3+./test028

4+rm -f test028 test028.ibc