;; -*- Mode: Irken -*- (include "self/nodes.scm") (datatype tag (:bare int) (:uobj int) ) ;; ================================================================================ ;; here's an interesting idea: why not attach the solved type to *every* insn? ;; actually, we pretty much *have* to do that in order to get a working C interface. ;; ================================================================================ ;; RTL instructions (datatype insn (:return int) ;; return register (:literal literal cont) ;; (:litcon int symbol cont) ;; (:cexp type type string (list int) cont) ;;