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

idris.cabal+14−28

compare with master

unifiedsplit

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

319 test/ffi005/run

320 test/ffi005/expected

321

322− test/idrisdoc001/*.idr

323− test/idrisdoc001/*.ipkg

324− test/idrisdoc001/idrisdoc001.hs

325 test/idrisdoc001/run

322 test/idrisdoc001/run

326− test/idrisdoc001/run_backup

327 test/idrisdoc001/expected

323 test/idrisdoc001/expected

328− test/idrisdoc002/*.idr

324+ test/idrisdoc001/*.idr

329− test/idrisdoc002/*.ipkg

325+ test/idrisdoc001/*.ipkg

330− test/idrisdoc002/idrisdoc002.hs

331 test/idrisdoc002/run

326 test/idrisdoc002/run

332− test/idrisdoc002/run_backup

333 test/idrisdoc002/expected

327 test/idrisdoc002/expected

334− test/idrisdoc003/*.idr

328+ test/idrisdoc002/*.idr

335− test/idrisdoc003/*.ipkg

329+ test/idrisdoc002/*.ipkg

336− test/idrisdoc003/idrisdoc003.hs

337 test/idrisdoc003/run

330 test/idrisdoc003/run

338− test/idrisdoc003/run_backup

339 test/idrisdoc003/expected

331 test/idrisdoc003/expected

340− test/idrisdoc004/*.idr

332+ test/idrisdoc003/*.idr

341− test/idrisdoc004/*.ipkg

333+ test/idrisdoc003/*.ipkg

342− test/idrisdoc004/idrisdoc004.hs

343 test/idrisdoc004/run

334 test/idrisdoc004/run

344− test/idrisdoc004/run_backup

345 test/idrisdoc004/expected

335 test/idrisdoc004/expected

346− test/idrisdoc005/*.idr

336+ test/idrisdoc004/*.idr

347− test/idrisdoc005/*.ipkg

337+ test/idrisdoc004/*.ipkg

348− test/idrisdoc005/idrisdoc005.hs

349 test/idrisdoc005/run

338 test/idrisdoc005/run

350− test/idrisdoc005/run_backup

351 test/idrisdoc005/expected

339 test/idrisdoc005/expected

352− test/idrisdoc006/*.idr

340+ test/idrisdoc005/*.idr

353− test/idrisdoc006/*.ipkg

341+ test/idrisdoc005/*.ipkg

354− test/idrisdoc006/idrisdoc006.hs

355 test/idrisdoc006/run

342 test/idrisdoc006/run

356− test/idrisdoc006/run_backup

357 test/idrisdoc006/expected

343 test/idrisdoc006/expected

358− test/idrisdoc007/*.idr

344+ test/idrisdoc006/*.idr

359− test/idrisdoc007/*.ipkg

345+ test/idrisdoc006/*.ipkg

360− test/idrisdoc007/idrisdoc007.hs

361 test/idrisdoc007/run

346 test/idrisdoc007/run

362− test/idrisdoc007/run_backup

363 test/idrisdoc007/expected

347 test/idrisdoc007/expected

348+ test/idrisdoc007/*.idr

349+ test/idrisdoc007/*.ipkg

364

350

365 test/interactive001/run

351 test/interactive001/run

366 test/interactive001/input

352 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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc001.hs

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

3−./idrisdoc001

3+idris --mkdoc test_empty.ipkg

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

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 @@

1Type 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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc002.hs

2+# Tests that documentation is generated for functions

3−./idrisdoc002

3+idris --mkdoc test_functions.ipkg

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

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 @@

1Type 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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc003.hs

2+# Tests that documentation is generated for data types

3−./idrisdoc003

3+idris --mkdoc test_datatypes.ipkg

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

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 @@

1Type 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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc004.hs

2+# Tests that documentation is generated for type classes

3−./idrisdoc004

3+idris --mkdoc test_typeclasses.ipkg

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

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 @@

1Type checking ./TestTracing.idr

2−True

2+TestTracing: Check

3−True

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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc005.hs

2+# Tests that references to other namespaces are traced

3−./idrisdoc005

3+idris --mkdoc test_tracing.ipkg

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

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 @@

1Type checking ./A.idr

2Type checking ./B.idr

3−True

3+A: Check

4−True

4+B: Check

5A

6B

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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc006.hs

2+# Tests that documentation properly is merged with existing

3−./idrisdoc006

3+idris --mkdoc package_a.ipkg

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

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

2Expects 2 lines of output:

3 2 lines

4Expects 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 @@

1#!/usr/bin/env bash

2−ghc -v0 idrisdoc007.hs

2+# Tests that documentation only is written when safe

3−./idrisdoc007 > lines

3+idris --mkdoc package.ipkg > lines

4−echo Expect 1 for error: $?

4+echo Expects exit status 1: $?

5echo Expects 2 lines of output:

6wc -l lines

7echo Expects the first line to be type checking:

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

9echo 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