(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)))
  
  
  (language->pict (language [var (a 
                                  b)])
                  #f)
  (language->pict (language [var (variable-except x
                                                  y)])
                  #f)
  
  (let ()
    (define-metafunction zero (language) [any_in 0])
    (metafunction->pict zero))
  
  (let ()
    (define-multi-args-metafunction zero (language) [(any_in any_out) 0])
    (metafunction->pict zero))

  (reduction-relation->pict
   (reduction-relation
    (language)
    (--> number_const
         ,(term
           (+ number_const 0)))))
  
  (reduction-relation->pict 
   (reduction-relation
    (language)
    (--> a b
         (fresh x)
         (fresh y))))
  
  (language->pict (extend-language (language (x 1 2 3 4 5 6 7 8 9)) (x 0 .... 10)) #f)
  
  (printf "pict-test.ss passed\n"))