079856c · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Removed test backups and converted tests to pure bash scripts

commit079856c966c13fedd8ae20477715082b1aec0b99 authorPhilip Rasmussen <pjor@itu.dk> dateWed 23 Apr 2014, 02:13 (13 years ago) parent3146e46

28 files changed+53−160

compare with master

unifiedsplit

idris.cabal+14−28 test/idrisdoc001/idrisdoc001.hs−6 test/idrisdoc001/run+3−3 test/idrisdoc001/run_backup−4 test/idrisdoc002/expected+1−1 test/idrisdoc002/idrisdoc002.hs−10 test/idrisdoc002/run+4−3 test/idrisdoc002/run_backup−4 test/idrisdoc003/expected+1−1 test/idrisdoc003/idrisdoc003.hs−10 test/idrisdoc003/run+4−3 test/idrisdoc003/run_backup−4 test/idrisdoc004/expected+1−1 test/idrisdoc004/idrisdoc004.hs−10 test/idrisdoc004/run+4−3 test/idrisdoc004/run_backup−4 test/idrisdoc005/expected+2−2 test/idrisdoc005/idrisdoc005.hs−12 test/idrisdoc005/run+5−3 test/idrisdoc005/run_backup−4 test/idrisdoc006/expected+2−2 test/idrisdoc006/idrisdoc006.hs−14 test/idrisdoc006/run+7−3 test/idrisdoc006/run_backup−4 test/idrisdoc007/expected+1−1 test/idrisdoc007/idrisdoc007.hs−6 test/idrisdoc007/run+4−4 test/idrisdoc007/run_backup−10

idris.cabal+14−28

@@ -319,48 +319,34 @@ Extra-source-files:

319319 test/ffi005/run

320320 test/ffi005/expected

321321

322− test/idrisdoc001/*.idr

323− test/idrisdoc001/*.ipkg

324− test/idrisdoc001/idrisdoc001.hs

325322 test/idrisdoc001/run

326− test/idrisdoc001/run_backup

327323 test/idrisdoc001/expected

328− test/idrisdoc002/*.idr

329− test/idrisdoc002/*.ipkg

330− test/idrisdoc002/idrisdoc002.hs

324+ test/idrisdoc001/*.idr

325+ test/idrisdoc001/*.ipkg

331326 test/idrisdoc002/run

332− test/idrisdoc002/run_backup

333327 test/idrisdoc002/expected

334− test/idrisdoc003/*.idr

335− test/idrisdoc003/*.ipkg

336− test/idrisdoc003/idrisdoc003.hs

328+ test/idrisdoc002/*.idr

329+ test/idrisdoc002/*.ipkg

337330 test/idrisdoc003/run

338− test/idrisdoc003/run_backup

339331 test/idrisdoc003/expected

340− test/idrisdoc004/*.idr

341− test/idrisdoc004/*.ipkg

342− test/idrisdoc004/idrisdoc004.hs

332+ test/idrisdoc003/*.idr

333+ test/idrisdoc003/*.ipkg

343334 test/idrisdoc004/run

344− test/idrisdoc004/run_backup

345335 test/idrisdoc004/expected

346− test/idrisdoc005/*.idr

347− test/idrisdoc005/*.ipkg

348− test/idrisdoc005/idrisdoc005.hs

336+ test/idrisdoc004/*.idr

337+ test/idrisdoc004/*.ipkg

349338 test/idrisdoc005/run

350− test/idrisdoc005/run_backup

351339 test/idrisdoc005/expected

352− test/idrisdoc006/*.idr

353− test/idrisdoc006/*.ipkg

354− test/idrisdoc006/idrisdoc006.hs

340+ test/idrisdoc005/*.idr

341+ test/idrisdoc005/*.ipkg

355342 test/idrisdoc006/run

356− test/idrisdoc006/run_backup

357343 test/idrisdoc006/expected

358− test/idrisdoc007/*.idr

359− test/idrisdoc007/*.ipkg

360− test/idrisdoc007/idrisdoc007.hs

344+ test/idrisdoc006/*.idr

345+ test/idrisdoc006/*.ipkg

361346 test/idrisdoc007/run

362− test/idrisdoc007/run_backup

363347 test/idrisdoc007/expected

348+ test/idrisdoc007/*.idr

349+ test/idrisdoc007/*.ipkg

364350

365351 test/interactive001/run

366352 test/interactive001/input

test/idrisdoc001/idrisdoc001.hsdeleted−6

@@ -1,6 +0,0 @@

1−-- Tests that documentation for empty namespaces are not created

2−

3−import Pkg.Package

4−

5−main :: IO ()

6−main = documentPkg "test_empty.ipkg"

test/idrisdoc001/run+3−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc001.hs

3−./idrisdoc001

4−rm -rf idrisdoc001 idrisdoc001.hi idrisdoc001.o *.ibc *_doc

2+# Tests that no documentation is built for empty namespaces

3+idris --mkdoc test_empty.ipkg

4+rm -rf *.ibc *_doc

test/idrisdoc001/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc001.hs

3−./idrisdoc001

4−rm -rf idrisdoc001 idrisdoc001.hi idrisdoc001.o *.ibc *_doc

test/idrisdoc002/expected+1−1

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

11Type checking ./TestFunctions.idr

2−True

2+Functions are documented

test/idrisdoc002/idrisdoc002.hsdeleted−10

@@ -1,10 +0,0 @@

1−-- Tests that documentation is generated for functions

2−

3−import System.Directory

4−import Pkg.Package

5−

6−main :: IO ()

7−main = do

8− documentPkg "test_functions.ipkg"

9− (doesDirectoryExist "test_functions_doc") >>= print

10−

test/idrisdoc002/run+4−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc002.hs

3−./idrisdoc002

4−rm -rf idrisdoc002 idrisdoc002.hi idrisdoc002.o *.ibc *_doc

2+# Tests that documentation is generated for functions

3+idris --mkdoc test_functions.ipkg

4+[ -d test_functions_doc ] && echo "Functions are documented"

5+rm -rf *.ibc *_doc

test/idrisdoc002/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc002.hs

3−./idrisdoc002

4−rm -rf idrisdoc002 idrisdoc002.hi idrisdoc002.o *.ibc *_doc

test/idrisdoc003/expected+1−1

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

11Type checking ./TestDatatypes.idr

2−True

2+Data types are documented

test/idrisdoc003/idrisdoc003.hsdeleted−10

@@ -1,10 +0,0 @@

1−-- Tests that documentation is generated for data types

2−

3−import System.Directory

4−import Pkg.Package

5−

6−main :: IO ()

7−main = do

8− documentPkg "test_datatypes.ipkg"

9− (doesDirectoryExist "test_datatypes_doc") >>= print

10−

test/idrisdoc003/run+4−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc003.hs

3−./idrisdoc003

4−rm -rf idrisdoc003 idrisdoc003.hi idrisdoc003.o *.ibc *_doc

2+# Tests that documentation is generated for data types

3+idris --mkdoc test_datatypes.ipkg

4+[ -d test_datatypes_doc ] && echo "Data types are documented"

5+rm -rf *.ibc *_doc

test/idrisdoc003/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc003.hs

3−./idrisdoc003

4−rm -rf idrisdoc003 idrisdoc003.hi idrisdoc003.o *.ibc *_doc

test/idrisdoc004/expected+1−1

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

11Type checking ./TestTypeclasses.idr

2−True

2+Typeclasses are documented

test/idrisdoc004/idrisdoc004.hsdeleted−10

@@ -1,10 +0,0 @@

1−-- Tests that documentation is generated for type classes

2−

3−import System.Directory

4−import Pkg.Package

5−

6−main :: IO ()

7−main = do

8− documentPkg "test_typeclasses.ipkg"

9− (doesDirectoryExist "test_typeclasses_doc") >>= print

10−

test/idrisdoc004/run+4−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc004.hs

3−./idrisdoc004

4−rm -rf idrisdoc004 idrisdoc004.hi idrisdoc004.o *.ibc *_doc

2+# Tests that documentation is generated for type classes

3+idris --mkdoc test_typeclasses.ipkg

4+[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"

5+rm -rf *.ibc *_doc

test/idrisdoc004/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc004.hs

3−./idrisdoc004

4−rm -rf idrisdoc004 idrisdoc004.hi idrisdoc004.o *.ibc *_doc

test/idrisdoc005/expected+2−2

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

11Type checking ./TestTracing.idr

2−True

3−True

2+TestTracing: Check

3+Prelude.Bool: Check

test/idrisdoc005/idrisdoc005.hsdeleted−12

@@ -1,12 +0,0 @@

1−-- Tests that references to other namespaces are traced

2−

3−import System.Directory

4−import System.FilePath

5−import Pkg.Package

6−

7−main :: IO ()

8−main = do

9− documentPkg "test_tracing.ipkg"

10− let docs = "test_tracing_doc" </> "docs"

11− (doesFileExist $ docs </> "TestTracing.html") >>= print

12− (doesFileExist $ docs </> "Prelude.Bool.html") >>= print

test/idrisdoc005/run+5−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc005.hs

3−./idrisdoc005

4−rm -rf idrisdoc005 idrisdoc005.hi idrisdoc005.o *.ibc *_doc

2+# Tests that references to other namespaces are traced

3+idris --mkdoc test_tracing.ipkg

4+[ -f test_tracing_doc/docs/TestTracing.html ] && echo "TestTracing: Check"

5+[ -f test_tracing_doc/docs/Prelude.Bool.html ] && echo "Prelude.Bool: Check"

6+rm -rf *.ibc *_doc

test/idrisdoc005/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc005.hs

3−./idrisdoc005

4−rm -rf idrisdoc005 idrisdoc005.hi idrisdoc005.o *.ibc *_doc

test/idrisdoc006/expected+2−2

@@ -1,6 +1,6 @@

11Type checking ./A.idr

22Type checking ./B.idr

3−True

4−True

3+A: Check

4+B: Check

55A

66B

test/idrisdoc006/idrisdoc006.hsdeleted−14

@@ -1,14 +0,0 @@

1−-- Tests that documentation properly is merged with existing

2−

3−import System.Directory

4−import System.FilePath

5−import Pkg.Package

6−

7−main :: IO ()

8−main = do

9− documentPkg "package_a.ipkg"

10− documentPkg "package_b.ipkg"

11− (doesFileExist $ "test_merge_doc" </> "docs" </> "A.html") >>= print

12− (doesFileExist $ "test_merge_doc" </> "docs" </> "B.html") >>= print

13− (readFile $ "test_merge_doc" </> "IdrisDoc") >>= putStr

14−

test/idrisdoc006/run+7−3

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc006.hs

3−./idrisdoc006

4−rm -rf idrisdoc006 idrisdoc006.hi idrisdoc006.o *.ibc *_doc

2+# Tests that documentation properly is merged with existing

3+idris --mkdoc package_a.ipkg

4+idris --mkdoc package_b.ipkg

5+[ -f test_merge_doc/docs/A.html ] && echo "A: Check"

6+[ -f test_merge_doc/docs/B.html ] && echo "B: Check"

7+cat test_merge_doc/IdrisDoc

8+rm -rf *.ibc *_doc

test/idrisdoc006/run_backupdeleted−4

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

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc006.hs

3−./idrisdoc006

4−rm -rf idrisdoc006 idrisdoc006.hi idrisdoc006.o *.ibc *_doc

test/idrisdoc007/expected+1−1

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

1−Expect 1 for error: 1

1+Expects exit status 1: 1

22Expects 2 lines of output:

33 2 lines

44Expects the first line to be type checking:

test/idrisdoc007/idrisdoc007.hsdeleted−6

@@ -1,6 +0,0 @@

1−-- Tests that documentation only is written when safe

2−

3−import Pkg.Package

4−

5−main :: IO ()

6−main = documentPkg "package.ipkg"

test/idrisdoc007/run+4−4

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

11#!/usr/bin/env bash

2−ghc -v0 idrisdoc007.hs

3−./idrisdoc007 > lines

4−echo Expect 1 for error: $?

2+# Tests that documentation only is written when safe

3+idris --mkdoc package.ipkg > lines

4+echo Expects exit status 1: $?

55echo Expects 2 lines of output:

66wc -l lines

77echo Expects the first line to be type checking:

88grep "Type checking \\./A\\.idr" lines

99echo Cannot check the second line as it contains a host-dependent string.

10−rm -rf idrisdoc007 idrisdoc007.hi idrisdoc007.o *.ibc lines

10+rm -f *.ibc lines

test/idrisdoc007/run_backupdeleted−10

@@ -1,10 +0,0 @@

1−#!/usr/bin/env bash

2−ghc -v0 idrisdoc007.hs

3−./idrisdoc007 > lines

4−echo Expect 1 for error: $?

5−echo Expects 2 lines of output:

6−wc -l lines

7−echo Expects the first line to be type checking:

8−grep "Type checking \\./A\\.idr" lines

9−echo Cannot check the second line as it contains a host-dependent string.

10−rm -rf idrisdoc007 idrisdoc007.hi idrisdoc007.o *.ibc lines