e196594 · Idris-dev · git.iko.soy

idris.cabal+1

compare with master

unifiedsplit

@@ -339,6 +339,7 @@ Extra-source-files:

339 test/idrisdoc005/*.ipkg

340 test/idrisdoc006/run

341 test/idrisdoc006/expected

342+ test/idrisdoc006/A/fully/Qualified/NAME.idr

342 test/idrisdoc006/*.idr

343 test/idrisdoc006/*.idr

343 test/idrisdoc006/*.ipkg

344 test/idrisdoc006/*.ipkg

344 test/idrisdoc007/run

345 test/idrisdoc007/run

test/idrisdoc006/A.idr → test/idrisdoc006/A/fully/Qualified/NAME.idrrenamed+1−1

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

1−module A

1+module A.fully.Qualified.NAME

2

3||| This is another test

4data Test : Type where

test/idrisdoc006/expected+5−5

@@ -1,7 +1,7 @@

1−Type checking ./A.idr

1+Type checking ./A/fully/Qualified/NAME.idr

2IdrisDoc file written

3Type checking ./B.idr

4−A: Check

4+A.fully.Qualified.NAME.html

5−B: Check

5+B.html

6−A

6+A.fully.Qualified.NAME is in the index

7−B

7+B is in the index

test/idrisdoc006/package_a.ipkg+1−1

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

1package test_merge

2

3−modules = A

3+modules = A.fully.Qualified.NAME

4

test/idrisdoc006/run+8−10

@@ -1,19 +1,17 @@

1#!/usr/bin/env bash

2−# Tests that documentation properly is merged with existent

2+# Tests that documentation properly is merged with existent.

3−# Also tests that an IdrisDoc is written

4idris --mkdoc package_a.ipkg

3idris --mkdoc package_a.ipkg

5[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"

4[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"

6idris --mkdoc package_b.ipkg

5idris --mkdoc package_b.ipkg

7−[ -f test_merge_doc/docs/A.html ] && echo "A: Check"

8−[ -f test_merge_doc/docs/B.html ] && echo "B: Check"

6+ls -1p test_merge_doc/docs

9−if grep -q "href\\=\"docs/A\\.html\"" test_merge_doc/index.html; then

7+if grep -q "href\\=\"docs/A.fully.Qualified.NAME\\.html\"" test_merge_doc/index.html; then

10− echo A

8+ echo A.fully.Qualified.NAME is in the index

11else

9else

12− echo A is not in the index

10+ echo A.fully.Qualified.NAME is NOT in the index

13fi

11fi

14if grep -q "href\\=\"docs/B\\.html\"" test_merge_doc/index.html; then

12if grep -q "href\\=\"docs/B\\.html\"" test_merge_doc/index.html; then

15− echo B

13+ echo B is in the index

16else

14else

17− echo B is not in the index

15+ echo B is NOT in the index

18fi

16fi

19−rm -rf *.ibc *_doc

17+rm -rf *.ibc *_doc A/fully/Qualified/NAME.ibc