#lang racket

(require (planet dyoo/outer/outer-2)
         rackunit)

(define-syntax m1
 (syntax-rules ()
   ((_ val)
    (let ()
      (def (h x) 
        val)
      (h 2)))))

(define-syntax m2
 (syntax-rules ()
   ((_ val)
    (let ()
      (def (h x)
        (def (g x)
          val)
        (g x))
      (h 2)))))


(define-syntax (check-good stx)
  (syntax-case stx ()
    [(_ body ...)
     #'(check-equal? (let () body ...) 'good)]))
    


(check-good (def (g x)
              (def (h x)
                (m2 (outer x)))
              (h 'bad))
            (g 'good))


(check-good (def (g x)
              (def (h x)
                (m1 (outer x)))
              (h 'bad))
            (g 'good))


(check-good (def (g x)
              (def (h x)
                (def (k x)
                  (m1 (outer 1 x)))
                (k 'bad))
              (h 'good))
            (g 'bad))


(check-good (def (g x)
              (def (h x)
                (def (k x)
                  (m1 (outer 2 x)))
                (k 'bad))
              (h 'bad))
            (g 'good))


(check-good (def (g x)
              (def (h x)
                (def (k x)
                  (m2 (outer 1 x)))
                (k 'bad))
              (h 'good))
            (g 'bad))


(check-good (def (g x)
              (def (h x)
                (def (k x)
                  (m2 (outer 2 x)))
                (k 'bad))
              (h 'bad))
            (g 'good))