1e1f648 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Added IdrisDoc test which verifies inclusion of abstract and public namespace members

1e1f648Philip Rasmussen13 years ago

idris.cabal+4

compare with master

unifiedsplit

@@ -346,6 +346,10 @@ Extra-source-files:

346 test/idrisdoc007/expected

347 test/idrisdoc007/*.idr

348 test/idrisdoc007/*.ipkg

349+ test/idrisdoc008/run

350+ test/idrisdoc008/expected

351+ test/idrisdoc008/*.idr

352+ test/idrisdoc008/*.ipkg

349

353

350 test/interactive001/run

354 test/interactive001/run

351 test/interactive001/input

355 test/interactive001/input

test/idrisdoc008/Abstract.idrnew file+5

@@ -0,0 +1,5 @@

1+module Abstract

3+abstract

4+frozen : ()

5+frozen = ()

test/idrisdoc008/Visible.idrnew file+5

@@ -0,0 +1,5 @@

1+module Visible

3+public

4+visible : ()

5+visible = ()

test/idrisdoc008/expectednew file+4

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

1+Type checking ./Abstract.idr

2+Type checking ./Visible.idr

3+Abstract members are documented

4+Public members are documented

test/idrisdoc008/runnew file+6

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

1+#!/usr/bin/env bash

2+# Tests that documentation is generated for both public and abstract members.

3+idris --mkdoc visibility.ipkg

4+[ -f visibility_doc/docs/Abstract.html ] && echo "Abstract members are documented"

5+[ -f visibility_doc/docs/Visible.html ] && echo "Public members are documented"

6+rm -rf *.ibc *_doc

test/idrisdoc008/visibility.ipkgnew file+4

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

1+package visibility

3+modules = Abstract, Visible