git.iko.soy/Idris-dev

on master help sign in

benchmarks/build.pl+1−1

compare with master

unifiedsplit

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

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

2

2

3$bmarks = `cat ALL`;

3$bmarks = `cat ALL`;

4@bm = split(/\n/, $bmarks);

4@bm = split(/\n/, $bmarks);

benchmarks/run.pl+1−1

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

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

2

2

3$bmarks = `cat ALL`;

3$bmarks = `cat ALL`;

4@bm = split(/\n/, $bmarks);

4@bm = split(/\n/, $bmarks);

src/IRTS/CodegenJava.hs+1−1

@@ -156,7 +156,7 @@ cleanUpTmp tgtDir = do

156

156

157jarHeader :: String

157jarHeader :: String

158jarHeader =

158jarHeader =

159− "#!/bin/sh\n"

159+ "#!/usr/bin/env sh\n"

160 ++ "MYSELF=`which \"$0\" 2>/dev/null`\n"

160 ++ "MYSELF=`which \"$0\" 2>/dev/null`\n"

161 ++ "[ $? -gt 0 -a -f \"$0\" ] && MYSELF=\"./$0\"\n"

161 ++ "[ $? -gt 0 -a -f \"$0\" ] && MYSELF=\"./$0\"\n"

162 ++ "java=java\n"

162 ++ "java=java\n"

test/Makefile+2−2

@@ -95,10 +95,10 @@ test_llvm:

95 @perl ./runtest.pl test031 --codegen llvm

95 @perl ./runtest.pl test031 --codegen llvm

96

96

97update:

97update:

98− perl ./runtest.pl all -u

98+ /usr/bin/env perl ./runtest.pl all -u

99

99

100diff:

100diff:

101− perl ./runtest.pl all -d

101+ /usr/bin/env perl ./runtest.pl all -d

102

102

103distclean:

103distclean:

104 rm -f *~

104 rm -f *~

test/mktest.pl+2−2

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

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

2

2

3if ($#ARGV>=0) {

3if ($#ARGV>=0) {

4 $test=shift(@ARGV);

4 $test=shift(@ARGV);

@@ -12,7 +12,7 @@ mkdir($test);

12chdir($test);

12chdir($test);

13open(FOO,">run");

13open(FOO,">run");

14

14

15−print FOO "#!/bin/bash\n";

15+print FOO "#!/usr/bin/env bash\n";

16print FOO "idris \$@ $test.idr -o $test\n";

16print FOO "idris \$@ $test.idr -o $test\n";

17print FOO "./$test\n";print FOO "rm -f $test *.ibc\n";

17print FOO "./$test\n";print FOO "rm -f $test *.ibc\n";

18

18

test/reg001/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris reg001.idr --check

2idris reg001.idr --check

3rm -rf reg001.ibc

3rm -rf reg001.ibc

4

4

test/reg002/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris reg002.idr -o reg002

2idris reg002.idr -o reg002

3./reg002

3./reg002

4rm -f reg002 *.ibc

4rm -f reg002 *.ibc

test/reg003/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --check reg003.idr

2idris --check reg003.idr

3idris --check reg003a.idr

3idris --check reg003a.idr

4rm -f *.ibc

4rm -f *.ibc

test/reg004/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg004.idr -o reg004

2idris $@ reg004.idr -o reg004

3./reg004

3./reg004

4rm -f reg004 *.ibc

4rm -f reg004 *.ibc

test/reg005/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg005.idr -o reg005

2idris $@ reg005.idr -o reg005

3./reg005

3./reg005

4rm -f reg005 *.ibc

4rm -f reg005 *.ibc

test/reg006/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg006.idr -o reg006

2idris $@ reg006.idr -o reg006

3rm -f *.ibc

3rm -f *.ibc

test/reg007/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --check $@ reg007.lidr

2idris --check $@ reg007.lidr

3rm -f *.ibc

3rm -f *.ibc

test/reg008/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg008.idr --check

2idris $@ reg008.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg009/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg009.lidr --check

2idris $@ reg009.lidr --check

3rm -f reg009 *.ibc

3rm -f reg009 *.ibc

test/reg010/runmode 100755 → 100644+1−1

@@ -1,2 +1,2 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg010.idr --check --nocolour

2idris $@ reg010.idr --check --nocolour

test/reg011/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg011.idr --check

2idris $@ reg011.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg012/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg012.lidr --check

2idris $@ reg012.lidr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg013/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg013.idr -o reg013

2idris $@ reg013.idr -o reg013

3./reg013

3./reg013

4rm -f reg013 *.ibc

4rm -f reg013 *.ibc

test/reg014/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg014.idr --check

2idris $@ reg014.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg015/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg015.idr --check

2idris $@ reg015.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg016/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg016.idr -o reg016

2idris $@ reg016.idr -o reg016

3./reg016

3./reg016

4rm -f reg016 *.ibc

4rm -f reg016 *.ibc

test/reg017/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg017.idr -o reg017

2idris $@ reg017.idr -o reg017

3./reg017

3./reg017

4rm -f reg017 *.ibc

4rm -f reg017 *.ibc

test/reg018/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg018a.idr --check

2idris $@ reg018a.idr --check

3idris $@ reg018b.idr --check

3idris $@ reg018b.idr --check

4idris $@ reg018c.idr --check

4idris $@ reg018c.idr --check

test/reg019/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg019.idr --check

2idris $@ reg019.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg020/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg020.idr -o reg020

2idris $@ reg020.idr -o reg020

3./reg020

3./reg020

4rm -f reg020 *.ibc

4rm -f reg020 *.ibc

test/reg021/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg021.idr --check

2idris $@ reg021.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg022/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg022.idr --check

2idris $@ reg022.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg023/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg023.idr --check

2idris $@ reg023.idr --check

3rm -f *.ibc

3rm -f *.ibc

test/reg024/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg024.idr -o reg024

2idris $@ reg024.idr -o reg024

3./reg024

3./reg024

4rm -f reg024 *.ibc

4rm -f reg024 *.ibc

test/reg025/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg025.idr -o reg025

2idris $@ reg025.idr -o reg025

3./reg025

3./reg025

4rm -f reg025 *.ibc

4rm -f reg025 *.ibc

test/reg026/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ reg026.idr --check reg026

2idris $@ reg026.idr --check reg026

3rm -f *.ibc

3rm -f *.ibc

test/runtest.pl+1−1

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

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

2

2

3use strict;

3use strict;

4use Cwd;

4use Cwd;

test/test001/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test001.idr -o test001

2idris $@ test001.idr -o test001

3./test001

3./test001

4rm -f test001 test001.ibc

4rm -f test001 test001.ibc

test/test002/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test002.idr --check --noprelude

2idris $@ test002.idr --check --noprelude

3rm -f *.ibc

3rm -f *.ibc

test/test003/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test003a.lidr --check

2idris $@ test003a.lidr --check

3idris $@ test003.lidr -o test003

3idris $@ test003.lidr -o test003

4./test003

4./test003

test/test004/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test004.idr -o test004

2idris $@ test004.idr -o test004

3./test004

3./test004

4rm -f test004 test004.ibc testfile

4rm -f test004 test004.ibc testfile

test/test005/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test005.idr -o test005

2idris $@ test005.idr -o test005

3./test005

3./test005

4rm -f test005 test005.ibc

4rm -f test005 test005.ibc

test/test006/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test006.idr -o test006

2idris $@ test006.idr -o test006

3./test006

3./test006

4rm -f test006 test006.ibc

4rm -f test006 test006.ibc

test/test007/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test007.idr -o test007

2idris $@ test007.idr -o test007

3./test007

3./test007

4rm -f test007 test007.ibc

4rm -f test007 test007.ibc

test/test008/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test008.idr -o test008

2idris $@ test008.idr -o test008

3./test008

3./test008

4rm -f test008 test008.ibc

4rm -f test008 test008.ibc

test/test009/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test009.idr -o test009

2idris $@ test009.idr -o test009

3./test009

3./test009

4rm -f test009 test009.ibc

4rm -f test009 test009.ibc

test/test010/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test010.idr -o test010

2idris $@ test010.idr -o test010

3idris $@ test010a.idr -o test010

3idris $@ test010a.idr -o test010

4idris $@ test010b.idr -o test010

4idris $@ test010b.idr -o test010

test/test011/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test011.idr -o test011

2idris $@ test011.idr -o test011

3./test011

3./test011

4rm -f test011 test011.ibc

4rm -f test011 test011.ibc

test/test012/runmode 100755 → 100644+1−1

@@ -1,2 +1,2 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test012a.idr -o test012a

2idris $@ test012a.idr -o test012a

test/test013/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test013.idr -o test013

2idris $@ test013.idr -o test013

3./test013

3./test013

4rm -f test013 test013.ibc

4rm -f test013 test013.ibc

test/test014/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test014.idr -o test014

2idris $@ test014.idr -o test014

3./test014

3./test014

4rm -f test014 resimp.ibc test014.ibc

4rm -f test014 resimp.ibc test014.ibc

test/test015/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test015.idr -o test015

2idris $@ test015.idr -o test015

3./test015

3./test015

4rm -f test015 parity.ibc test015.ibc

4rm -f test015 parity.ibc test015.ibc

test/test016/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test016.idr -o test016

2idris $@ test016.idr -o test016

3./test016

3./test016

4rm -f test016 *.ibc

4rm -f test016 *.ibc

test/test017/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ --check test017.idr

2idris $@ --check test017.idr

3idris $@ --check test017a.idr

3idris $@ --check test017a.idr

4idris $@ --check test017b.idr

4idris $@ --check test017b.idr

test/test018/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test018.idr -o test018

2idris $@ test018.idr -o test018

3idris $@ test018a.idr -o test018a

3idris $@ test018a.idr -o test018a

4./test018

4./test018

test/test019/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test019.lidr -o test019

2idris $@ test019.lidr -o test019

3./test019

3./test019

4rm -f test019 *.ibc

4rm -f test019 *.ibc

test/test020/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test020.idr -o test020

2idris $@ test020.idr -o test020

3idris $@ test020a.idr --check --nocolor

3idris $@ test020a.idr --check --nocolor

4./test020

4./test020

test/test021/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris -p effects $@ test021.idr -o test021

2idris -p effects $@ test021.idr -o test021

3idris -p effects $@ test021a.idr -o test021a

3idris -p effects $@ test021a.idr -o test021a

4./test021

4./test021

test/test022/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2echo ":x x" | idris --quiet test022.idr

2echo ":x x" | idris --quiet test022.idr

3rm -f test021 test021a *.ibc

3rm -f test021 test021a *.ibc

test/test023/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --quiet test023.idr -o test023

2idris --quiet test023.idr -o test023

3rm -f test023 *.ibc

3rm -f test023 *.ibc

test/test024/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --quiet test024.idr < input

2idris --quiet test024.idr < input

3rm -f *.ibc

3rm -f *.ibc

test/test025/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris -p effects $@ test025.idr -o test025

2idris -p effects $@ test025.idr -o test025

3./test025

3./test025

4rm -f test025 *.ibc

4rm -f test025 *.ibc

test/test026/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --quiet test026.idr < input

2idris --quiet test026.idr < input

3rm -f *.ibc

3rm -f *.ibc

test/test027/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test027.idr -o test027

2idris $@ test027.idr -o test027

3./test027

3./test027

4rm -f test027 *.ibc

4rm -f test027 *.ibc

test/test028/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test028.idr -o test028

2idris $@ test028.idr -o test028

3./test028

3./test028

4rm -f test028 test028.ibc

4rm -f test028 test028.ibc

test/test029/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test029.idr --check test029

2idris $@ test029.idr --check test029

3rm -f *.ibc

3rm -f *.ibc

test/test030/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test030.idr --check --nocolour

2idris $@ test030.idr --check --nocolour

3idris $@ test030a.idr --check --nocolour

3idris $@ test030a.idr --check --nocolour

4rm -f *.ibc

4rm -f *.ibc

test/test031/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ test031.idr -o test031

2idris $@ test031.idr -o test031

3./test031

3./test031

4rm -f test031 *.ibc

4rm -f test031 *.ibc

test/test032/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris --quiet test032.idr < input

2idris --quiet test032.idr < input

3rm -f *.ibc

3rm -f *.ibc

test/test033/runmode 100755 → 100644+1−1

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

1−#!/bin/bash

1+#!/usr/bin/env bash

2idris $@ -o test033 test033.idr

2idris $@ -o test033 test033.idr

3./test033

3./test033

4rm -f *.ibc test033

4rm -f *.ibc test033