;;; literal.ss

(load "/u/c311/ss/aux.ss")

(define <literal-language> ; EOPL Figure 5.1.1
  (class ()
    (base <language>)
    (base-inst-vars test-clauses)
    (base-init)
    (inst-vars
      (define <literal>
	(class (datum)
	  (base <syntax>)
	  (inst-vars datum)
	  (methods
	    (define eval (method () datum))
	    (define unparse (method () datum)))))
      (set! test-clauses
	(append
	  '((3 3)
	    (#t #t))
	  test-clauses)))
    (methods
      (define name
	(method () 'literal))
      (define parse
	(method (datum)
	  (form-case datum
	    (constant const
	      (<literal> const)))))
      (define evaluate
	(method (datum)
	  (eval (parse this datum)))))))