(module pict-test mzscheme
  ;; these tests just make sure that errors don't
  ;; happen. These tests are really only last resorts
  ;; for testing functions that aren't easily extraced
  ;; from the pict.ss library
  
  (require "../reduction-semantics.ss"
           "../pict.ss")
  
  (require (lib "mrpict.ss" "texpict")
           (lib "mred.ss" "mred")
           (lib "class.ss"))
  (dc-for-text-size (make-object bitmap-dc% (make-object bitmap% 1 1)))
  
  (define-language empty-language)
  
  (define-language var-ab
    [var (a 
          b)])
  (language->pict var-ab #f)
  
  (define-language var-not-ab
    [var (variable-except x
                          y)])
  (language->pict var-not-ab #f)
  
  (let ()
    (define-metafunction zero empty-language [any_in 0])
    (metafunction->pict zero))
  
  (let ()
    (define-multi-args-metafunction zero empty-language [(any_in any_out) 0])
    (metafunction->pict zero))

  (reduction-relation->pict
   (reduction-relation
    empty-language
    (--> number_const
         ,(term
           (+ number_const 0)))))
  
  (reduction-relation->pict 
   (reduction-relation
    empty-language
    (--> a b
         (fresh x)
         (fresh y))))
  

  (define-language x1-9 
    (x 1 2 3 4 5 6 7 8 9))
  
  (define-extended-language x0-10 x1-9
    (x 0 .... 10))
  
  (language->pict x0-10 #f)
  
  (printf "pict-test.ss passed\n"))