From 3121eaec9d5593a8b42d53651c455e480dd77afb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 17 Jun 2016 19:58:46 +0200
Subject: [PATCH] Improved test example.

---
 test/test.hl.rkt | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/test/test.hl.rkt b/test/test.hl.rkt
index a0073d07..31edce21 100644
--- a/test/test.hl.rkt
+++ b/test/test.hl.rkt
@@ -5,6 +5,8 @@
 
 @title{Title}
 
+@section{if-preexpanding}
+
 Hello world.
 
 @(if-preexpanding
@@ -14,6 +16,8 @@ Hello world.
 @(unless-preexpanding
   (symbol->string ee))
 
+@section{Submodules}
+
 Submodules work:
 
 @chunk[<submod>
@@ -54,6 +58,8 @@ Test with multiple subforms inside require, and coverage for
                             racket/syntax)
                 racket/bool)]
 
+@section{Avoiding for-label}
+
 Wrap the @racket[(require (for-syntax racket/base))] in a 
 @racket[(begin …)] so that it gets ignored, otherwise
 scribble complains some identifiers are loaded twice
@@ -64,6 +70,13 @@ at meta-level 0 by @racketmodname[typed/racket].
        (begin (require (for-syntax racket/base))
               (require typed/rackunit))]
 
+@CHUNK[<with-unsyntax>
+       (let* ([b 1234]
+              [e (syntax-e #`#,b)])
+         (check-equal? e 1234))]
+
+@section{Main chunk}
+
 @chunk[<*>
        <require-not-label>
        <submod>
@@ -77,6 +90,7 @@ at meta-level 0 by @racketmodname[typed/racket].
             #'(a . b))))
        (check-equal? (+ x x) 2)
        (check-equal? (+ x y) 0)
+       <with-unsyntax>
        ;; Gives an error because typed/racket/base is used on the #lang line:
        ;curry
        (check-equal? ((make-predicate One) 1) #t)