From a48484dc39ee5522d1523a628f75ed2d0487b657 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Sun, 9 Apr 2017 17:35:54 +0200
Subject: [PATCH] Doc coverage

---
 .travis.yml                                 |  4 ++--
 dotlambda/scribblings/dotlambda.scrbl       | 12 +++++++++++-
 dotlambda/scribblings/typed-dotlambda.scrbl | 12 +++++++++++-
 3 files changed, 24 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 566efdd..906645e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -19,7 +19,7 @@ env:
 
 before_install:
 - curl -L https://raw.githubusercontent.com/greghendershott/travis-racket/master/install-racket.sh | bash
-- raco pkg install --deps search-auto doc-coverage cover cover-codecov # or cover-coveralls
+- raco pkg install --deps search-auto https://github.com/jsmaniac/doc-coverage.git cover cover-codecov # or cover-coveralls
 
 install:
 - raco pkg install --deps search-auto -j 2
@@ -27,7 +27,7 @@ install:
 script:
 - raco test -x -p "$(basename "$TRAVIS_BUILD_DIR")"
 - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")"
-- raco doc-coverage "$(basename "$TRAVIS_BUILD_DIR")"
+- raco doc-coverage -s "(expand-for-clause|for-clause-syntax-protect|syntax-pattern-variable\?)" "$(basename "$TRAVIS_BUILD_DIR")"
 - raco cover -s main -s test -s doc -f codecov -f html -d ~/coverage . || true
 # TODO: add an option to cover to run the "outer" module too, not just the submodules.
 # TODO: deploy the coverage info.
\ No newline at end of file
diff --git a/dotlambda/scribblings/dotlambda.scrbl b/dotlambda/scribblings/dotlambda.scrbl
index 43ecf7b..e910597 100644
--- a/dotlambda/scribblings/dotlambda.scrbl
+++ b/dotlambda/scribblings/dotlambda.scrbl
@@ -1,5 +1,9 @@
 #lang scribble/manual
-@require[@for-label[@only-in[dotlambda #%dot-separator #%dotted-id]
+@require[@for-label[@only-in[dotlambda
+                             #%dot-separator
+                             #%dotted-id
+                             #%module-begin
+                             #%top-interaction]
                     racket/stxparam]]
 
 @title{Dotted identifiers and @racket[λ<arg>.code] syntax}
@@ -86,4 +90,10 @@
  @racket['dotted-original-chars] syntax property of the occurrence of the
  @racket[#%dot-separator] identifier.}
 
+@defform[(#%module-begin . body)]{Overridden form of
+ @racket/base:#%module-begin and @racketmodname[racket/base]}
+
+@defform[(#%top-interaction . expression)]{Overridden form of
+ @racket/base:#%top-interaction from @racketmodname[racket/base]}
+
 @include-section{typed-dotlambda.scrbl}
\ No newline at end of file
diff --git a/dotlambda/scribblings/typed-dotlambda.scrbl b/dotlambda/scribblings/typed-dotlambda.scrbl
index 021082c..c7aaf68 100644
--- a/dotlambda/scribblings/typed-dotlambda.scrbl
+++ b/dotlambda/scribblings/typed-dotlambda.scrbl
@@ -1,5 +1,9 @@
 #lang scribble/manual
-@require[@for-label[@only-in[dotlambda #%dot-separator #%dotted-id]
+@require[@for-label[@only-in[dotlambda
+                             #%dot-separator
+                             #%dotted-id
+                             #%module-begin
+                             #%top-interaction]
                     racket/stxparam]]
 
 @title{Typed version of @racketmodname[dotlambda]}
@@ -18,3 +22,9 @@
  Like @racket[#,(hash-lang) dotlambda], but overrides
  @typed/racket/base:#%module-begin and @typed/racket/base:#%top-interaction
  from @racketmodname[typed/racket/base], instead.}
+
+@defform[(#%module-begin . body)]{Overridden form of
+ @typed/racket/base:#%module-begin and @racketmodname[racket/base]}
+
+@defform[(#%top-interaction . expression)]{Overridden form of
+ @typed/racket/base:#%top-interaction from @racketmodname[racket/base]}