Doc coverage

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

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}

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]}