;;; flic-structs.scm -- structures to define FLIC intermediate language
 ;;;
 ;;; author : Sandra Loosemore
 ;;; date   : 24 Mar 1992
 
 
     
 (define-struct flic-exp
   (type-template flic-td)
   (slots
    (unboxed?  (type bool) (default '#f) (bit #t))
    (cheap?    (type bool) (default '#f) (bit #t))))
 
 
 ;;; Use a macro to define each subtype and a BOA constructor.
 ;;; Maybe eventually the constructors will need to do additional
 ;;; initialization and have to be defined by hand.
 
 (define-local-syntax (define-flic name . slots)
   (let* ((maker  (symbol-append 'make- name))
 	 (pred   (symbol-append name '?))
 	 (args   (map (function car) slots))
 	 (inits  (map (lambda (x) (list x x)) args)))
     `(begin
        (define-struct ,name
          (include flic-exp)
 	 (predicate ,pred)
 	 (slots ,@slots))
        (define (,maker ,@args) (make ,name ,@inits))
        ',name)))
 
 (define-flic flic-lambda
   (vars (type  (list var)))
   (body (type flic-exp)))
 
 (define-flic flic-let
   ;; value exp is stored in var-value slot
   (bindings (type (list var)))
   (body (type flic-exp))
   (recursive? (type bool) (bit #t)))
 
 (define-flic flic-app
   (fn (type flic-exp))
   (args (type (list flic-exp)))
   ;; true if number of args exactly matches arity of fn
   (saturated? (type bool) (bit #t)))
 
 (define-flic flic-ref
   (var (type var)))
 
 (define-flic flic-const
   (value (type t)))
 
 (define-flic flic-pack
   (con (type con)))
 
 (define-flic flic-case-block
   (block-name (type symbol))
   (exps       (type (list flic-exp))))
 
 (define-flic flic-return-from
   (block-name (type symbol))
   (exp        (type flic-exp)))
 
 (define-flic flic-and
   (exps       (type (list flic-exp))))
 
 (define-flic flic-if
   (test-exp   (type flic-exp))
   (then-exp   (type flic-exp))
   (else-exp   (type flic-exp)))
 
 (define-flic flic-sel
   (con (type con))
   (i (type int))
   (exp (type flic-exp)))
 
 (define-flic flic-is-constructor
   (con (type con))
   (exp (type flic-exp)))
 
 (define-flic flic-con-number
   (type (type algdata))
   (exp (type flic-exp)))
 	   
 (define-flic flic-void
   )