;Copyright (c) 2014 - 2016 The Regents of the University of ;California (Regents). All Rights Reserved. Redistribution and use in ;source and binary forms, with or without modification, are permitted ;provided that the following conditions are met: ; * Redistributions of source code must retain the above ; copyright notice, this list of conditions and the following ; two paragraphs of disclaimer. ; * Redistributions in binary form must reproduce the above ; copyright notice, this list of conditions and the following ; two paragraphs of disclaimer in the documentation and/or other materials ; provided with the distribution. ; * Neither the name of the Regents nor the names of its contributors ; may be used to endorse or promote products derived from this ; software without specific prior written permission. ;IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, ;SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ;ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF ;REGENTS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ;REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT ;LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR ;A PARTICULAR PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ;ANY, PROVIDED HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION ;TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR ;MODIFICATIONS. defpackage firrtl/firrtl : import core import verse import firrtl/ir-utils import firrtl/ir2 ;============ FIRRTL ============== public defstruct FIRRTL <: Pass : with-output: (() -> False) -> False public defmethod pass (b:FIRRTL) -> (Circuit -> Circuit) : emit-firrtl{with-output(b),_} public defmethod name (b:FIRRTL) -> String : "To FIRRTL" public defmethod short-name (b:FIRRTL) -> String : "To FIRRTL" ;============ Utilz ============= public defn emit-firrtl (with-output:(() -> False) -> False, c:Circuit) : with-output $ fn () : print(c) c